655 search results - page 113 / 131 » Coinduction in Concurrent Timed Systems |
DAC
2007
ACM
15 years 1 months ago
2007
ACM
The number of features that are supported in modern multimedia devices is increasing faster than ever. Estimating the performance of such applications when they are running on sha...
ISCA
2008
IEEE
14 years 10 months ago
2008
IEEE
There is an increasing need for new Web server architectures that are application-centric, simple, small, and pervasive in nature. In this paper, we present a novel architecture f...
101
click to vote
VLSI
2010
Springer
14 years 4 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
157
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...
ECRTS
2006
IEEE
15 years 4 months ago
2006
IEEE
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...