Search results for "PCF"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Allen Stoughton	Interdefinability of Parallel Operations in PCF.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
21	Allen Stoughton	Parallel PCF Has a Unique Extensional Model	LICS	1991	DBLP DOI BibTeX RDF
21	Maxim R. Burke, Menachem Magidor	Shelah's pcf Theory and Its Applications.	Ann. Pure Appl. Log.	1990	DBLP DOI BibTeX RDF
21	Bruce Leasure	PCF programming model and FORTRAN bindings.	COMPSAC	1989	DBLP DOI BibTeX RDF
21	Allen Stoughton	Equationally Fully Abstract Models of PCF.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
21	Edward Ochmanski	A non-invertible PCF language.	Bull. EATCS	1987	DBLP BibTeX RDF
14	C.-H. Luke Ong, Nikos Tzevelekos	Functional Reachability.	LICS	2009	DBLP DOI BibTeX RDF
14	Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez	Embedding a logical theory of constructions in Agda.	PLPV	2009	DBLP DOI BibTeX RDF	general recursion, logical theory of constructions, type theory
14	Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson	Enriching an Effect Calculus with Linear Types.	CSL	2009	DBLP DOI BibTeX RDF
14	James Laird	Nondeterminism and Observable Sequentiality.	CSL	2009	DBLP DOI BibTeX RDF
14	Vladimir Sazonov	On Natural Non-dcpo Domains.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
14	Chandrashekhar Nagarajan, Yogeshwer Sharma, David P. Williamson	Approximation Algorithms for Prize-Collecting Network Design Problems with General Connectivity Requirements.	WAOA	2008	DBLP DOI BibTeX RDF
14	Huiliang Zhang, Shell-Ying Huang, Yuming Chang	An Agent's Activities Are Controlled by His Priorities.	KES-AMSTA	2008	DBLP DOI BibTeX RDF
14	Amin Farjudian	Shrad: A Language for Sequential Real Number Computation.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
14	Tanya L. Crenshaw, Spencer Hoke, Ajay Tirumala, Marco Caccamo	Robust implicit EDF: A wireless MAC protocol for collaborative real-time systems.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	real time, wireless, medium-access control, Earliest deadline first
14	Changle Li, Jalal Almhana, Jiandong Li 0001, Zikuan Liu, Robert McGorman	An Adaptive IEEE 802.11 Scheme for Voice and Data Services in Wireless LANs.	CNSR	2007	DBLP DOI BibTeX RDF
14	Suhaimi Bin Abd Latif, Mohammed A. Rashid, Fakhrul Alam	Effects of Varying Superframe Duration on Jitter in Interactive Multimedia Traffic Transmission over WLANs.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
14	Paul-André Melliès, Samuel Mimram	Asynchronous Games: Innocence Without Alternation.	CONCUR	2007	DBLP DOI BibTeX RDF
14	Norman Danner, James S. Royer	Time-Complexity Semantics for Feasible Affine Recursions.	CiE	2007	DBLP DOI BibTeX RDF
14	Sivapathalingham Sivavakeesar, George Pavlou	Two-way admission control and resource allocation for quality of service support in location-aided mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
14	Munish Goyal, Anurag Kumar 0001, Vinod Sharma	A stochastic control approach for scheduling multimedia transmissions over a polled multiaccess fading channel.	Wirel. Networks	2006	DBLP DOI BibTeX RDF	Scheduling over fading wireless channels, Indexability and index policies, QoS in 802.11 wireless LANs
14	Eun-sook Lee, Kyu-seob Cho, Sung Kim	A Point-to-Point Protocol Improvement to Reduce Data Call Setup Latency in Cdma2000 System.	Networking	2006	DBLP DOI BibTeX RDF	Simplified PPP, Call setup latency, Cdma2000 system, Wireless packet data service
14	Norman Danner, James S. Royer	Adventures in time and space.	POPL	2006	DBLP DOI BibTeX RDF
14	Alessandro Di Nepi, Gianmarco Massaro, Marco Carli, Alessandro Neri 0001	MAC Location Services for IEEE802.11 Networks.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
14	Junghun Park, Hsiao-Rong Tyan, C.-C. Jay Kuo	Internet Traffic Classification for Scalable QOS Provision.	ICME	2006	DBLP DOI BibTeX RDF
14	Qingzhang Chen, Jianghong Han, Keji Mao	Design of the Multimedia Communication Protocol and System for Wireless LAN.	ICAT	2006	DBLP DOI BibTeX RDF
14	Tobias Löw, Thomas Streicher	Universality Results for Models in Locally Boolean Domains.	CSL	2006	DBLP DOI BibTeX RDF
14	Der-Jiunn Deng, Hsu-Chun Yen	Quality-of-service provisioning system for multimedia transmission in IEEE 802.11 wireless LANs.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
14	Mourad Debbabi, Mohamed Mostafa Saleh	Game Semantics Model for Security Protocols.	ICFEM	2005	DBLP DOI BibTeX RDF
14	Kohei Honda 0001, Nobuko Yoshida, Martin Berger 0001	An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.	LICS	2005	DBLP DOI BibTeX RDF
14	Hideki Tsuiki, Keiji Sugihara	Streams with a Bottom in Functional Languages.	ESOP	2005	DBLP DOI BibTeX RDF
14	Jun Zheng 0003, Emma E. Regentova	An Improved Polling Scheme for Voice Support in IEEE 802.11 Wireless Network.	ITCC (2)	2005	DBLP DOI BibTeX RDF
14	Amin Farjudian	Shrad: A Language for Sequential Real Number Computation.	CiE	2005	DBLP DOI BibTeX RDF
14	Kazi S. Abedin, Fumito Kubota	A 40 GHz Polarization Maintaining Picosecond Modelocked Fiber Laser Employing Photonic Crystal Fiber.	OpNeTec	2004	DBLP DOI BibTeX RDF
14	Soo Young Shin, Soo-Hyun Park	Contention Free Scheme for Asymmetrical Traffic Load in IEEE 802.11x Wireless LAN.	AsiaSim	2004	DBLP DOI BibTeX RDF
14	Christian Azambuja Pagot, João Luiz Dihl Comba, Manuel Menezes de Oliveira Neto	Multiple-Depth Shadow Maps.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
14	Arismar Cerqueira S. Jr., Kleber Zuza Nobrega, Fabrizio Di Pasquale, Hugo E. Hernández-Figueroa	A Powerful Tool Based on Finite Element Method for Designing Photonic Crystal Devices.	ICT	2004	DBLP DOI BibTeX RDF
14	Neil D. Jones, Nina Bohr	Termination Analysis of the Untyped lamba-Calculus.	RTA	2004	DBLP DOI BibTeX RDF
14	Changle Li, Jiandong Li 0001, Xuelian Cai	Performance Analysis of IEEE 802.11 WLAN to Support Voice Service.	AINA (2)	2004	DBLP DOI BibTeX RDF
14	James Laird	A Fully Abstract Bidomain Model of Unary FPC.	TLCA	2003	DBLP DOI BibTeX RDF
14	Harry G. Mairson	From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.	ICFP	2003	DBLP DOI BibTeX RDF
14	Huan-Yun Wei, Ching-Chuang Chiang, Ying-Dar Lin	Co-DRR: An Integrated Uplink and Downlink Scheduler for Bandwidth Management over Wireless LANs.	ISCC	2003	DBLP DOI BibTeX RDF	Scheduling, 802.11, bandwidth management, fair queuing, deficit round robin
14	Ming Li 0007, B. Prabhakaran 0001, Sathish Sathyamurthy	On flow reservation and admission control for distributed scheduling strategies in IEEE802.11 wireless LAN.	MSWiM	2003	DBLP DOI BibTeX RDF	QoS, admission control, reservation, IEEE 802.11 wireless LAN
14	Selim Aissi, Pallavi Malu, Krishnamurthy Srinivasan	E-Business Process Modeling: The Next Big Step.	Computer	2002	DBLP DOI BibTeX RDF
14	Saharon Shelah	More constructions for Boolean algebras.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
14	Martin Hyland, Andrea Schalk	Games on Graphs and Sequentially Realizable Functionals.	LICS	2002	DBLP DOI BibTeX RDF
14	Harry G. Mairson	From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple.	FSTTCS	2002	DBLP DOI BibTeX RDF
14	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	Sequentiality and the pi-Calculus.	TLCA	2001	DBLP DOI BibTeX RDF
14	Gordon D. Plotkin, John Power	Adequacy for Algebraic Effects.	FoSSaCS	2001	DBLP DOI BibTeX RDF
14	Eustathia Ziouva, Theodore Antonakopoulos 0001	CBR Packetized Voice Transmission in IEEE802.11 Networks.	ISCC	2001	DBLP DOI BibTeX RDF
14	Peter Dybjer, Andrzej Filinski	Normalization and Partial Evaluation.	APPSEM	2000	DBLP DOI BibTeX RDF
14	Heng Li 0001, Zahir Irani, Peter E. D. Love	The IT Performance Evaluation in the Construction Industry.	HICSS	2000	DBLP DOI BibTeX RDF
14	Pasquale Malacaria, Chris Hankin	A New Approach to Control Flow Analysis.	CC	1998	DBLP DOI BibTeX RDF
14	Abbas Edalat, Peter John Potts, Philipp Sünderhauf	Lazy Computation with Exact Real Numbers.	ICFP	1998	DBLP DOI BibTeX RDF
14	Alex K. Simpson	Computational Adequacy in an Elementary Topos.	CSL	1998	DBLP DOI BibTeX RDF
14	Peter John Potts, Abbas Edalat, Martín Hötzel Escardó	Semantics of Exact Real Arithmetic.	LICS	1997	DBLP DOI BibTeX RDF
14	Kohei Honda 0001, Nobuko Yoshida	Game Theoretic Analysis of Call-by-Value Computation.	ICALP	1997	DBLP DOI BibTeX RDF
14	Pietro Di Gianantonio	An Abstract Data Type for Real Numbers.	ICALP	1997	DBLP DOI BibTeX RDF	real number computability, denotational and operational semantics, abstract data types, domain theory
14	Ian Mackie	The Geometry of Interaction Machine.	POPL	1995	DBLP DOI BibTeX RDF
14	Jan Kuper	Usability: Formalising (Un)definedness in Typed Lambda Calculus.	CSL	1994	DBLP DOI BibTeX RDF
14	Antonio Bucciarelli	Another Approach to Sequentiality: Kleene's Unimonotone Functions.	MFPS	1993	DBLP DOI BibTeX RDF
14	Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen	SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).	REX Workshop	1992	DBLP DOI BibTeX RDF
14	Robert Hood, Ken Kennedy, John M. Mellor-Crummey	Parallel program debugging with on-the-fly anomaly detection.	SC	1990	DBLP DOI BibTeX RDF	DEBUG, FORTRAN