163 search results - page 2 / 33 » Safety Guarantees from Explicit Resource Management |
169
click to vote
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
The Web browser has become the dominant interface to a broad range of applications, including online banking, Web-based email, digital media delivery, gaming, and ecommerce servic...
172
click to vote
ECRTS
2002
IEEE
15 years 10 months ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...
227
click to vote
POPL
2001
ACM
16 years 5 months ago
2001
ACM
By combining existing type systems with standard typebased compilation techniques, we describe how to write strongly typed programs that include a function that acts as a tracing ...
173
click to vote
AGENTS
1999
Springer
15 years 10 months ago
1999
Springer
We describe the interface between a real-time resource allocation system with an AI planner in order to create fault-tolerant plans that are guaranteed to execute in hard real-tim...
152
click to vote
SCP
2008
15 years 5 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...