5064 search results - page 161 / 1013 » Recent Developments in Gridsolve |
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we suggest the ceiling as a new physical surface for information visualization. To provide a design framework for application designers, we present the notion of ‘...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
SECURWARE
2008
IEEE
14 years 4 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
SECURWARE
2008
IEEE
14 years 4 months ago
2008
IEEE
—We present the design of a trusted platform module (TPM) that supports hardware-based virtualization techniques. Our approach enables multiple virtual machines to use the comple...