9210 search results - page 118 / 1842 » Analyzing Real-Time Systems |
SIGMOD
1995
ACM
14 years 19 days ago
1995
ACM
Many papers have examined how to e ciently export a materialized view but to our knowledge none have studied how to e ciently import one. To import a view, i.e., to install a stre...
ENTCS
2008
13 years 9 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
AAMAS
1998
Springer
13 years 8 months ago
1998
Springer
Since real-time search provides an attractive framework for resource-bounded problem solving, this paper extends the framework for autonomous agents and for a multiagent world. To ...
TPDS
1998
13 years 8 months ago
1998
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...
ECRTS
2006
IEEE
14 years 3 months ago
2006
IEEE
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...