1388 search results - page 202 / 278 » Querying Linguistic Trees |
152
click to vote
CAV
2005
Springer
15 years 12 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...
147
click to vote
CLUSTER
2003
IEEE
15 years 11 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...
159
click to vote
SIGMOD
2000
ACM
15 years 10 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 ...
173
click to vote
IPPS
1997
IEEE
15 years 10 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...
149
click to vote
WSC
2007
15 years 8 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...