573 search results - page 54 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
MOBISYS
2005
ACM
15 years 9 months ago
2005
ACM
We present the design and implementation of the Horus WLAN location determination system. The design of the Horus system aims at satisfying two goals: high accuracy and low comput...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper presents a class of algorithms suitable for model reduction of distributed systems. Distributed systems are not suitable for treatment by standard model-reduction algor...
PDPTA
2003
14 years 11 months ago
2003
Current systems for managing workload on clusters of workstations, particularly those available for Linux-based (Beowulf) clusters, are typically based on traditional process-base...
133
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
In contrast to classical databases and IR systems, real-world information systems have to deal increasingly with very vague and diverse structures for information management and s...
112
click to vote
ASIAN
2009
Springer
14 years 11 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...