The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1968-1986 (18) 1987-1989 (22) 1990-1991 (21) 1992 (18) 1993 (19) 1994-1995 (35) 1996-1997 (32) 1998 (17) 1999 (27) 2000 (37) 2001 (44) 2002 (41) 2003 (52) 2004 (57) 2005 (63) 2006 (94) 2007 (86) 2008 (130) 2009 (105) 2010 (80) 2011 (73) 2012 (70) 2013 (57) 2014 (66) 2015 (77) 2016 (94) 2017 (114) 2018 (137) 2019 (108) 2020 (159) 2021 (148) 2022 (145) 2023 (167) 2024 (27)
Publication types (Num. hits)
article(878) book(2) data(3) incollection(27) inproceedings(1497) phdthesis(29) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(207) PLDI(39) PPoPP(25) CYSARM@CCS(17) IPDPS(16) CHI(15) CogSci(15) IEEE Trans. Software Eng.(15) ASPLOS(14) Commun. ACM(14) POPL(14) IEEE Access(12) IEEE Trans. Computers(12) ISCA(12) New Media Soc.(12) OOPSLA(12) More (+10 of total 1131)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1114 occurrences of 669 keywords

Results
Found 2461 publication records. Showing 2440 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114Sheree Josephson, Michael E. Holmes Cross-race recognition deficit and visual attention: do they all look (at faces) alike? Search on Bibsonomy ETRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cross-race recognition deficit, eyewitness, own-race bias, eye tracking, visual attention
107Koushik 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
92Sarita V. Adve, Mark D. Hill A Unified Formalization of Four Shared-Memory Models. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF data-race-free-1, data-race-free-0, hazards and raceconditions, multiprocessors, shared memory systems, formalization, sequential consistency, weak ordering, shared-memory models, release consistency
83Jobany Rodriguez, Heather Bortfeld, Ricardo Gutierrez-Osuna Reducing the other-race effect through caricatures. Search on Bibsonomy FG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
81Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger Finding race conditions in Erlang with QuickCheck and PULSE. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF QuickCheck, Erlang, race conditions
81Cormac Flanagan, Stephen N. Freund FastTrack: efficient and precise dynamic race detection. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions
76Xunwei Wu, Xiexiong Chen, Jizhong Shen Race-Hazard and Skip-Hazard in Multivalued Combinational Circuits. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF race-hazard, skip-hazard, multivalued combinational circuits, race hazards, AND/OR expression, skip hazard, multivalued circuits, fast transition, small load capacitor, combinational circuits, multivalued logic circuits, hazards and race conditions, input signals
75Mi-Young Park, Sang-Hwa Chung Detecting Race Conditions in One-Sided Communication of MPI Programs. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
72Koenraad Audenaert, Luk Levrouw Space efficient data race detection for parallel programs with series-parallel task graphs. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
70Lily Huang, Michael R. Smith 0001, Albert Tran, James Miller 0001 E-RACE, A Hardware-Assisted Approach to Lockset-Based Data Race Detection for Embedded Products. Search on Bibsonomy ISSRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
68Cormac 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
66Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs. Search on Bibsonomy SPAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
63Adrian 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
63Abdullah 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
63Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF architecture, debugging, many-core, race detection
63Therese J. Albert, Kai Qian, Xiang Fu 0001 Race condition in Ajax-based web application. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic web application, concurrency, Ajax, lock, race condition
63Jinpeng Wei, Calton Pu Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Probabilistic Modeling, Race Condition
63Tayfun 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
63Jianyin Zhang, Sen Su, Fangchun Yang Detecting Race Conditions in Web Services. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Web Services, Petri net, feature interaction, race condition
63Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert Using Control and Data Flow Analysis for Race Evaluation. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF event manipulation, Debugging, program analysis, race conditions
62Satish 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
62Kunal Agrawal, Charles E. Leiserson, Jim Sukha Memory models for open-nested transactions. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Ali Jannesari, Walter F. Tichy On-the-fly race detection in multi-threaded programs. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF lockset, parallel programs, debugging, dynamic analysis, race conditions, race detection, multi-threaded programming, happens-before
61Gerald 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
57Tachio Terauchi Checking race freedom via linear programming. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF fractional capabilities, linear programming
57Terence Chan RaceCheck: A Race Logic Audit Program For SoC Designs. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
57Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu Detecting Race Conditions in Parallel Programs that Use Semaphores. Search on Bibsonomy Algorithmica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). Search on Bibsonomy ESA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
57Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick Algorithms for the optimal state assignment of asynchronous state machines. Search on Bibsonomy ARVLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic
54Gwendolyn 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
54Daniel 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
54Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluca Iannaccone Race conditions in coexisting overlay networks. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interaction between multiple overlay networks, traffic oscillations, synchronization, race conditions
54Bin 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
54Mayur Naik, Alex Aiken Conditional must not aliasing for static race detection. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static race detection, Java, concurrency, synchronization, multi-threading
54Martín Abadi, Cormac Flanagan, Stephen N. Freund Types for safe locking: Static race detection for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type system, Concurrent programs, type inference, race conditions
53Fangli Pu, Hai-Yin Xu A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs. Search on Bibsonomy ICNSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
53Bill Mitchell Inherent Causal Orderings of Partial Order Scenarios. Search on Bibsonomy ICTAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53Ming-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
51Julio Cesar da Silva, Rafael de Magalhaes Dias Frinhani, Ricardo Martins de Abreu Silva, Geraldo Robson Mateus Auto-parametrização do GRASP com Path-Relinking no agrupamento de dados com F-Race e iterated F-Race [Automatic Tuning of GRASP with Path-Relinking in data clustering with F-Race and iterated F-Race]. Search on Bibsonomy SBSI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
48Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga On Race Vulnerabilities in Web Applications. Search on Bibsonomy DIMVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Vineet Kahlon, Yu Yang 0013, Sriram Sankaranarayanan 0001, Aarti Gupta Fast and Accurate Static Data-Race Detection for Concurrent Programs. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Milos Prvulovic CORD: cost-effective (and nearly overhead-free) order-recording and data race detection. Search on Bibsonomy HPCA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Bill Mitchell Resolving Race Conditions in Asynchronous Partial Order Scenarios. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF formal methods, Requirements analysis, distributed programming
48Chien-An Chen, Sara Kalvala, Jane E. Sinclair Race Conditions in Message Sequence Charts. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Shih-Hsu Huang, Yow-Tyng Nieh, Feng-Pin Lu Race-condition-aware clock skew scheduling. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF sequential circuits, high performance, timing optimization
48Ana Paula Cláudio, João Duarte Cunha A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Robert O. Briggs, Tomas P. Gregory Token Dispensers for GSS Race Conditions: Locking Things That Don't Exist. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Mark Christiaens, Koenraad De Bosschere TRaDe: Data Race Detection for Java. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Bengt Carlsson, Rune Gustavsson Arms Race within Information Ecosystems. Search on Bibsonomy CIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Bengt Carlsson The Tragedy of the Commons - Arms Race within Peer-to-Peer Tools. Search on Bibsonomy ESAW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Michael B. Feldman An Ada 95 Sort Race Construction Set. Search on Bibsonomy Ada-Europe The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Concurrent Programming, Ada 95, Algorithm Animation
48Carole M. McNamee, Ronald A. Olsson Comments on "Critical Races in Ada Programs''. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Ada rendezvous mechanism, critical race problem, critical race-free programs, Ada, semantics, programming
48Enes Göktas, Elias Athanasopoulos, Herbert Bos, Georgios Portokalidis Evaluating control-flow restricting defenses. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Mathias Payer How memory safety violations enable exploitation of programs. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Yier Jin, Dean Sullivan, Orlando Arias, Ahmad-Reza Sadeghi, Lucas Davi Hardware control flow integrity. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Bart Coppens 0001, Bjorn De Sutter, Stijn Volckaert Multi-variant execution environments. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Stephen Crane, Andrei Homescu, Per Larsen, Hamed Okhravi, Michael Franz Diversity and information leaks. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Felix Schuster, Thorsten Holz Attacking dynamic code. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Gang Tan, Ben Niu 0007 Protecting dynamic code. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
48Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar 0001, Dawn Song Code-pointer integrity. Search on Bibsonomy The Continuing Arms Race The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
46Gilles Pokam, Cristiano Pereira, Klaus Danne, Rolf Kassa, Ali-Reza Adl-Tabatabai Architecting a chunk-based memory race recorder in modern CMPs. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF memory race recorder, determinism, deterministic replay
46Mayur Naik, Alex Aiken, John Whaley Effective static race detection for Java. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static race detection, Java, concurrency, synchronization, multi-threading
46Paul 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
46Prem Uppuluri, Uday Joshi, Arnab Ray Preventing race condition attacks on file-systems. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF security, race conditions, system calls
46Yuan Yu, Tom Rodeheffer, Wei Chen RaceTrack: efficient detection of data race conditions via adaptive tracking. Search on Bibsonomy SOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF virtual machine instrumentation, race detection
46Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar Race checking by context inference. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software model checking, race conditions
46Dawson R. Engler, Ken Ashcraft RacerX: effective, static detection of race conditions and deadlocks. Search on Bibsonomy SOSP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF deadlock detection, race detection, program checking
46Eli 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
46Bradley C. Kuszmaul The RACE network architecture. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF RACE network architecture, high-performance parallel interconnection network, 6-port switches, preemptable circuit switched strategy, self-regulating circuit, output delay, performance evaluation, real-time systems, parallel architectures, mesh, real-time constraints, Clos network, fat-tree, parallel computer system
44Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner Dataflow analysis for concurrent programs using datarace detection. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF locksets, interprocedural analysis, multithreaded programs, summaries
42Cormac Flanagan, Shaz Qadeer A type and effect system for atomicity. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multithreading, atomicity, race conditions, static checking
42Christopher A. Rouff, James L. Rash, Michael G. Hinchey Experience Using Formal Methods for Specifying a Multi-Agent System. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
40Race in H. C. I. Collective, Angela D. R. Smith, Adriana Alvarado Garcia, Ian Arawjo, Audrey Bennett, Khalia Braswell, Bryan Dosono, Ron Eglash, Denae Ford, Daniel L. Gardner, Shamika Goddard, Jaye Nias, Cale J. Passmore, Yolanda A. Rankin, Naba Rizvi, Carol F. Scott, Jakita Thomas, Alexandra To, Ihudiya Finda Ogbonnaya-Ogburu, Marisol Wong-Villacres Keepin' it real about race in HCI. Search on Bibsonomy Interactions The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Yifeng Zhu, Hong Jiang 0001 RACE: A Robust Adaptive Caching Strategy for Buffer Cache. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Buffering, Main memory, Input/output
39Chao Wang 0001, Yu Yang 0013, Aarti Gupta, Ganesh Gopalakrishnan Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Nicolas Blanc, Daniel Kroening Race analysis for SystemC using model checking. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Prasanna Balaprakash, Mauro Birattari, Thomas Stützle Improvement Strategies for the F-Race Algorithm: Sampling Design and Iterative Refinement. Search on Bibsonomy Hybrid Metaheuristics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Pin 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
39Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede Design with race-free hardware semantics. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Patrick Schaumont, Sandeep K. Shukla, Ingrid Verbauwhede Extended abstract: a race-free hardware modeling language. Search on Bibsonomy MEMOCODE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Mi-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
39Lijun Yin 0001, Jingrong Jia, Joseph P. Morrissey Towards Race-Related Face Identification: Research On Skin Color Transfer. Search on Bibsonomy FGR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Mahesh A. Iyer Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation. Search on Bibsonomy ITC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39David Butler, Vishy Karri Race Car Chassis Tuning Using Artificial Neural Networks. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo A Practical Method for On-the-Fly Data Race Detection. Search on Bibsonomy PARA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Young-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
39Anton Beranek Data Race Detection Based on Replay for Parallel Applications. Search on Bibsonomy CONPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
39Stanislav Polonsky, Moyra K. McManus, Daniel R. Knebel, Steve Steen, Pia N. Sanda Non-invasive timing analysis of IBM G6 microprocessor L1 cache using picosecond imaging circuit analysis. Search on Bibsonomy Asian Test Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF imaging circuit analysis, IBM G6 microprocessor, non-invasive backside timing, Picosecond Imaging Circuit Analysis, waveform extraction, integrated circuit testing, timing analysis, race condition, circuit switching, integrated memory circuits, hazards and race conditions, L1 cache
39Hong-Yean Hsieh, Wentai Liu, Ralph K. Cavin III, C. Thomas Gray Concurrent timing optimization of latch-based digital systems. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concurrent timing optimization, latch-based digital systems, digital system timing, intentional clock skew, latch-based designed systems, multi-phase clocking, resynchronization, latches insertion, optimisation, timing, logic design, flip-flops, retiming, mixed integer linear program, race conditions, integrated framework, wave pipelining, hazards and race conditions, clock period
37Vineet Kahlon, Nishant Sinha 0001, Erik Kruus, Yun Zhang Static data race detection for concurrent programs with asynchronous calls. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF asynchronous programs, static data race detection, bootstrapping, pointer analysis
37Yao Qi, Raja Das, Zhi Da Luo, Martin Trotter MulticoreSDK: a practical and efficient data race detector for real-world applications. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrent program analysis, multicore platform, data race detection
37Jan 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
37Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen A theory of data race detection. Search on Bibsonomy PADTAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF access conflict, synchronization, dependence, thread, data race, vector clock, happens-before
37Min Xu, Mark D. Hill, Rastislav Bodík A regulated transitive reduction (RTR) for longer memory race recording. Search on Bibsonomy ASPLOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF race recording, multithreading, determinism
37Kyung-suk Lhee, Steve J. Chapin Detection of file-based race conditions. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Time-of-check-to-time-of-use (TOCTTOU) flaws, Security, Race condition
37Robert O'Callahan, Jong-Deok Choi Hybrid dynamic data race detection. Search on Bibsonomy PPoPP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dynamic race detection, lockset hybrid, Java, happens-before
37Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson Eraser: A Dynamic Data Race Detector for Multithreaded Programs. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF binary code modification, race detection, multithreaded programming
37Thomas H. Einstein Mercury Computer Systems' modular heterogeneous RACE(R) multicomputer. Search on Bibsonomy Heterogeneous Computing Workshop The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Mercury Computer Systems, modular heterogeneous RACE multicomputer, heterogeneous multicomputer, Analog Devices, SHARC 21060, Apple PowerPC 603p, optimal processor, physical processing density, heterogeneity, distributed memory systems, programmability, IBM, hardware cost, Motorola
35Michael 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
35Xiang 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
Displaying result #1 - #100 of 2440 (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