34199 search results - page 6715 / 6840 » Petascale Computational Systems |
196
click to vote
KBSE
2005
IEEE
16 years 3 hour ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
156
click to vote
MSS
2005
IEEE
16 years 1 hour ago
2005
IEEE
Increasing efforts have been aimed towards the management of power as a critical system resource, and the disk can consume approximately a third of the power required for a typica...
168
click to vote
RTAS
2005
IEEE
16 years 42 min ago
2005
IEEE
Dynamic voltage and frequency scaling is increasingly being used to reduce the energy requirements of embedded and real-time applications by exploiting idle CPU resources, while s...
185
click to vote
RTSS
2005
IEEE
16 years 28 min ago
2005
IEEE
Monitoring network status such as end-to-end delay, jitter, and available bandwidth is important to support QoS-sensitive applications and timely detection of network anomalies li...
173
click to vote
RTSS
2005
IEEE
16 years 26 min ago
2005
IEEE
A novel gradient-ascending stateless routing protocol, called GRASP (GRadient Ascending Stateless Protocol), is proposed for stationary wireless sensor networks. GRASP is built wi...