20126 search results - page 359 / 4026 » Timed Transition Systems |
154
Voted
SIGCOMM
2010
ACM
15 years 5 months ago
2010
ACM
Energy consumption is a major and costly problem in data centers. A large fraction of this energy goes to powering idle machines that are not doing any useful work. We identify tw...
162
click to vote
ASE
2005
15 years 5 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
184
Voted
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
Efficient task scheduling is essential for obtaining high performance in heterogeneous distributed computing systems (or HeDCSs). Because of its key importance, several scheduling...
159
click to vote
RTSS
2006
IEEE
15 years 11 months ago
2006
IEEE
The simple notion of soft real-time processing has fractured into a spectrum of diverse soft real-time types with a variety of different resource and time constraints. Schedulers ...
141
Voted
ISVLSI
2002
IEEE
15 years 10 months ago
2002
IEEE
An Early Completion technique is developed to significantly increase the throughput of NULL Convention self-timed digital systems without impacting latency or compromising their s...