5550 search results - page 953 / 1110 » Different Approaches to Proof Systems |
162
click to vote
INFOCOM
2005
IEEE
16 years 5 days ago
2005
IEEE
— We present SPIDER – a system for fast replication or distribution of large content from a single source to multiple sites interconnected over Internet or via a private networ...
168
click to vote
INFOVIS
2005
IEEE
16 years 5 days ago
2005
IEEE
The paper describes a novel technique to visualize graphs with extended node and link labels. The lengths of these labels range from a short phrase to a full sentence to an entire...
186
click to vote
RTAS
2005
IEEE
16 years 5 days ago
2005
IEEE
We consider the problem of energy minimization for periodic preemptive hard real-time tasks that are scheduled on an identical multiprocessor platform with dynamic voltage scaling...
171
click to vote
RTSS
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
180
click to vote
VL
2005
IEEE
16 years 5 days ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...