The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase non-determinism (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1987 (20) 1988-1990 (17) 1991-1992 (16) 1993-1994 (16) 1995-1996 (21) 1997 (17) 1998 (17) 1999-2000 (32) 2001 (25) 2002 (26) 2003 (29) 2004 (25) 2005 (30) 2006 (29) 2007 (45) 2008 (32) 2009 (34) 2010 (15) 2011-2013 (19) 2014-2016 (15) 2017-2018 (15) 2019-2020 (18) 2021-2022 (16) 2023-2024 (13)
Publication types (Num. hits)
article(102) book(2) incollection(1) inproceedings(431) phdthesis(6)
Venues (Conferences, Journals, ...)
CoRR(19) ESOP(10) CSL(9) Formal Aspects Comput.(9) IPDPS(7) DSN(6) PPDP(6) Ann. Math. Artif. Intell.(5) FoSSaCS(5) IFL(5) MFCS(5) ASPLOS(4) CONCUR(4) FASE(4) ISSTA(4) PADL(4) More (+10 of total 323)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 424 occurrences of 301 keywords

Results
Found 542 publication records. Showing 542 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
116Michal 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
81Robert 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
65Deron 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
56Naijun 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
53Thomas 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
52Rakesh 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
51Luke 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
51Clara 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
51Kartik 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
51Kevin 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
49Antonio 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
47Henry 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
45Heine 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
43Alessio 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
43Ajay 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
43Serge 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
43Byron 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
42Francisco 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
41Matthias 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
36Andrzej 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
36Andrzej 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
36Isabel 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
36Dora 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
36Dora 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
36Hartmut Messerschmidt, Friedrich Otto On Determinism Versus Non-Determinism for Restarting Automata. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
36Marcella 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
36David 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
36Mikló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
36Mikló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
36A. Wilm Determinism and Non-determinism in PDL. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36Wolfgang 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
36Wolfgang 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
35Stephan 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
35Ruini 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
34David 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
34Ana 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
34Antoni 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
33Domenico 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
32James 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
32Sø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
32Craig 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
32Anh 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
32Floris Roelofsen, Luciano Serafini Minimality and Non-determinism in Multi-context Systems. Search on Bibsonomy CONTEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Uli 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
31Andy 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
31Jeff 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
30Ricardo Pena, Clara Segura A Polynomial-Cost Non-determinism Analysis. Search on Bibsonomy IFL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Roland 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
30Sailesh 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
30Joshua 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
30Jan Van den Bussche, Dirk Van Gucht Semi-determinism. Search on Bibsonomy PODS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
28Robert 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
26Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan Purely functional lazy non-deterministic programming. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF call-time choice, continuations, monads, side effects
25Pascal Bercher, Robert Mattmüller Solving Non-deterministic Planning Problems with Pattern Database Heuristics. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-deterministic planning, PDB heuristics, Heuristic search
25Peter Y. A. Ryan Shedding Light on Haunted Corners of Information Security. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Emile Hazard Non-determinism, explorable automata and cyclic proofs. (Non-déterminisme, automates explorables et preuves cycliques). Search on Bibsonomy 2022   RDF
23Sandra Dylus, Jan Christiansen, Finn Teegen Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
23Sandra Dylus, Jan Christiansen, Finn Teegen Implementing a Library for Probabilistic Programming using Non-strict Non-determinism. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
23Cynthia Kop, Jakob Grue Simonsen The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming. Search on Bibsonomy ESOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
23Federico Aschieri, Margherita Zorzi Non-determinism, Non-termination and the Strong Normalization of System T. Search on Bibsonomy TLCA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
23Dashiell Kolbe, Qiang Zhu 0001, Sakti Pramanik Reducing non-determinism of k-NN searching in non-ordered discrete data spaces. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Rajiv Trehan, Paul F. Wilk Issues of non-determinism in PROLOG and the Committed Choice Non-Deterministic logic languages. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23K. Subramani 0001, C. Tauras An approximation algorithm for state minimization in 2-MDFAs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF 2-MDFA, Finite state automata, State minimization
23Cliff B. Jones Editorial. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Wanqing Wu, Rajiv Gupta 0001, Madalene Spezialetti Designing a Non-intrusive Monitoring Tool for Developing Complex Distributed Applications. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
23Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor Programming with angelic nondeterminism. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF angelic non-determinism, constraints, refinement, traces, bounded model-checking
23Sergio Antoy, Michael Hanus Set functions for functional logic programming. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rewrite systems, non-determinism, subspaces, functional logic programming languages
23Robert M. Hierons, Florentin Ipate Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Testing, Controllability, Non-determinism, Stream X-machine
23Manoranjan Satpathy, Michael J. Butler, Michael Leuschel, S. Ramesh 0002 Automatic Testing from Formal Specifications. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Model Based Testing, B-Method, Non-determinism
23Sergio Antoy, Bernd Braßel Computing with subspaces. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF rewrite systems, non-determinism, subspaces, functional logic programming languages
23Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto Not Enough Points Is Enough. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-models, relational model, ?-calculus, non-determinism, cartesian closed categories
23Pascal Van Hentenryck, Laurent Michel Nondeterministic Control for Hybrid Search. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
23Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, Ketil Stølen STAIRS towards formal design with sequence diagrams. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML interactions, Explicit non-determinism, Refinement, Formal semantics, Sequence diagrams
23Jiale Huo, Alexandre Petrenko Covering Transitions of Concurrent Systems through Queues. Search on Bibsonomy ISSRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF transition coverage, concurrency, model-based testing, non-determinism
23Darren 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. Search on Bibsonomy VTS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF RapidIO, Source-Synchronous, LVDS, Differential, ATE, Non-determinism
23Ion Constantinescu, Boi Faltings, Walter Binder Type based service composition. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF large scale discovery, runtime non-determinism, type based composition, web services, partial matches
23Sergio Antoy, Stephen Johnson Formalization and abstract implementation of rewriting with nested rules. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF term rewriting systems, non-determinism, narrowing, functional logic programming, block structured
23Huo Yan Chen, Yu Xia Sun, T. H. Tse A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Object-oriented program testing, OBJSA net, concurrency, non-determinism
23Florentin Ipate, Mike Holcombe Generating Test Sets from Non-Deterministic Stream X-Machines. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Testing, Finite state machines, Non-determinism, Test set generation, X-machines
23Celso A. S. Santos, Paulo Nazareno Maia Sampaio, Jean-Pierre Courtiat Revisiting the concept of hypermedia document consistency. Search on Bibsonomy ACM Multimedia (2) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF internal and external non-determinism, formal verification, temporal consistency, RT-LOTOS, hypermedia documents
23En-Hsin Huang, Tzilla Elrad Scheduling control mechanisms for managing indeterminate object behavior. Search on Bibsonomy SAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF real-time and reactive systems, scheduling controls, adaptability, intelligence, non-determinism
23Mark Russinovich, Bryce Cogswell Replay For Concurrent Non-Deterministic Shared Memory Applications. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF instruction counter, repeatable execution, shared memory, non-determinism
23Philippe Darondeau, Pierpaolo Degano Causal Trees: Interleaving + Causality. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF concurrency, bisimulation, causality, non-determinism
23Ralph-Johan Back, Joakim von Wright Refinement Calculus, Part I: Sequential Nondeterministic Programs. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
22Matthew Might, Panagiotis Manolios A PosterioriSoundness for Non-deterministic Abstract Interpretations. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Andy Georges, Lieven Eeckhout, Dries Buytaert Java performance evaluation through rigorous replay compilation. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF matched-pair comparison, replay compilation, java, performance evaluation, benchmarking, virtual machine
22Kevin M. Lepak, Harold W. Cain, Mikko H. Lipasti Redeeming IPC as a Performance Metric for Multithreaded Programs. Search on Bibsonomy IEEE PACT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Alan Mishchenko, Robert K. Brayton A Theory of Non-Deterministic Networks. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Sias Mostert, Nathalie Cossement, Rudy Lauwereins, Jef L. van Meerbergen DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Simone Veglioni, Rocco De Nicola Possible Worlds for Process Algebras. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Stéphane Grumbach, Zoé Lacroix, Steven Lindell Generalized Implicit Definitions on Finite Structures. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Wen-Kai Chung, William B. Day The process allocation in parallel interpretation of logic programs (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
21Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni Complexity results in revising UNITY programs. Search on Bibsonomy ACM Trans. Auton. Adapt. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, UNITY
21Christian Murphy, Kuang Shen, Gail E. Kaiser Automatic system testing of programs without test oracles. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, metamorphic testing, oracle problem
21Ignacio Laguna, Fahad A. Arshad, David M. Grothe, Saurabh Bagchi How to Keep Your Head above Water While Detecting Errors. Search on Bibsonomy Middleware The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Stateful error detection, High throughput distributed applications, J2EE multi-tier systems, Intelligent sampling, Hidden Markov Model
21Cristiano Pereira, Harish Patil, Brad Calder Reproducible simulation of multi-threaded workloads for architecture design exploration. Search on Bibsonomy IISWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Andy Georges, Dries Buytaert, Lieven Eeckhout Adding rigorous statistics to the Java benchmarker's toolbox. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, benchmarking, methodology, statistics, data analysis
21Umut A. Acar, Matthias Blume, Jacob Donham A Consistent Semantics of Self-adjusting Computation. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis JThreadSpy: teaching multithreading programming by analyzing execution traces. Search on Bibsonomy PADTAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
21Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 542 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
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