615 search results - page 42 / 123 » Meta-Programming Techniques for Distributed Real-time and Em... |
131
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
144
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
134
Voted
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
The prominent energy management technique in real-time embedded systems, Dynamic Voltage and Frequency Scaling (DVFS), was recently shown to have direct and adverse effects on sys...
113
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
To achieve better throughput, many hard drive manufacturers use internal queues and scheduling to take advantage of vendor-specific characteristics and knowledge. While this tren...
157
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
Nowadays, systems often integrate a variety of applications whose service requirements are heterogeneous. Consequently, systems must be able to concurrently serve applications whi...