1388 search results - page 202 / 278 » Querying Linguistic Trees |
89
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
79
Voted
CLUSTER
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we present a structure for monitoring a large set of computational clusters. We illustrate methods for scaling a monitor network comprised of many clusters while ke...
96
Voted
SIGMOD
2000
ACM
15 years 5 months ago
2000
ACM
The coming years will witness dramatic advances in wireless communications as well as positioning technologies. As a result, tracking the changing positions of objects capable of ...
108
click to vote
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
We propose a distributed data structure for maintaining spatial data sets on message-passing, distributed memory machines. The data structure is based on orthogonal bisection tree...
91
Voted
WSC
2007
15 years 2 months ago
2007
This paper introduces an application and a methodology to predict future states of a process under real-time requirements. The real-time functionality is achieved by creating a Ba...