1399 search results - page 73 / 280 » Multi-party Finite Computations |
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...
DEBS
2009
ACM
14 years 4 months ago
2009
ACM
Efficient matching of incoming events to persistent queries is fundamental to event pattern matching, complex event processing, and publish/subscribe systems. Recent processing e...
WDAG
2007
Springer
14 years 4 months ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...