Search results for "PCF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
145	Brian T. Howard, John C. Mitchell	Operational and Axiomatic Semantics of PCF.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
138	Nailiang Zhao, Yanjun Chen, Zhigeng Pan	Antialiased Shadow Algorithms for Game Rendering.	Edutainment	2006	DBLP DOI BibTeX RDF
107	Andreas Köpsel, Adam Wolisz	Voice transmission in an IEEE 802.11 WLAN based access network.	WOWMOM	2001	DBLP DOI BibTeX RDF	voice transmission, scheduling, real-time, WLAN, IEEE 802.11, DCF, PCF, best-effort, IEEE
80	James Laird	Finite Models and Full Completeness.	CSL	2000	DBLP DOI BibTeX RDF	affine logic, full completeness, effective presentability, linear logic, PCF
79	Ghazanfar Ali Safdar, William G. Scanlon	Performance Analysis of Improved IEEE 802.11 Infrastructure Power Saving Under Time-Correlated Channel Errors.	Int. J. Wirel. Inf. Networks	2008	DBLP DOI BibTeX RDF	PCF-PS, Time correlated, WLAN, Medium access control, Power saving
69	Zi-Tsan Chou, Shih-Lin Wu	A New QoS Point Coordination Function for Multimedia Wireless LANs.	ICDCS	2004	DBLP DOI BibTeX RDF
65	Adam C. Lusch, Adele V. Fleury, Surendar Chandra	Do nintendo handhelds play nice?: An analysis of its wireless behavior.	NETGAMES	2007	DBLP DOI BibTeX RDF	IEEE 802.11 wireless, point coordination function (PCF), distributed coordination function (DCF), nintendo DS
64	M. R. Khatun, M. S. Islam	Propagation Properties and Stress Sensitivity of S-PCF, H-PCF and O-PCF.	J. Commun.	2012	DBLP DOI BibTeX RDF
63	Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller	Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines.	ICNP	2002	DBLP DOI BibTeX RDF
63	Glynn Winskel	Stable Bistructure Models of PCF.	MFCS	1994	DBLP DOI BibTeX RDF
55	Tao Shang, Zengji Liu, Peng Yue, Jianping Chen	Numerical analysis of fiber optical parameter amplifier based on triangular photonic crystal fiber.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	fiber optical parametric amplifier, photonic crystal fiber, gain bandwidth, zero-dispersion wavelength variations
55	Dimitrios D. Vergados, Dimitrios J. Vergados	Synchronization of multiple access points in the IEEE 802.11 point coordination function.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
55	X. James Dong, Mustafa Ergen, Pravin Varaiya, Anuj Puri	Improving the Aggregate Throughput of Access Points in IEEE 802.11 Wireless LANs.	LCN	2003	DBLP DOI BibTeX RDF
55	Tiantong You, Hossam S. Hassanein, Hussein T. Mouftah	Infrastructure-Based MAC in Wireless Mobile Ad-Hoc Networks.	LCN	2002	DBLP DOI BibTeX RDF	Simulation, Clustering, QoS, Wireless Ad hoc Networks, Medium Access Control
49	Racha Ben Ali, Samuel Pierre	On the impact of soft vertical handoff on optimal voice admission control in PCF-based WLANs loosely coupled to 3G networks.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
49	Luís Pereira	Applications of the topological representation of the pcf-structure.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03E04, 54D55, Secondary 06E05, 54A25, 54G12
43	Vladimir Sazonov	Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
41	Siwaruk Siwamogsatham	Improving CSMA for WLANs via Piggybacking and Scheduled Backoff Mechanisms.	FGCN (1)	2007	DBLP DOI BibTeX RDF
41	Xin Liu 0047, Hongxun Yao, Xilin Chen 0001, Wen Gao 0001	Visual Hull Embossment by Graph Cuts.	ICIP	2006	DBLP DOI BibTeX RDF
41	Byung-Seo Kim, Sung Won Kim, Yuguang Fang, Tan F. Wong	Two-step multipolling MAC protocol for wireless LANs.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
41	Sarit Mukherjee, Sampath Rangarajan, John Lin, Sanjoy Paul	User Identity Based Session Redirection in CDMA2000 Networks.	MobiQuitous	2004	DBLP DOI BibTeX RDF
41	Antonio Bucciarelli, Benjamin Leperchey	Hypergraphs and Degrees of Parallelism: A Completeness Result.	FoSSaCS	2004	DBLP DOI BibTeX RDF
41	Siva Sivavakeesar	A mobility-based adaptive MAC for supporting real-time applications in multihop ad-hoc networks.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	quality of service aware MAC, IEEE 802.11, code division multiple access (CDMA), multiple access control (MAC), multihop ad hoc networks
41	Stefan Kahrs	Well-Going Programs Can Be Typed.	TLCA	2003	DBLP DOI BibTeX RDF
41	Robert Cartwright, Matthias Felleisen	Observable Sequentiality and Full Abstraction.	POPL	1992	DBLP DOI BibTeX RDF
41	S. Purushothaman, Jill Seaman	An Adequate Operational Semantics for Sharing in Lazy Evaluation.	ESOP	1992	DBLP DOI BibTeX RDF
41	Kurt Sieber	Relating Full Abstraction Results for Different Programming Languages.	FSTTCS	1990	DBLP DOI BibTeX RDF
38	Tony K. Mak, Kenneth P. Laberteaux, Raja Sengupta 0002	A multi-channel VANET providing concurrent safety and commercial services.	Vehicular Ad Hoc Networks	2005	DBLP DOI BibTeX RDF	dedicated short range communication (DSRC), wireless LAN, broadcast, medium access control (MAC), multi-channels, PCF
38	Antonio Bucciarelli, Ivano Salvo	Totality, Definability and Boolean Ciruits.	ICALP	1998	DBLP DOI BibTeX RDF	Scott's Model, Logical Relations, Boolean Circuits, PCF
37	Zi-Tsan Chou, Ching-Chi Hsu, Shin-Neng Hsu	UPCF: a new point coordination function with QoS and power management for multimedia over wireless LANs.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	point coordination function (PCF), quality of service (QoS), multimedia, IEEE 802.11, power management, medium access control (MAC)
35	Biplab Sikdar 0001	An Analytic Model for the Delay in IEEE 802.11 PCF MAC-Based Wireless Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
35	Ming-Chuan Hsu, Yaw-Chung Chen	Enhanced PCF Protocols for Real-time Multimedia Services over 802.11 Wireless Networks.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
35	Hao Zhu 0007, Guohong Cao	On Improving the Performance of IEEE 802.11 with Relay-Enabled PCF.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	IEEE 802.11, media access control, rate adaptation, relay
35	Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani	Relative Definability and Models of Unary PCF.	TLCA	2003	DBLP DOI BibTeX RDF
35	Dag Normann	Definability of Total Objects in PCF and Related Calculi.	TLCA	2001	DBLP DOI BibTeX RDF
35	Menachem Kojman, Saharon Shelah	The PCF Trichotomy Theorem does not hold for short sequences.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
35	Stephen D. Brookes, Shai Geva	Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF.	MFPS	1993	DBLP DOI BibTeX RDF
35	Antonio Bucciarelli, Thomas Ehrhard	Extensional Embedding of a Strongly Stable Model of PCF.	ICALP	1991	DBLP DOI BibTeX RDF
28	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
28	Alexander Leonovich, Huei-Wen Ferng	A time multiplexing coordination mechanism on top of the IEEE 802.11 MAC layer.	LCN	2008	DBLP DOI BibTeX RDF
28	Suparerk Manitpornsut, Björn Landfeldt	On the performance of IEEE 802.11 QoS mechanisms under spectrum competition.	IWCMC	2006	DBLP DOI BibTeX RDF	wireless LAN, computer network performance
28	Yu-Ju Lin, Haniph A. Latchman, Jonathan C. L. Liu, Richard E. Newman	Periodic Contention-Free Multiple Access for Power Line Communication Networks.	AINA	2005	DBLP DOI BibTeX RDF
28	Junghoon Lee, Mikyung Kang, Yongmoon Jin, Gyung-Leen Park, Hanil Kim	Design of an Efficient Error Control Scheme for Time-Sensitive Application on the Wireless Sensor Network Based on IEEE 802.11 Standard.	IWDC	2005	DBLP DOI BibTeX RDF
28	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
28	Anders Lindgren, Andreas Almquist, Olov Schelén	Quality of Service Schemes for IEEE 802.11: A Simulation Study.	IWQoS	2001	DBLP DOI BibTeX RDF
28	Andreas Almquist, Andreas Lindgren, Olov Schelén	Evaluation of Quality of Service Schemes for IEEE 802.11 Wireless LANs .	LCN	2001	DBLP DOI BibTeX RDF
28	Michael Marz, Alexander Rohr, Thomas Streicher	Full Abstraction and Universality via Realisability.	LICS	1999	DBLP DOI BibTeX RDF	realisability models, full abstraction, domain theory, categorical models
28	Martín Hötzel Escardó, Thomas Streicher	Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.	LICS	1997	DBLP DOI BibTeX RDF
28	James Laird	Full Abstraction for Functional Languages with Control.	LICS	1997	DBLP DOI BibTeX RDF
28	Stephen D. Brookes, Denis Dancanet	Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.	POPL	1995	DBLP DOI BibTeX RDF
28	Stavros S. Cosmadakis	Complete Proof Systems for Algebraic Simply-Typed Terms.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
28	Peter W. O'Hearn, Jon G. Riecke	Fully Abstract Translations and Parametric Polymorphism.	ESOP	1994	DBLP DOI BibTeX RDF
28	Robert Muller, Yuli Zhou	Abstract Interpretation in Weak Powerdomains.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
24	Kuo-Chang Ting, Fang-Chang Kuo, Bor-Jiunn Hwang, H. C. Wang, Chih-Cheng Tseng	A Power-Saving and Robust Point Coordination Function for the Transmission of VoIP over 802.11.	ISPA	2010	DBLP DOI BibTeX RDF	802.11a, group poll, Low-power, WLAN, PCF
24	Xuejun Tian, Xiang Chen 0012, Tetsuo Ideguchi, Takashi Okuda	Improving protocol capacity by scheduling random access on WLANs.	Telecommun. Syst.	2008	DBLP DOI BibTeX RDF	Contention-based protocol, Reservation scheduling, Ad hoc networks, Wireless networks, WLAN, MAC protocol, DCF, PCF
24	Luca Paolini, Mauro Piccolo	Semantically linear programming languages.	PPDP	2008	DBLP DOI BibTeX RDF	coherence spaces, continous stable and strongly stable functions, PCF, linear functions
24	Allan Crone, Gabriel Chidolue	Functional Verification of Low Power Designs at RTL.	PATMOS	2007	DBLP DOI BibTeX RDF	Low power aware management, Corruption, UPF, Simulation, Retention, PCF
24	Martín Hötzel Escardó	Infinite sets that admit fast exhaustive search.	LICS	2007	DBLP DOI BibTeX RDF	Higher-type computability and complexity, Kleene-Kreisel functionals, topology, Haskell, PCF
24	Kuo-Chang Ting, Mao-yu Jan, Sung-Huai Hsieh, Hsiu-Hui Lee, Feipei Lai	Design and analysis of grouping-based DCF (GB-DCF) scheme for the MAC layer enhancement of 802.11 and 802.11n.	MSWiM	2006	DBLP DOI BibTeX RDF	CP, GB-DCF, MAC, PC, DCF, PCF, 802.11n
24	Gordon D. Plotkin	Three Inadequate Models.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Full abstraction, Counterexample, PCF, Adequacy
23	Martin Goldstern, Saharon Shelah	Antichains in Products of Linear Orders.	Order	2002	DBLP DOI BibTeX RDF	size of antichains, product of chains, pcf theory, Delta system
21	Mohammad Golshani	Unlimited accumulation by Shelah's PCF operator.	Period. Math. Hung.	2024	DBLP DOI BibTeX RDF
21	Abdullah Mohammad Tanvirul Hoque, Kusay Faisal Al-Tabatabaie, Md. Eakub Ali, Asad Muhammad Butt, Sharif Iqbal Mitu Sheikh, Khurram Karim Qureshi	U-Grooved Selectively Coated and Highly Sensitive PCF-SPR Sensor for Broad Range Analyte RI Detection.	IEEE Access	2023	DBLP DOI BibTeX RDF
21	Hang Lou, Siran Li, Hao Ni	PCF-GAN: generating sequential data via the characteristic function of measures on the path space.	CoRR	2023	DBLP DOI BibTeX RDF
21	Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich	Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction.	CoRR	2023	DBLP DOI BibTeX RDF
21	Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos	Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.	CoRR	2023	DBLP DOI BibTeX RDF
21	Zhenduo Zhao, Zhuo Li, Wenchao Wang, Pengyuan Zhang	PCF: ECAPA-TDNN with Progressive Channel Fusion for Speaker Verification.	CoRR	2023	DBLP DOI BibTeX RDF
21	Thomas Ehrhard	A coherent differential PCF.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
21	Shuangyan Gao, Kaihua Wei, Hua Yang, Yongjian Tang, Zao Yi, Chaojun Tang, Bin Tang, Yougen Yi, Pinghui Wu	Design of Surface Plasmon Resonance-Based D-Type Double Open-Loop Channels PCF for Temperature Sensing.	Sensors	2023	DBLP DOI BibTeX RDF
21	Heidi Benham, Alexander Galarraga, Benjamin Hutz, Joey Lupo, Wayne Peng, Adam Towsley	Integrality and Thurston rigidity for bicritical PCF polynomials.	Period. Math. Hung.	2023	DBLP DOI BibTeX RDF
21	Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos	Fully Abstract Normal Form Bisimulation for Call-by-Value PCF.	LICS	2023	DBLP DOI BibTeX RDF
21	Zhenduo Zhao, Zhuo Li, Wenchao Wang, Pengyuan Zhang	PCF: ECAPA-TDNN with Progressive Channel Fusion for Speaker Verification.	ICASSP	2023	DBLP DOI BibTeX RDF
21	Hang Lou, Siran Li, Hao Ni	PCF-GAN: generating sequential data via the characteristic function of measures on the path space.	NeurIPS	2023	DBLP BibTeX RDF
21	Priyatosh Mandal, Shubham Verma, Anurag Gupta	Analytical Perspective of 5G PCF with Proxy BSF.	APCC	2023	DBLP DOI BibTeX RDF
21	Pierre Matet	Applications of PCF Theory to the Study of ideals on.	J. Symb. Log.	2022	DBLP DOI BibTeX RDF
21	Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich	Extended Addressing Machines for PCF, with Explicit Substitutions.	MFPS	2022	DBLP DOI BibTeX RDF
21	Thomas Ehrhard	A coherent differential PCF.	CoRR	2022	DBLP DOI BibTeX RDF
21	Kisalaya Chakrabarti, Mayank Goswami 0002	Metamaterials-Based Photonic Crystal Fiber (PCF) Design for Wireless Charging.	TCCE	2022	DBLP DOI BibTeX RDF
21	Ayushman Ramola, Surinder Singh, Anupma Marwaha	Sensitivity Assessment of Human Body Fluids through PCF-Based Plasmonic Biosensor for Biomedical Applications.	IC3I	2022	DBLP DOI BibTeX RDF
21	Damiano Mazza, Michele Pagani	Automatic differentiation in PCF.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
21	Tom de Jong	The Scott model of PCF in univalent type theory.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
21	Hongyan Yang, Mengyin Liu, Yupeng Chen, Ling Guo, Gongli Xiao, Houquan Liu, Jianqing Li 0001, Libo Yuan	Highly Sensitive Graphene-Au Coated Plasmon Resonance PCF Sensor.	Sensors	2021	DBLP DOI BibTeX RDF
21	Emre Çimen, Gürkan Öztürk	O-PCF algorithm for one-class classification.	Optim. Methods Softw.	2020	DBLP DOI BibTeX RDF
21	Damiano Mazza, Michele Pagani	Automatic Differentiation in PCF.	CoRR	2020	DBLP BibTeX RDF
21	Jifang Rong, Hua Yang, Yuzhe Xiao	Accurately Shaping Supercontinuum Spectrum via Cascaded PCF.	Sensors	2020	DBLP DOI BibTeX RDF
21	Abdullah Al-Mamun Bulbul, Farjana Imam, Md. Abdul Awal, M. A. Parvez Mahmud	A Novel Ultra-Low Loss Rectangle-Based Porous-Core PCF for Efficient THz Waveguidance: Design and Numerical Analysis.	Sensors	2020	DBLP DOI BibTeX RDF
21	Abdullah Al Noman, Emranul Haque, M. Anwar Hossain 0003, Nguyen Hoang Hai, Yoshinori Namihira, Feroz Ahmed	Sensitivity Enhancement of Modified D-Shaped Microchannel PCF-Based Surface Plasmon Resonance Sensor.	Sensors	2020	DBLP DOI BibTeX RDF
21	Flora, Siti Farhana, Khairun Nisa, Retanisa Mentari	The Proportion of Peer Corrective Feedback (PCF) on Writing Aspects: Are they really effective?	ICLIQE	2020	DBLP DOI BibTeX RDF
21	Chuan Jiang, Sanjay G. Rao, Mohit Tawarmalani	PCF: Provably Resilient Flexible Routing.	SIGCOMM	2020	DBLP DOI BibTeX RDF
21	Ahmet Yasli, Hüseyin Ademgil	Symmetric D-Shaped PCF-SPR Sensor Based on Multi Analyte Sensing Purposes.	SIU	2020	DBLP DOI BibTeX RDF
21	Zheng Guan, Zhijun Yang, Min He, Wenhua Qian	Energy-efficient analysis of an IEEE 802.11 PCF MAC protocol based on WLAN.	J. Ambient Intell. Humaniz. Comput.	2019	DBLP DOI BibTeX RDF
21	Daiki Fujimoto, Hai-Han Lu, Kazuo Kumamoto, Song-En Tsai, Qi-Ping Huang, Jing-Yan Xie	Phase-Modulated Hybrid High-Speed Internet/WiFi/Pre-5G In-Building Networks Over SMF and PCF With GI-POF/IVLLC Transport.	IEEE Access	2019	DBLP DOI BibTeX RDF
21	Tom de Jong	The Scott model of PCF in univalent type theory.	CoRR	2019	DBLP BibTeX RDF
21	Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul	PCF-based formalization of the parallel composition of automata.	ICCS-DE	2019	DBLP BibTeX RDF
21	Bushra Ismaiel, Mehran Abolhasan, Wei Ni 0001, David B. Smith 0001, Daniel Robert Franklin, Eryk Dutkiewicz, Marwan Krunz, Abbas Jamalipour	PCF-Based LTE Wi-Fi Aggregation for Coordinating and Offloading the Cellular Traffic to D2D Network.	IEEE Trans. Veh. Technol.	2018	DBLP DOI BibTeX RDF
21	Sushank Chaudhary, Angela Amphawan	Solid core PCF-based mode selector for MDM-Ro-FSO transmission systems.	Photonic Netw. Commun.	2018	DBLP DOI BibTeX RDF
21	Thomas Ehrhard, Michele Pagani, Christine Tasson	Full Abstraction for Probabilistic PCF.	J. ACM	2018	DBLP DOI BibTeX RDF
21	John Longley	The encodability hierarchy for PCF types.	CoRR	2018	DBLP BibTeX RDF
21	John Longley	The recursion hierarchy for PCF is strict.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
21	Juan Carlos Martinez	On PCF spaces which are not Frechet-Urysohn.	Reports Math. Log.	2018	DBLP BibTeX RDF