5448 search results - page 93 / 1090 » Breakpoints and Time in Distributed Computations |
137
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, SIMD and MIMD solutions for the realtime database management problem of air traffic control are compared. A real-time database system is highly constrained in a mul...
135
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
146
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
- Monitoring and controlling a large number of geographically distributed scientific instruments is a challenging task. Some operations on these instruments require real-time (or q...
108
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
133
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, an efficient VLSI architecture for a fast computation of the 2-D discrete wavelet transform (DWT) is proposed. The architecture employing a three-stage cascade in p...