Search results for "happened-before"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
68	Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim	An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information.	APSEC	1995	DBLP DOI BibTeX RDF	language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
65	Albert Gatt, François Portet	If it may have happened before, it happened, but not necessarily before.	ENLG	2011	DBLP BibTeX RDF
52	Abdullah Muzahid, Darío Suárez Gracia, Shanxiang Qi, Josep Torrellas	SigRace: signature-based data race detection.	ISCA	2009	DBLP DOI BibTeX RDF	SigRace, concurrency defect, signature, timestamp, data race, happened-before
52	David W. Miller, Jinhua Guo, Eileen T. Kraemer, Yin Xiong	On-the-fly calculation and verification of consistent steering transactions.	SC	2001	DBLP DOI BibTeX RDF	consistent cut, consistent steering, consistent transaction, program event, program transaction, steering event, steering transaction, happened before
52	Roberto Baldoni	A Positive Acknowledgment Protocol for Causal Broadcasting.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Causal broadcasting, vector times, happened-before relation, distributed systems, group communication, sliding windows, asynchrony
32	Benedikt Bollig, Marie Fortin, Paul Gastin	It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".	CoRR	2018	DBLP BibTeX RDF
32	Benedikt Bollig, Marie Fortin, Paul Gastin	It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before".	CONCUR	2018	DBLP DOI BibTeX RDF
32	Ido Ben-Zvi, Yoram Moses	Beyond Lamport's Happened-before: On Time Bounds and the Ordering of Events in Distributed Systems.	J. ACM	2014	DBLP DOI BibTeX RDF
32	Saúl E. Pomares Hernández, Jose Roberto Perez Cruz, Michel Raynal	From the Happened-Before Relation to the Causal Ordered Set Abstraction.	J. Parallel Distributed Comput.	2012	DBLP DOI BibTeX RDF
32	Ido Ben-Zvi, Yoram Moses	Beyond Lamport's Happened-Before: On the Role of Time Bounds in Synchronous Systems.	DISC	2010	DBLP DOI BibTeX RDF
32	Alper Sen 0001, Vijay K. Garg	Detecting Temporal Logic Predicates on the Happened-Before Model.	IPDPS	2002	DBLP DOI BibTeX RDF	distributed systems, model checking, temporal logic, CTL, predicate detection
28	Fangli Pu, Hai-Yin Xu	A Feasible Strategy for Reachability Testing of Internet-Based Concurrent Programs.	ICNSC	2008	DBLP DOI BibTeX RDF
28	John A. Trono	Comments on "Tagged Semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
28	Robert H. B. Netzer, Jian Xu	Necessary and Sufficient Conditions for Consistent Global Snapshots.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
25	Lennart Meier, Philipp Blum, Lothar Thiele	Internal synchronization of drift-constraint clocks in ad-hoc sensor networks.	MobiHoc	2004	DBLP DOI BibTeX RDF	sensor networks, delay, time synchronization, clock drift
20	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
14	Christof Ebert	A Brief History of Software Technology.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
14	Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Si Quang Le, Katsuhiko Takabayashi	Exploiting Temporal Relations in Mining Hepatitis Data.	New Gener. Comput.	2007	DBLP DOI BibTeX RDF	Hepatitis Study, Temporal Relations, Temporal Patterns
14	Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Katsuhiko Takabayashi	Temporal Relations Extraction in Mining Hepatitis Data.	PAKDD	2007	DBLP DOI BibTeX RDF
14	Mohamed Mosbah 0001, Rodrigue Ossamy	Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing.	ENC	2004	DBLP DOI BibTeX RDF	distributed programming languages, distributed systems, distributed debugging, local computations, consistent global states, Global predicates detection
14	Curtis E. Hrischuk, C. Murray Woodside	Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	software tracing, event labeling, web services, reverse engineering, debugging, distributed programming, graph grammar, trace analysis, causal order, logical clock
14	Suiping Zhou, Wentong Cai 0001, Stephen John Turner, Francis B. S. Lee	Critical causality in distributed virtual environments.	PADS	2002	DBLP DOI BibTeX RDF	virtual environments, distributed simulation, causality
14	Kay Römer	Time synchronization in ad hoc networks.	MobiHoc	2001	DBLP DOI BibTeX RDF	smart things, spontaneous networking, ad hoc networks, ubiquitous computing, sensor fusion, clock synchronization, time synchronization
14	Vijay K. Garg, Chakarat Skawratananond	String realizers of posets with applications to distributed computing.	PODC	2001	DBLP DOI BibTeX RDF
14	Manuel Alfonseca 0001	Object Oriented Programming (Tutorial).	APL	1990	DBLP DOI BibTeX RDF	APL, C++, Smalltalk
14	Colin J. Fidge	Partial Orders for Parallel Debugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF