Sciweavers

12707 search results - page 169 / 2542
» A Distributed Arc-Consistency Algorithm
Sort
View
CONCUR
2005
Springer
16 years 20 hour ago
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
Franck Cassez, Alexandre David, Emmanuel Fleury, K...
SRDS
2006
IEEE
16 years 15 days ago
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
Edward Curley, Jonathan Stephen Anderson, Binoy Ra...
EUC
2007
Springer
16 years 20 days ago
Assured-Timeliness Integrity Protocols for Distributable Real-Time Threads with in Dynamic Distributed Systems
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
Binoy Ravindran, Edward Curley, Jonathan Stephen A...