Sciweavers

11381 search results - page 206 / 2277
» Connectivity
Sort
View
PADS
2004
ACM
15 years 9 months ago
Time Warp -- Connection Oriented
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
Nasser Kalantery
PLDI
2004
ACM
15 years 9 months ago
The set constraint/CFL reachability connection in practice
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new redu...
John Kodumal, Alexander Aiken