4520 search results - page 379 / 904 » Algebraic Techniques for Timed Systems |
201
click to vote
ICPADS
2006
IEEE
16 years 1 months ago
2006
IEEE
Multi-cluster schedulers can dramatically improve average job turn-around time performance by making use of fragmented node resources available throughout the grid. By carefully m...
218
click to vote
JOLLI
2002
15 years 7 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
150
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
We consider the problem of optimizing the performance of a latency-insensitive system (LIS) where the addition of backpressure has caused throughput degradation. Previous works ha...
313
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Recent work on querying data streams has focused on systems where newly arriving data is processed and continuously streamed to the user in real time. In many emerging applications...
256
click to vote
IPPS
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we present the design and implementation of a distributed sensor network application for embedded, isolated-word, real-time speech recognition. In our system design...