487 search results - page 61 / 98 » Implementation Correctness of a Real-Time Operating System |
ENTCS
2007
13 years 9 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
EMSOFT
2006
Springer
14 years 20 days ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
USENIX
2008
13 years 11 months ago
2008
We propose an approach to remote display systems in which the client predicts the screen update events that the server will send and applies them to the screen immediately, thus e...