3387 search results - page 304 / 678 » Model-Checking for Real-Time Systems |
228
click to vote
CCGRID
2011
IEEE
14 years 10 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...
204
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Many distribution algorithms have been proposed up to now for P2P real time streaming. However, due to the lack of basic theoretical results and bounds, common sense and intuiti...
199
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
216
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Since wireless ad-hoc networks use shared communication medium, accesses to the medium must be coordinated to avoid packet collisions. Transmission scheduling algorithms allocate ...
199
click to vote
RTAS
2005
IEEE
16 years 25 days 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...