655 search results - page 113 / 131 » Coinduction in Concurrent Timed Systems |
114
Voted
DAC
2007
ACM
15 years 7 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...
139
click to vote
ISCA
2008
IEEE
15 years 3 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...
147
click to vote
VLSI
2010
Springer
14 years 10 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...
219
Voted
ASPLOS
2009
ACM
16 years 4 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...
140
click to vote
ECRTS
2006
IEEE
15 years 9 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...