283 search results - page 13 / 57 » Memory Resource Management for Real-Time Systems |
RTSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Modern operating systems frequently support applications with a variety of timing constraints including hard real-time, soft real-time, and best-effort. To guarantee performance, ...
RTSS
1994
IEEE
15 years 1 months ago
1994
IEEE
Various concurrency control algorithms di er in the time when con icts are detected, and in the way they are resolved. In that respect, the Pessimistic and Optimistic Concurrency ...
VLSID
2003
IEEE
15 years 9 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
94
Voted
RTCSA
2003
IEEE
15 years 2 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
KESAMSTA
2010
Springer
14 years 7 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...