The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1971-1991 (17) 1992-1995 (19) 1996-1999 (19) 2000-2001 (17) 2002-2003 (29) 2004 (22) 2005 (17) 2006 (26) 2007 (38) 2008 (33) 2009 (37) 2010 (16) 2011-2012 (37) 2013-2014 (21) 2015 (16) 2016 (19) 2017-2018 (20) 2019 (19) 2020-2021 (28) 2022-2023 (21) 2024 (2)
Publication types (Num. hits)
article(107) inproceedings(360) phdthesis(5) proceedings(1)
Venues (Conferences, Journals, ...)
PLDI(18) PPoPP(16) CoRR(13) RACES@SPLASH(10) IPDPS(9) ASPLOS(8) ISCA(8) ISSTA(8) IEEE Trans. Computers(7) PADTAD(7) SPAA(7) IEEE Trans. Software Eng.(6) PDP(6) CAV(5) ESEC/SIGSOFT FSE(5) HPCA(5) More (+10 of total 257)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 449 occurrences of 255 keywords

Results
Found 473 publication records. Showing 473 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
144Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park MPIRace-Check: Detection of Message Races in MPI Programs. Search on Bibsonomy GPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF message races, MPIRace-Check, debugging, message-passing programs
113Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder Automatically classifying benign and harmful data racesallusing replay analysis. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF benign data races, concurrency Bbugs, replay
112Mi-Young Park, Seok Young Kim, Hyuk-Ro Park Visualization of Affect-Relations of Message Races for Debugging MPI Programs. Search on Bibsonomy GrC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
100Young-Joo Kim, Mi-Young Park, So-Hee Park, Yong-Kee Jun A Practical Tool for Detecting Races in OpenMP Programs. Search on Bibsonomy PaCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
100Hee-Dong Park, Yong-Kee Jun Detecting the First Races in Parallel Programs with Ordered Synchronization. Search on Bibsonomy ICPADS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
98Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam Dynamic recognition of synchronization operations for improved data race detection. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF synchronization and infeasible races, data races, record and replay
97Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley PACER: proportional detection of data races. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, sampling, data races, bugs
97Mun-Hye Kang, Ok-Kyoon Ha, Sang-Woo Jun, Yong-Kee Jun A Tool for Detecting First Races in OpenMP Programs. Search on Bibsonomy PaCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF OpenMP programs, first races to occur, race detection
97Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati A type system for preventing data races and deadlocks in the java virtual machine language: 1. Search on Bibsonomy LCTES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SafeJava, deadlocks, data races, ownership types
90Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun Efficient Race Verification for Debugging Programs with OpenMP Directives. Search on Bibsonomy PaCT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OpenMP directive, protocol scheme, verification, labeling scheme, races
89Mi-Young Park, Yong-Kee Jun Detecting Unaffected Message Races in Parallel Programs. Search on Bibsonomy GPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
86Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard Ownership types for safe programming: preventing data races and deadlocks. Search on Bibsonomy OOPSLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF deadlocks, encapsulation, data races, ownership types
77Gwendolyn 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
72Hans-Juergen Boehm Position paper: nondeterminism is unavoidable, but data races are pure evil. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
69Koushik Sen Race directed random testing of concurrent programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, random testing, race detection
69Mi-Young Park, Yong-Kee Jun Detecting Unaffected Race Conditions in Message-Passing Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
67Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller Optimized run-time race detection and atomicity checking using partial discovered types. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF performance, type system, atomicity, data races
65Young-Joo Kim, Jae-Seon Lim, Yong-Kee Jun Scalable Thread Visualization for Debugging Data Races in OpenMP Programs. Search on Bibsonomy GPC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF OpenMP programs, data race debugging, scalable thread visualization, three-dimensional visualization
65So-Hee Park, Mi-Young Park, Yong-Kee Jun A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs. Search on Bibsonomy WOMPAT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
63Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller Automated type-based analysis of data races and atomicity. Search on Bibsonomy PPoPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF type system, type inference, atomicity, data races
63Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond Critical Races in Ada Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF critical races, concurrent Ada programs, system errors, CRF language, caller selection mechanism, discriminatory mutual exclusion, dimutex, MLog language, gas-station example, parallel programming, Ada, rapid-prototyping, Ada language
58Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy LiteRace: effective sampling for lightweight data-race detection. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic data race detection, sampling, concurrency bugs
58Abdullah Muzahid, Darío Suárez Gracia, Shanxiang Qi, Josep Torrellas SigRace: signature-based data race detection. Search on Bibsonomy ISCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SigRace, concurrency defect, signature, timestamp, data race, happened-before
58Paul Sack, Brian E. Bliss, Zhiqiang Ma, Paul Petersen, Josep Torrellas Accurate and efficient filtering for the Intel thread checker race detector. Search on Bibsonomy ASID The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data-race detection
58Eli Pozniansky, Assaf Schuster Efficient on-the-fly data race detection in multihreaded C++ programs. Search on Bibsonomy PPoPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrency, synchronization, multithreading, instrumentation, data race
55Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte A programming model for concurrent object-oriented programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
55Mandana Vaziri, Frank Tip, Julian Dolby Associating synchronization constraints with data in an object-oriented language. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF programming model, serializability, data races, concurrent object-oriented programming
54Cormac Flanagan, Stephen N. Freund Adversarial memory for detecting destructive races. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions, relaxed memory models
54Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin G. Zorn, Rahul Nagpal, Karthik Pattabiraman Detecting and tolerating asymmetric races. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF race detection and toleration, dynamic instrumentation, runtime support
54Young-Joo Kim, Daeyoung Kim 0001, Yong-Kee Jun An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race
54Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga DRACULA: Detector of Data Races in Signals Handlers. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
54Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar Healing data races on-the-fly. Search on Bibsonomy PADTAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF testing, concurrency, self-healing
54Edith Elkind, Blaise Genest, Doron A. Peled Detecting Races in Ensembles of Message Sequence Charts. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
54Federico Balaguer, Thuc S. M. Ho, Ralph E. Johnson Detecting Data Races on Framework-Based Applications. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Michiel Ronsse, Jonas Maebe, Koenraad De Bosschere Detecting Data Races in Sequential Programs with DIOTA. Search on Bibsonomy Euro-Par The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Yong-Kee Jun, Charles E. McDowell Scalable Monitoring Technique for Detecting Races in Parallel Programs. Search on Bibsonomy IPDPS Workshops The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
54Ming-Dong Feng, Chung-Kwong Yuen Detection of Races and Control-Flow Nondeterminism. Search on Bibsonomy LCR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
54Scotte Zinn, Michael H. Coffin Efficient event generation for detecting races. Search on Bibsonomy CASCON The full citation details ... 1993 DBLP  BibTeX  RDF
53Andrew P. Black, Theo D'Hondt, Doug Kimelman, Martin C. Rinard, David M. Ungar (eds.) Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, RACES@SPLASH 2012, Tucson, Arizona, USA, October 21, 2012. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Max OrHai, Andrew P. Black Approximate parallel sorting on a spatial computer. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Philip W. Howard, Jonathan Walpole A case for relativistic programming. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard Dancing with uncertainty. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53David M. Ungar, Doug Kimelman, Sam S. Adams, Mark N. Wegman Does better throughput require worse latency? Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Harold W. Cain, Mikko H. Lipasti Edge chasing delayed consistency: pushing the limits of weak memory models. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer How FIFO is your concurrent FIFO queue? Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Lakshminarayanan Renganarayana, Vijayalakshmi Srinivasan, Ravi Nair, Daniel A. Prener Programming with relaxed synchronization. Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
53Paul E. McKenney Beyond expert-only parallel programming? Search on Bibsonomy RACES@SPLASH The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
51Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multicores, threads, data-races, memory consistency models, bug detection
51Marwa Shousha, Lionel C. Briand, Yvan Labiche A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
46Eric Bodden, Klaus Havelund Racer: effective race detection using aspectj. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts
46Keum-Sook Ha, Eun-Kyung Ryu, Kee-Young Yoo Space-Efficient First Race Detection in Shared Memory Programs with Nested Parallelism. Search on Bibsonomy PARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Young-Cheol Kim, Yong-Kee Jun Restructuring Parallel Programs for On-the-Fly Race Detection. Search on Bibsonomy PaCT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
43Blas Cuesta, Antonio Robles, José Duato Improving Token Coherence by Multicast Coherence Messages. Search on Bibsonomy PDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Token Cohence, protocol races, multicast, Cache coherence, SMP
43Dan Grossman Type-safe multithreading in cyclone. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF types, data races, cyclone
43Menahem Lowy, Neal Butler, Rosanne Tinkler Low power VLSI sequential circuit architecture using critical race control. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF critical races, low-power VLSI circuits, asynchronous circuits
43Dejan Perkovic, Peter J. Keleher A Protocol-Centric Approach to on-the-Fly Race Detection. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF shared memory, DSM, Data races, on-the-fly
42Shantanu Gupta, Florin Sultan, Srihari Cadambi, Franjo Ivancic, Martin Rötteler RaceTM: detecting data races using transactional memory. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF transactional memory, data race detection
42Mingdong Feng, Charles E. Leiserson Efficient Detection of Determinacy Races in Cilk Programs. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42David K. Probst, Hon Fung Li Verifying Timed Behavior Automata with Input/Output Critical Races. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
39David F. Bacon, Robert E. Strom, Ashis Tarafdar Guava: a dialect of Java without data races. Search on Bibsonomy OOPSLA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races
38Julian Togelius, Simon M. Lucas Arms Races and Car Races. Search on Bibsonomy PPSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Adrian Nistor, Darko Marinov, Josep Torrellas Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF execution history hash, data race, systematic testing
35Jacob 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
35JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis Thread-safe dynamic binary translation using transactional memory. Search on Bibsonomy HPCA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Bin Lei, Linzhang Wang, Xuandong Li UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF race condition, UML activity diagram
35Hans-Juergen Boehm, Sarita V. Adve Foundations of the C++ concurrency memory model. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF trylock, c++, memory model, data race, sequential consistency, memory consistency
35Zdenek Letko, Tomás Vojnar, Bohuslav Krena AtomRace: data race and atomicity violation detector and healer. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Blas Cuesta, Antonio Robles, José Duato An Effective Starvation Avoidance Mechanism to Enhance the Token Coherence Protocol. Search on Bibsonomy PDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Pin Zhou, Radu Teodorescu, Yuanyuan Zhou HARD: Hardware-Assisted Lockset-based Race Detection. Search on Bibsonomy HPCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Jan Wen Voung, Ranjit Jhala, Sorin Lerner RELAY: static race detection on millions of lines of code. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, race detection
35Tayfun Elmas, Shaz Qadeer, Serdar Tasiran Goldilocks: a race and transaction-aware java runtime. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java runtime, software transactions, runtime monitoring, data-race detection
35Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks LOCKSMITH: context-sensitive correlation analysis for race detection. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF locksmith, correlation, type inference, context-sensitivity, race detection, multi-threaded programming
35Milo M. K. Martin, Mark D. Hill, David A. Wood 0001 Token Coherence: Decoupling Performance and Correctness. Search on Bibsonomy ISCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Gerald M. Karam, Raymond J. A. Buhr Starvation and Critical Race Analyzers for Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
32Zachary R. Anderson, David Gay, Mayur Naik Lightweight annotations for controlling sharing in concurrent data structures. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrent programming, data races, multithreaded programming
32Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip Dynamic detection of atomic-set-serializability violations. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
32B. John Oommen, Sudip Misra, Ole-Christoffer Granmo Routing Bandwidth-Guaranteed Paths in MPLS Traffic Engineering: A Multiple Race Track Learning Approach. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Random races, algorithms, routing, traffic engineering, MPLS
32Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
32David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang Determining Possible Event Orders by Analyzing Sequential Traces. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders
31Xiang Cai, Yuwei Gui, Rob Johnson Exploiting Unix File-System Races via Algorithmic Complexity Attacks. Search on Bibsonomy SP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Verena Heidrich-Meisner, Christian Igel Hoeffding and Bernstein races for selecting policies in evolutionary direct policy search. Search on Bibsonomy ICML The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Dan Tsafrir, Tomer Hertz, David A. Wagner 0001, Dilma Da Silva Portably solving file races with hardness amplification. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2008 DBLP  DOI  BibTeX  RDF TOCTTOU, time-of-check-to-time-of-use, Race conditions
31Tsutomu Terada, Masakazu Miyamae, Yasue Kishino, Takahito Fukuda, Masahiko Tsukamoto A wearable system for supporting pit-crew and audiences on motorbike races. Search on Bibsonomy MoMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF motorbike racing, wearable computing
31Beverly A. Sanders, KyungHee Kim Assertional reasoning about data races in relaxed memory models. Search on Bibsonomy PPoPP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF assertions, memory model, data race, sequential consistency
31Aoun Raza, Gunther Vogel RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. Search on Bibsonomy Ada-Europe The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Mi-Young Park, Nguyen Cao Truong Hai, Yong-Kee Jun, Hyuk-Ro Park Visualization of Message Races in MPI Parallel Programs. Search on Bibsonomy CIT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Debanik Roy Development and Model-Aided Performance Measure of a Sensor-Augmented Industrial Robotic System for Handling Steel Bearing Races in an Unstructured Environment. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF magnetic gripper, robotized handling, sensory system, bearing ring, performance, industrial robot, unstructured environment
31Luis Mateu A Java Dialect Free of Data Races and without Annotations. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Brian Demsky, Patrick Lam 0001 Views: object-inspired concurrency control. Search on Bibsonomy ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, language design, static verification
23Charles E. Leiserson, Tao B. Schardl A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers). Search on Bibsonomy SPAA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk
23Yang Zhao, John Boyland Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Ganesh Gopalakrishnan, Robert M. Kirby Practical Formal Verification of MPI and Thread Programs. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Frédéric Dabrowski, David Pichardie A Certified Data Race Analysis for a Java-like Language. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. Search on Bibsonomy RV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Ali Jannesari, Kaibin Bao, Victor Pankratius, Walter F. Tichy Helgrind+: An efficient dynamic race detector. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Gautam Altekar, Ion Stoica ODR: output-deterministic replay for multicore debugging. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF debugging, multicore, inference, deterministic replay
23Baolin Shao, Nalini Vasudevan, Stephen A. Edwards Compositional deadlock detection for rendezvous communication. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SHIM, concurrency, static analysis, deadlock, divide-and-conquer
23Nalini Vasudevan, Stephen A. Edwards Static Deadlock Detection for the SHIM Concurrent Language. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 473 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
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