The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for determinism with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1980 (16) 1981-1986 (15) 1987-1988 (18) 1989-1990 (20) 1991 (20) 1992-1993 (24) 1994-1995 (31) 1996 (24) 1997 (22) 1998 (27) 1999 (28) 2000 (40) 2001 (43) 2002 (52) 2003 (45) 2004 (45) 2005 (54) 2006 (59) 2007 (76) 2008 (62) 2009 (70) 2010 (33) 2011 (21) 2012 (28) 2013 (22) 2014 (19) 2015 (24) 2016 (20) 2017 (32) 2018 (25) 2019 (23) 2020 (23) 2021 (26) 2022 (20) 2023 (30) 2024 (6)
Publication types (Num. hits)
article(324) book(4) incollection(6) inproceedings(796) phdthesis(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 887 occurrences of 557 keywords

Results
Found 1143 publication records. Showing 1143 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96Michal Hocko, Tomas Kalibera Reducing performance non-determinism via cache-aware page allocation strategies. Search on Bibsonomy WOSP/SIPEW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF performance non-determinism, regression benchmarking, statistical methods, software performance
80Deron Liang, Chen-Liang Fang, Jichiang Tsai A Nested Invocation Suppression Framework for Active Replication Fault-Tolerant CORBA. Search on Bibsonomy COMPSAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF replica determinism, fault-tolerance, object-oriented programming, CORBA, distributed computing environment, active replication
71Marieke Huisman, Pratik Worah, Kim Sunesen A Temporal Logic Characterisation of Observational Determinism. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
60Arend Rensink Denotational, Causal, and Operational Determinism in Event Structures. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF partial order models, trees, determinism, event structures, concurrent languages, behavioural models
60Robert M. Hierons, Mark Harman Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Design for test conditions, Quasi-non-determinism, Testing, Conformance, Non-determinism, Stream X-machine
60Thomas Wolf 0013, Alfred Strohmeier Fault Tolerance by Transparent Replication for Distributed Ada 95. Search on Bibsonomy Ada-Europe The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Piecewise Determinism, Replica Consistency, Semi-Active Replication, Fault Tolerance, Distributed Systems, Non-Determinism
52Violetta Lonati, Matteo Pradella Snake-Deterministic Tiling Systems. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 2D language, tiling systems, online tessellation automata, unambiguity, determinism, picture language
49Marcella Anselmo, Dora Giammarresi, Maria Madonia From Determinism to Non-determinism in Recognizable Two-Dimensional Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Unambiguity - Determinism, Automata and Formal Languages, Two-dimensional languages
45Rakesh Kumar Computing with stochastic processors: revisiting the correctness contract between software and hardware. Search on Bibsonomy ISLPED The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stochastic processor, reliability, error resilience, error tolerance
45Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller Formalizing Sensitivity in Static Analysis for Intrusion Detection. Search on Bibsonomy S&P The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
44Tachio Terauchi A Type System for Observational Determinism. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Security, Linear Programming, Programming Language, Type System
44Luke Wildman, Brad Long, Paul A. Strooper Dealing with Non-Determinism in Testing Concurrent Java Components. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Chu Min Li, Wenqi Huang Diversification and Determinism in Local Search for Satisfiability. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Clara Segura, Ricardo Pena Correctness of Non-determinism Analyses in a Parallel-Functional Language. Search on Bibsonomy IFL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Kartik Mohanram, Nur A. Touba Eliminating Non-Determinism During Test of High-Speed Source Synchronous Differential Buses. Search on Bibsonomy VTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes Specification of Required Non-determinism. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
44Jan Van den Bussche, Dirk Van Gucht Semi-determinism. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
42Jacob Burnim, Koushik Sen Asserting and checking determinism for multithreaded programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel programs, determinism, assertions
42Tachio Terauchi, Alex Aiken A capability calculus for concurrency and determinism. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, Determinism, capabilities
42Jaeseung Jeong, Yongho Kwak, Yang In Kim, Kyoung J. Lee Dynamical Heterogeneity of Suprachiasmatic Nucleus Neurons Based on Regularity and Determinism. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF suprachiasmatic nucleus, nonlinear determinism, interspike intervals, heterogeneity
42Naijun Zhan, Mila E. Majster-Cederbaum Deriving Non-determinism from Conjunction and Disjunction. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism
42Pavol Duris, Juraj Hromkovic, José D. P. Rolim, Georg Schnitger Las Vegas Versus Determinism for One-way Communication Complexity, Finite Automata, and Polynomial-time Computations. Search on Bibsonomy STACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Las Vegas, communication complexity, automata, determinism, computational and structural complexity
42Josyula R. Rao Eventual determinism: using probabilistic means to achieve deterministic ends. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
36Byron Cook, Daniel Kroening, Natasha Sharygina Symbolic Model Checking for Asynchronous Boolean Programs. Search on Bibsonomy SPIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Wouter Gelade, Marc Gyssens, Wim Martens Regular Expressions with Counting: Weak versus Strong Determinism. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Matthias Raffelsieper, Mohammad Reza Mousavi 0001, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. Search on Bibsonomy FMICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Juraj Hromkovic, Georg Schnitger Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF descriptional complexity of regular languages, Finite automata, nondeterminism
34Markus Holzer 0001, Martin Kutrib Flip-Pushdown Automata: Nondeterminism Is Better than Determinism. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34Alessio Bechini, Raffaele Lapadula, Cosimo Antonio Prete Dealing with Non-Determinism in Communications within Java Applications. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
34Alan D. Blair, Elizabeth Sklar, Pablo Funes Co-evolution, Determinism and Robustness. Search on Bibsonomy SEAL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Neural networks, Co-evolution
34Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze, Dan Grossman CoreDet: a compiler and runtime system for deterministic multithreaded execution. Search on Bibsonomy ASPLOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF compilers, multithreading, multicore, determinism
34Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto A Relational Model of a Parallel and Non-deterministic lambda-Calculus. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF denotational semantics, relational model, ?-calculus, non-determinism, parallel composition
34Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin DMP: deterministic shared memory multiprocessing. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel programming, debugging, multicores, determinism
34Kai Salomaa, Sheng Yu 0001, Jinfeng Zan Deterministic Caterpillar Expressions. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tree walking automata, decidability, regular expressions, determinism
34Marcella Anselmo, Dora Giammarresi, Maria Madonia Tiling Automaton: A Computational Model for Recognizable Two-Dimensional Languages. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automata, determinism, two-dimensional languages
34Heine Kolltveit, Svein-Olaf Hvasshovd Preventing Orphan Requests by Integrating Replication and Transactions. Search on Bibsonomy ADBIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF orphan requests, Replication, transactions, non-determinism
34Malcolm Dowse, Andrew Butterfield Modelling deterministic concurrent I/O. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF concurrency, determinism, effects, monads, I/O
33Andrzej Lingas Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism. Search on Bibsonomy LAGOS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Andrzej Lingas Consequences of APSP, triangle detection, and 3SUM hardness for separation between determinism and non-determinism. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
33Isabel Oitavem From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Dora Giammarresi Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
33Dora Giammarresi Tiling-recognizable Two-dimensional Languages: from Non-determinism to Determinism through Unambiguity. Search on Bibsonomy JAC The full citation details ... 2010 DBLP  BibTeX  RDF
33Hartmut Messerschmidt, Friedrich Otto On Determinism Versus Non-Determinism for Restarting Automata. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
33David Budgen Why should they believe us? Determinism, non-determinism and evidence. Search on Bibsonomy CSEE&T The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Miklós Ajtai Determinism versus Non-Determinism for Linear Time RAMs (Extended Abstract). Search on Bibsonomy STOC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Miklós Ajtai Determinism versus Non-Determinism for Linear Time RAMs with Memory Restrictions Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 1998 DBLP  BibTeX  RDF
33A. Wilm Determinism and Non-determinism in PDL. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
33Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi, William T. Trotter On Determinism versus Non-Determinism and Related Problems (Preliminary Version) Search on Bibsonomy FOCS The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
33Wolfgang J. Paul, Rüdiger Reischuk A Graph Theoretic Approach to Determinism versus Non-Determinism. Search on Bibsonomy Theoretical Computer Science The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
33Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, Jason Flinn Respec: efficient online multiprocessor replayvia speculation and external determinism. Search on Bibsonomy ASPLOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF external determinism, speculative execution, replay
33Stefan Poledna, Alan Burns 0001, Andy J. Wellings, Peter Barrett Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2000 DBLP  DOI  BibTeX  RDF replica determinism, fault tolerance, Distributed real-time systems, distributed operating systems, distributed scheduling, flexible scheduling
33Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati Exploiting Non-Determinism for Reliability of Mobile Agent Systems. Search on Bibsonomy DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF reliability, mobile-agent, fault-detection, recovery, non-determinism
33A. W. Roscoe 0001, Jim Woodcock 0001, Lars Wulf Non-Interference Through Determinism. Search on Bibsonomy ESORICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Security, Formal methods, Process algebra, Determinism, Automatic verification, Non-interference
27Robert E. Strom, Chitra Dorai, Thomas Huining Feng, Wei Zheng Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. Search on Bibsonomy ICDCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Uli Alexander Bornhauser, Peter Martini A Divergence Analysis in Autonomous Systems Using Full-Mesh iBGP. Search on Bibsonomy CNSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Routing Anomalies, Networks, Border Gateway Protocol, Functional Analysis, Communication System Routing
27Sailesh Kumar, Jonathan S. Turner, Patrick Crowley Peacock Hashing: Deterministic and Updatable Hashing for High Performance Networking. Search on Bibsonomy INFOCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Andy Georges, Dries Buytaert, Lieven Eeckhout Statistically rigorous java performance evaluation. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF java, benchmarking, methodology, statistics, data analysis
27Jeff Napper, Lorenzo Alvisi, Harrick M. Vin A Fault-Tolerant Java Virtual Machine. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Giovanna Zimatore, Alessandro Giuliani, Stavros Hatzopoulos, Alessandro Martini, Alfredo Colosimo Invariant and Subject-Dependent Features of Otoacoustic Emissions. Search on Bibsonomy ISMDA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27James Irwin, Dan Page, Nigel P. Smart Instruction Stream Mutation for Non-Deterministic Processors. Search on Bibsonomy ASAP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Joshua S. Hodas, Pablo López, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel 0001 A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Søren B. Lassen, Andrew Moran Unique Fixed Point Induction for McCarthy's Amb. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Craig M. Chase, Vijay K. Garg Detection of Global Predicates: Techniques and Their Limitations. Search on Bibsonomy Distributed Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Unstable predicates, Distributed debugging, Predicate detection
27Frédéric Boniol, Martin Adelantado Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling. Search on Bibsonomy WDAG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Synchronism and Asynchronism, Real-time, Reactive systems, Semantics of Concurrency
27Serge Abiteboul, Eric Simon, Victor Vianu Non-Deterministic Languages to Express Deterministic Transformations. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Ahmed Mustafa Mahmoud, Wan Haslina Hassan Determinism in speech pitch relation to emotion. Search on Bibsonomy ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF diphone, emotions, speech synthesis
25Israel Herraiz, Jesús M. González-Barahona, Gregorio Robles Determinism and evolution. Search on Bibsonomy MSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF long term process, short term process, software evolution, time series analysis, self-organized criticality
25Henri Hansen, Antti Valmari Operational Determinism and Fast Algorithms. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Floris Roelofsen, Luciano Serafini Minimality and Non-determinism in Multi-context Systems. Search on Bibsonomy CONTEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Pascual Julián Iranzo, Christian Villamizar Lamus Analysing Definitional Trees: Looking for Determinism. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming
25Steve Zdancewic, Andrew C. Myers Observational Determinism for Concurrent Program Security. Search on Bibsonomy CSFW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Ricardo Pena, Clara Segura A Polynomial-Cost Non-determinism Analysis. Search on Bibsonomy IFL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Pavol Duris, Juraj Hromkovic, Katsushi Inoue A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition. Search on Bibsonomy CCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Las Vegas randomization, two-dimensional finite automata, nondeterminism
25Adrian Johnstone, Elizabeth Scott Generalised Recursive Descent parsing and Fellow-Determinism. Search on Bibsonomy CC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Takaya Miyano, Takahiko Oasa, Tadashi Iokibe, Shoji Murata, Takayoshi Tanimura Degrees of visible determinism in observational sequences as a mechanical signature of automobile components. Search on Bibsonomy KES (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Rita Loogen, Stephan Winkler Dynamic Detection of Determinism in Functional Languages. (long version: TCS 142(1): 59-87 (1995)) Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25Roland Dietrich, Hendrik C. R. Lock Exploiting Non-Determinism through Laziness in Guarded Functional Languages. Search on Bibsonomy TAPSOFT, Vol.2 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25Domenico Saccà, Carlo Zaniolo Stable Models and Non-Determinism in Logic Programs with Negation. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25David Ginat The baffling CS notions of "as-if" and "don't-care". Search on Bibsonomy SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF task reformulation, abstraction, non-determinism
25Gwendolyn Voskuilen, Faraz Ahmad, T. N. Vijaykumar Timetraveler: exploiting acyclic races for optimizing memory race recording. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF race recording, debugging, determinism, replay
25Kazuhiro Fujikake, Masaru Miyao, Tomoki Watanabe, Satoshi Hasegawa, Masako Omori, Hiroki Takada Evaluation of Body Sway and the Relevant Dynamics While Viewing a Three-Dimensional Movie on a Head-Mounted Display by Using Stabilograms. Search on Bibsonomy HCI (13) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Three-dimensional (3D) movie, Stabilogram, Degree of determinism, Double-Wayland algorithm, Visually induced motion sickness
25Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck Controlling chaos: on safe side-effects in data-parallel operations. Search on Bibsonomy DAMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrent side-effects, non-determinism, functional programming languages
25Tom Barker, Matthias Hank Haeusler, Frank Maguire, Jason E. McDermott Investigating political and demographic factors in crowd based interfaces. Search on Bibsonomy OZCHI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF digital political determinism and anamorphic anthropomorphic display, user interface design, image recognition, emotion recognition, cybernetics
25Ruini Xue, Xuezheng Liu, Ming Wu 0007, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang 0001, Geoffrey M. Voelker MPIWiz: subgroup reproducible replay of mpi applications. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF message passing interface, non-determinism, distributed debugging, record and replay
25Marek Olszewski, Jason Ansel, Saman P. Amarasinghe Kendo: efficient deterministic multithreading in software. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deterministic multithreading, parallel programming, debugging, multicore, determinism
25Siddharth Choudhuri, Tony Givargis Deterministic service guarantees for nand flash using partial block cleaning. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF embedded systems, real-time, file systems, storage, determinism, qos, nand flash
25Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück Principles of a reversible programming language. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF backward determinism, inverse semantics, fast fourier transform, reversible computing, turing completeness
25Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández A simple rewrite notion for call-time choice semantics. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constructor-based rewriting logic, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems, functional-logic programming
25Bruce Edmonds The Nature of Noise. Search on Bibsonomy EPOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modelling, context, Noise, randomness, relevance, determinism, explanation, science, residual, philosophy
25Kun Wei, James Heather Embedding the Stable Failures Model of CSP in PVS. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CSP, deadlock, determinism, liveness, theorem prover
25Ana Sokolova, Erik P. de Vink Probabilistic Automata: System Types, Parallel Composition and Comparison. Search on Bibsonomy Validation of Stochastic Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
25Denis Caromel, Ludovic Henrio, Bernard P. Serpette Asynchronous and deterministic objects. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures
25Sara Comai, Letizia Tanca Termination and Confluence by Rule Prioritization. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF database dynamics, deductive databases, termination, determinism, Active databases
25Antoni W. Mazurkiewicz Competition, Cooperation, and Authorization. Search on Bibsonomy ESAW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Multi-agent system, distributed algorithms, concurrency, cooperation, conflicts, non-determinism
25JinHo Ahn, Sung-Gi Min, Chong-Sun Hwang Improving Scalability of Replicated Services in Mobile Agent Systems. Search on Bibsonomy Mobile Agents The full citation details ... 2002 DBLP  DOI  BibTeX  RDF fault-tolerance, scalability, determinism, Mobile agent system, replicated service, passive replication
25Jesús Fernández-Conde, Alberto García-Martínez, Ángel Viña Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1996 DBLP  DOI  BibTeX  RDF nuclear engineering computing, nuclear power stations, health hazards, power engineering computing, hardware/software platform, real-time data-intensive applications, hazardous environmental conditions, I/O operations, CPU processing time, hostile environments, throughput requirements, nuclear power plant inspection, performance, real-time systems, inspection, determinism, data acquisition, data processing, data transfer, data storage, power plants
25K. Mani Chandy, Ian T. Foster A Notation for Deterministic Cooperating Processes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF debugging, functional programming, determinism, multicomputers, parallel programming languages
25Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis Consistency checking of SCR-style requirements specifications. Search on Bibsonomy RE The full citation details ... 1995 DBLP  DOI  BibTeX  RDF SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
25Lennart Lindh, Johan Stärner, John Furunäs From single to multiprocessor real-time kernels in hardware. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware
Displaying result #1 - #100 of 1143 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license