Search results for "non-determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Manuel Vilares Ferro, Miguel A. Alonso 0001, David Cabrero Souto	Dynamic Programming as Frame for Efficient Parsing.	SCCC	1998	DBLP DOI BibTeX RDF
10	Sergio Antoy, Zena M. Ariola	Narrowing the Narrowing Space.	PLILP	1997	DBLP DOI BibTeX RDF	Narrowing space, Computed expression, Regular computed expression, Finite representation, Narrowing, Functional logic programming
10	Puri Arenas-Sánchez, Mario Rodríguez-Artalejo	A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types.	TAPSOFT	1997	DBLP DOI BibTeX RDF
10	Harold Boley	A Relational-Functional Integration for Declarative Programming.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
10	Marcello M. Bonsangue, Joost N. Kok	Specifying Computations Using Hyper Transition Systems.	MFCS	1997	DBLP DOI BibTeX RDF
10	Jonathan Goldstine, Hing Leung, Detlef Wotschke	Measuring Nondeterminism in Pushdown Automata.	STACS	1997	DBLP DOI BibTeX RDF
10	Uwe Glässer	Modelling of Concurrent and Embedded Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
10	Marzena Kryszkiewicz, Henryk Rybinski	Reducing Information Systems with Uncertain Attributes.	ISMIS	1996	DBLP DOI BibTeX RDF	Uncertain Information System, Knowledge Representation Reduction, Rough Sets, Knowledge Discovery, Approximate Reasoning
10	Maribel Fernández, Ian Mackie	From Term Rewriting to Generalised Interaction Nets.	PLILP	1996	DBLP DOI BibTeX RDF
10	Mikael Pettersson	A Compiler for Natural Semantics.	CC	1996	DBLP DOI BibTeX RDF	tailcalls, continuations, natural semantics, determinacy
10	Keith P. Pomakis, Joanne M. Atlee	Reachability Analysis of Feature Interactions: A Progress Report.	ISSTA	1996	DBLP DOI BibTeX RDF
10	Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng	A Branching Time Semantics for the Ada Rendezvous Mechanism.	HICSS (1)	1996	DBLP DOI BibTeX RDF
10	Régis Cridlig	Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives.	LOMAPS	1996	DBLP DOI BibTeX RDF
10	Richard F. Freund, Taylor Kidd, Debra A. Hensgen, Lantz Moore	SmartNet: a scheduling framework for heterogeneous computing.	ISPAN	1996	DBLP DOI BibTeX RDF	SmartNet, scheduling framework, scheduling, optimization, load balancing, parallel architectures, distributed processing, processor scheduling, heterogeneous computing, distributed environments, heterogeneous environment, shared resource
10	Ramin Hojati, Robert K. Brayton	Automatic Datapath Abstraction In Hardware Systems.	CAV	1995	DBLP DOI BibTeX RDF
10	Oriol Roig, Jordi Cortadella, Enric Pastor	Hierarchical gate-level verification of speed-independent circuits.	ASYNC	1995	DBLP DOI BibTeX RDF	hierarchical gate-level verification, state signals, computational complexity, logic testing, time complexity, asynchronous circuits, speed-independent circuits, complex gates
10	Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren	Unification Factoring for Efficient Execution of Logic Programs.	POPL	1995	DBLP DOI BibTeX RDF	Prolog
10	Sergio Greco, Domenico Saccà, Carlo Zaniolo	DATALOG Queries with Stratified Negation and Choice: from P to DP.	ICDT	1995	DBLP DOI BibTeX RDF
10	Alan Burns 0001, Neil C. Audsley, Andy J. Wellings	Real-time distributed computing.	FTDCS	1995	DBLP DOI BibTeX RDF	real-time distributed computing, real-time safety critical distributed systems, resource allocations scheme, timing behaviour, end-to-end deadlines, priority based communication protocols, real-time systems, resource allocation, distributed processing, transport protocols, computational model, flexibility, processor scheduling, safety-critical software, fixed priority scheduling
10	Johan Ringström, Peter Fritzson, Mikael Pettersson	Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification.	CC	1994	DBLP DOI BibTeX RDF
10	Fabio Massacci	Strongly Analytic Tableaux for Normal Modal Logics.	CADE	1994	DBLP DOI BibTeX RDF
10	Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer	Compile-Time Detection of Information Flow in Sequential Programs.	ESORICS	1994	DBLP DOI BibTeX RDF	formal verification, program analysis, computer security, information flow, verification tools
10	Juan Bicarregui, Brian Ritchie	Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations.	FME	1993	DBLP DOI BibTeX RDF
10	C. A. R. Hoare	Algebra and Models.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
10	Hoon Hong, Andreas Neubacher, Wolfgang Schreiner	The Design of the SACLIB/PACLIB Kernels.	DISCO	1993	DBLP DOI BibTeX RDF
10	Michael Fisher 0001, Richard Owens	From the Past to the Future: Executing Temporal Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
10	Szabolcs Ferenczi	Concepts for a Modular and Distributed Prolog Language.	PLILP	1991	DBLP DOI BibTeX RDF
10	Franck van Breugel	Comparative Semantics for a Real-Time Programming Language with Integration.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
10	Shijie Wang, Marco Valtorta	A Prototype Belief Network-Based Expert Systems Shell.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
10	George A. Papadopoulos	A Fine Grain Parallel Implementation of PARLOG.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
10	Giuseppe Marino, Giancarlo Succi	Data structures for parallel execution of functional languages.	PARLE (2)	1989	DBLP DOI BibTeX RDF
10	Wojciech Penczek	A Concurrent Branching Time Temporal Logic.	CSL	1989	DBLP DOI BibTeX RDF
10	Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt	On Implementing Logic Programming Languages on a Dataflow Architecture.	ESOP	1988	DBLP DOI BibTeX RDF
10	Colin J. Fidge	Partial Orders for Parallel Debugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
10	Astrid Kiehn	Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
10	Goffredo Haus, Antonio Rodriguez	Music Description and Processing by Petri Nets.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF
10	Gérard Boudol, Ilaria Castellani	On the Semantics of Concurrency: Partial Orders and Transition Systems.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
10	Hussien Aly, Z. Meral Özsoyoglu	Non-deterministic Modelling of Logical Queries in Deductive Databases.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
10	Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep	Towards an Intermediate Language based on Graph Rewriting.	PARLE (2)	1987	DBLP DOI BibTeX RDF
10	Raghu Ramakrishnan 0001, Abraham Silberschatz	Annotations for Distributed Programming in Logic.	POPL	1986	DBLP DOI BibTeX RDF
10	Gilles Brassard, Claude Crépeau	Zero-Knowledge Simulation of Boolean Circuits.	CRYPTO	1986	DBLP DOI BibTeX RDF
10	Martin E. Kaliski	Finite automation over real-number alphabets (abstract only): some theoretical results and applications.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF