Search results for "determinism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	David C. Steere	Exploiting the Non-Determinism and Asynchrony of Set Iterators to Reduce Aggregate File I/O Latency.	SOSP	1997	DBLP DOI BibTeX RDF
16	Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno	Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.	INFOCOM	1997	DBLP DOI BibTeX RDF
16	Yasunari Fujimoto, Tadashi Iokibe	Measuring Determinism in Time Series by Chaotic Approach.	ICONIP (1)	1997	DBLP BibTeX RDF
16	W. Michael Dickson	Determinism and locality in quantum systems.	Synth.	1996	DBLP DOI BibTeX RDF
16	Josyula R. Rao	Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends.	Parallel Algorithms Appl.	1996	DBLP DOI BibTeX RDF
16	Rob Kling	Does Technology Drive History?: The Dilemma of Technological Determinism, by Smith and Marx.	Inf. Soc.	1996	DBLP BibTeX RDF
16	A. W. Roscoe 0001, Jim Woodcock 0001, Lars Wulf	Non-interference through Determinism.	J. Comput. Secur.	1996	DBLP DOI BibTeX RDF
16	Stefan Poledna	Fault-tolerant real-time systems - the problem of replica determinism.		1996	RDF
16	Detlev Zimmermann	Creativity versus Determinism: Cognitive Science and Music Theory as Touchstones of Automatic Music Composition.	ICMC	1996	DBLP BibTeX RDF
16	Rita Loogen, Stephan Winkler	Dynamic Detection of Determinism in Functional Languages.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
16	Soraya Bestaoui	One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique.	RTS	1995	DBLP DOI BibTeX RDF
16	Adam R. Nolan, Bryan Everding, William G. Wee	Effects of Non determinism on the Predicted Speedup of Scheduling Low Level Computer Vision Algorithms on Networks of Heterogeneous Machines.	PARCO	1995	DBLP BibTeX RDF
16	H. R. Walters, J. F. Th. Kamperman	A Model for I/O in Equational Languages with Don't Care Non-determinism.	COMPASS/ADT	1995	DBLP DOI BibTeX RDF
16	A. W. Roscoe 0001	CSP and determinism in security modelling.	S&P	1995	DBLP DOI BibTeX RDF
16	Stefan Poledna	Replica Determinism in Distributed Real-Time Systems: A Brief Survey.	Real Time Syst.	1994	DBLP DOI BibTeX RDF
16	Louis Mak	Speedup of Determinism by Alternation for Multidimensional Turing Machines.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
16	Mehmet A. Orgun, William W. Wadge	Extending Temporal Logic Programming with Choice Predicates Non-Determinism.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
16	Ugo Montanari, Francesca Rossi 0001, Vijay A. Saraswat	CC Programs with both In- and Non-determinism: A Concurrent Semantics.	PPCP	1994	DBLP DOI BibTeX RDF
16	Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin	Countable Non-Determinism and Uncountable Limits.	CONCUR	1994	DBLP DOI BibTeX RDF
16	Rüdiger Seydel	The Art of Modeling Dynamic Systems: Forecasting for Chaos, Randomness, and Determinism (Foster Morrison).	SIAM Rev.	1993	DBLP DOI BibTeX RDF
16	A. W. Roscoe 0001	Unbounded Non-Determinism in CSP.	J. Log. Comput.	1993	DBLP DOI BibTeX RDF
16	Feixiong Liu	Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages.	FPCA	1993	DBLP DOI BibTeX RDF
16	C.-H. Luke Ong	Non-Determinism in a Functional Setting	LICS	1993	DBLP DOI BibTeX RDF
16	Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa	Contextual Grammars: Erasing, Determinism, One-Side Contexts.	Developments in Language Theory	1993	DBLP BibTeX RDF
16	Ronald A. Olsson, Carole M. McNamee	Inter-Entry Selection: Non-Determinism and Explicit Control Mechanisms.	Comput. Lang.	1992	DBLP DOI BibTeX RDF
16	Reuven Bar-Yehuda, Oded Goldreich 0001, Alon Itai	On the Time-Complexity of Broadcast in Multi-hop Radio Networks: An Exponential Gap Between Determinism and Randomization.	J. Comput. Syst. Sci.	1992	DBLP DOI BibTeX RDF
16	Reinhard von Hanxleden, L. Ridgway Scott	Correctness and determinism of Parallel Monte Carlo Processes.	Parallel Comput.	1992	DBLP DOI BibTeX RDF
16	Harald Søndergaard, Peter Sestoft	Non-Determinism in Functional Languages.	Comput. J.	1992	DBLP DOI BibTeX RDF
16	Danny Dolev, Tomás Feder	Determinism vs. Nondeterminism in Multiparty Communication Complexity.	SIAM J. Comput.	1992	DBLP DOI BibTeX RDF
16	Louiqa Raschid	Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior.	Workshop on Deductive Databases, JICSLP	1992	DBLP BibTeX RDF
16	Lila Kari	Insertion and Deletion of Words: Determinism and Reversibility.	MFCS	1992	DBLP DOI BibTeX RDF
16	Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein	Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
16	Serge Abiteboul, Victor Vianu	Non-Determinism in Logic-Based Languages.	Ann. Math. Artif. Intell.	1991	DBLP DOI BibTeX RDF
16	Frits W. Vaandrager	Determinism - (Event Structure Isomorphism = Step Sequence Equivalence).	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
16	Geoff Barrett	The Fixed Point Theory of Unbounded Non-Determinism.	Formal Aspects Comput.	1991	DBLP DOI BibTeX RDF
16	Filippo Cacace, Stefano Ceri, Letizia Tanca	Consistency and Non-determinism in a Database Programming Language.	MFDBS	1991	DBLP DOI BibTeX RDF
16	Mohamed Bettaz, Mourad Maouche	How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF
16	Torbjørn Nordgård	Determinisme og syntaktisk flertydighet (Determinism and syntactical ambiguity) [In Norwegian].	NODALIDA	1991	DBLP BibTeX RDF
16	Sergio Antoy	Non-Determinism and Lazy Evaluation in Logic Programming.	LOPSTR	1991	DBLP DOI BibTeX RDF
16	Fosca Giannotti, Dino Pedreschi, Domenico Saccà, Carlo Zaniolo	Non-Determinism in Deductive Databases.	DOOD	1991	DBLP DOI BibTeX RDF
16	Rajiv Trehan, Paul F. Wilk	Issues of non-determinism in PROLOG and the Committed Choice Non-Deterministic logic languages.	Artif. Intell. Rev.	1990	DBLP DOI BibTeX RDF
16	Kazimierz Trzesicki	Many-Valued Tense Logic and the Problem of Determinism.	ISMVL	1990	DBLP DOI BibTeX RDF
16	Claire Jones	Probabilistic non-determinism.		1990	RDF
16	J. A. Shelton	The Individual 'Working-to-Rules': Reducing Determinism in Taylor-Made Expert Systems.	Interact. Comput.	1989	DBLP DOI BibTeX RDF
16	Stephen Crane, Brendan Tangney, John Moreau	Enforcing determinism in a CSMA/CD local area network.	Microprocessing and Microprogramming	1989	DBLP DOI BibTeX RDF
16	George Gargov, Solomon Passy	Determinism and Looping in Combinatory PDL.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
16	Dieter Hogrefe, Amardeo Sarma	Non-Determinism and SDL.	FORTE	1988	DBLP BibTeX RDF
16	Serge Abiteboul, Victor Vianu	The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications.	JCDKB	1988	DBLP DOI BibTeX RDF
16	Peter Van Roy, Bart Demoen, Yves D. Willems	Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
16	Reuven Bar-Yehuda, Oded Goldreich 0001, Alon Itai	On the Time-Complexity of Broadcast in Radio Networks: An Exponential Gap Between Determinism and Randomization.	PODC	1987	DBLP DOI BibTeX RDF
16	Paul Hudak	Arrays, non-determinism, side-effects, and parallelism: A functional perspective.	Graph Reduction	1986	DBLP DOI BibTeX RDF
16	Ravindran Kannan	Towards Separating Nondeterminism from Determinism.	Math. Syst. Theory	1984	DBLP DOI BibTeX RDF
16	Gavan Duffy, John C. Mallery	Referential Determinism and Computational Efficiency: Posting Constraints from Deep Structure.	AAAI	1984	DBLP BibTeX RDF
16	Mogens Nielsen, P. S. Thiagarajan	Degrees of Non-Determinism and Concurrency: A Petri Net View.	FSTTCS	1984	DBLP DOI BibTeX RDF
16	Václav Rajlich	Determinism in Parallel Systems.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
16	Gordon D. Plotkin	A Powerdomain for Countable Non-Determinism (Extended Abstract).	ICALP	1982	DBLP DOI BibTeX RDF
16	Ralph-Johan Back, Heikki Mannila	A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).	PODC	1982	DBLP DOI BibTeX RDF
16	Kurt Mehlhorn, Erik Meineche Schmidt	Las Vegas Is better than Determinism in VLSI and Distributed Computing (Extended Abstract)	STOC	1982	DBLP DOI BibTeX RDF
16	Dirk Vermeir, Walter J. Savitch	On the amount of non-determinism in pushdown in pushdown automata.	Fundam. Informaticae	1981	DBLP BibTeX RDF
16	Wolfgang J. Paul, Rüdiger Reischuk	On Alternation II. A Graph Theoretic Approach to Determinism Versus Nondeterminism.	Acta Informatica	1980	DBLP DOI BibTeX RDF
16	Theodore P. Baker, Juris Hartmanis	Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages	FOCS	1979	DBLP DOI BibTeX RDF
16	Lloyd Allison	Phrase Structures, Non-Determinism and Backtracking.	Inf. Process. Lett.	1978	DBLP DOI BibTeX RDF
16	Václav Rajlich	Determinism in Relational Systems.	Graph-Grammars and Their Application to Computer Science and Biology	1978	DBLP DOI BibTeX RDF
16	Willem P. de Roever	Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination.	MFCS	1976	DBLP DOI BibTeX RDF
16	Wlodzimierz Kwasowiec	Determinism in Concurrent Systems.	MFCS	1976	DBLP DOI BibTeX RDF
16	John A. Self	Embedding Non-determinism.	Softw. Pract. Exp.	1975	DBLP DOI BibTeX RDF
16	Herbert B. Voelcker, Aristides A. G. Requicha	Clipping and Signal Determinism: Two Algorithms Requiring Validation.	IEEE Trans. Commun.	1973	DBLP DOI BibTeX RDF
16	Donald Macko	Natural states and past-determinism of general time systems.	Inf. Sci.	1971	DBLP DOI BibTeX RDF
16	Thomas N. Hibbard	A Generalization of Context-Free Determinism	Inf. Control.	1967	DBLP DOI BibTeX RDF
16	Zbigniew Jordan	Logical determinism.	Notre Dame J. Formal Log.	1963	DBLP DOI BibTeX RDF
16	Leon Brillouin	Inevitable Experimental Errors, Determinism, and Information Theory	Inf. Control.	1959	DBLP DOI BibTeX RDF
16	Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin	DMP: Deterministic Shared-Memory Multiprocessing.	IEEE Micro	2010	DBLP DOI BibTeX RDF	reliability, debugging, multiprocessors, determinism
16	Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
16	Jacob Burnim, Koushik Sen	DETERMIN: inferring likely deterministic specifications of multithreaded programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	parallel programs, determinism, specification inference
16	Robert L. Bocchino Jr., Vikram S. Adve, Danny Dig, Sarita V. Adve, Stephen Heumann, Rakesh Komuravelli, Jeffrey Overbey, Patrick Simmons, Hyojin Sung, Mohsen Vakilian	A type and effect system for deterministic parallel Java.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic parallelism, determinism, effects, commutativity, effect systems
16	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
16	Gilles Pokam, Cristiano Pereira, Klaus Danne, Rolf Kassa, Ali-Reza Adl-Tabatabai	Architecting a chunk-based memory race recorder in modern CMPs.	MICRO	2009	DBLP DOI BibTeX RDF	memory race recorder, determinism, deterministic replay
16	Sergio Antoy, Michael Hanus	Set functions for functional logic programming.	PPDP	2009	DBLP DOI BibTeX RDF	rewrite systems, non-determinism, subspaces, functional logic programming languages
16	Robert M. Hierons, Florentin Ipate	Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Testing, Controllability, Non-determinism, Stream X-machine
16	Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner 0001	Verifiable functional purity in java.	CCS	2008	DBLP DOI BibTeX RDF	object-capabilities, pure functions, static analysis, determinism
16	Daniel Grazioli, Elena Pasquali	A scalable grid based application platform for high volumes of transactional event driven processes.	DEBS	2008	DBLP DOI BibTeX RDF	EDAP, WL BOSS, event emitter, transactional framework, scalability, grid, benchmarks, business process, event, determinism, event-driven, fact
16	Guenter Khyo, Peter P. Puschner, Martin Delvai	An Operating System for a Time-Predictable Computing Node.	SEUS	2008	DBLP DOI BibTeX RDF	Temporal Predictability, Determinism, Real-Time Operating Systems, Time-Triggered Architecture
16	George W. Dunlap, Dominic G. Lucchetti, Michael A. Fetterman, Peter M. Chen	Execution replay of multiprocessor virtual machines.	VEE	2008	DBLP DOI BibTeX RDF	ReVirt, direct memory access, execution replay, hardware page protections, virtual machines, multiprocessors, multithreading, determinism, Xen
16	Min Xu, Rastislav Bodík, Mark D. Hill	A Hardware Memory Race Recorder for Deterministic Replay.	IEEE Micro	2007	DBLP DOI BibTeX RDF	shared-memory race recording, multithreading, multicore, cache coherence, determinism
16	Roman Gumzej, Wolfgang A. Halang	QoS-oriented design of embedded systems with specification PEARL.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Specification PEARL, UML profiles and patterns, Security, Quality-of-Service, Real-time systems, Reliability, Embedded systems, Dependability, Safety, Flexibility, Portability, Determinism, Co-design, Timeliness, Co-simulation, Readiness
16	Marcella Anselmo, Maria Madonia	Deterministic Two-Dimensional Languages over One-Letter Alphabet.	CAI	2007	DBLP DOI BibTeX RDF	Determinism, Automata and Formal Languages, Two-dimensional languages
16	Dora Giammarresi	Tiling Recognizable Two-Dimensional Languages.	CAI	2007	DBLP DOI BibTeX RDF	Tiling systems, Unambiguity, Determinism, Automata and Formal Languages, Two-dimensional languages
16	Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel	Necessary and sufficient conditions for deterministic desynchronization.	EMSOFT	2007	DBLP DOI BibTeX RDF	endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network
16	Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002	Automatic Testing from Formal Specifications.	TAP	2007	DBLP DOI BibTeX RDF	Model Based Testing, B-Method, Non-determinism
16	Sergio Antoy, Bernd Braßel	Computing with subspaces.	PPDP	2007	DBLP DOI BibTeX RDF	rewrite systems, non-determinism, subspaces, functional logic programming languages
16	Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto	Not Enough Points Is Enough.	CSL	2007	DBLP DOI BibTeX RDF	?-models, relational model, ?-calculus, non-determinism, cartesian closed categories
16	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
16	Peter P. Puschner, Raimund Kirner	From Time-Triggered to Time-Deterministic Real-Time Systems.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time systems, determinism, time-triggered architecture, time predictability
16	Min Xu, Mark D. Hill, Rastislav Bodík	A regulated transitive reduction (RTR) for longer memory race recording.	ASPLOS	2006	DBLP DOI BibTeX RDF	race recording, multithreading, determinism
16	Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen	STAIRS towards formal design with sequence diagrams.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	UML interactions, Explicit non-determinism, Refinement, Formal semantics, Sequence diagrams
16	Jiale Huo, Alexandre Petrenko	Covering Transitions of Concurrent Systems through Queues.	ISSRE	2005	DBLP DOI BibTeX RDF	transition coverage, concurrency, model-based testing, non-determinism
16	Darren Aaberge, Ken Mockler, Dieu Van Dinh, Raoul Belleau, Tim Donovan, Reid Hewlitt	Meeting the Test Challenges of the 1 Gbps Parallel RapidIO Interface with New Automatic Test Equipment Capabilities.	VTS	2005	DBLP DOI BibTeX RDF	RapidIO, Source-Synchronous, LVDS, Differential, ATE, Non-determinism
16	Ion Constantinescu, Boi Faltings, Walter Binder	Type based service composition.	WWW (Alternate Track Papers & Posters)	2004	DBLP DOI BibTeX RDF	large scale discovery, runtime non-determinism, type based composition, web services, partial matches
16	Sergio Antoy, Stephen Johnson	Formalization and abstract implementation of rewriting with nested rules.	PPDP	2004	DBLP DOI BibTeX RDF	term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
16	Huo Yan Chen, Yu Xia Sun, T. H. Tse	A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.	COMPSAC	2003	DBLP DOI BibTeX RDF	Object-oriented program testing, OBJSA net, concurrency, non-determinism