Sciweavers

1030 search results - page 4 / 206
» Happenings
Sort
View
IPPS
2002
IEEE
14 years 10 days ago
Detecting Temporal Logic Predicates on the Happened-Before Model
Detection of a global predicate is a fundamental problem in distributed computing. In this paper we describe new predicate detection algorithms for certain temporal logic predicat...
Alper Sen, Vijay K. Garg
DARPA
2009
Springer
117views Robotics» more  DARPA 2009»
14 years 1 days ago
The MIT - Cornell Collision and Why It Happened
Luke Fletcher, Seth J. Teller, Edwin Olson, David ...
NDSS
1998
IEEE
13 years 11 months ago
What Will Probably Happen
Dan McDonald