573 search results - page 30 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
PPOPP
2006
ACM
15 years 4 months ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
102
click to vote
HYBRID
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...
133
click to vote
AINA
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we propose a personal navigation system (called PNS) which navigates a tourist through multiple destinations efficiently. In our PNS, a tourist can specify multiple...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...
ICTAI
1996
IEEE
15 years 2 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...