5064 search results - page 161 / 1013 » Recent Developments in Gridsolve |
160
click to vote
ISORC
2008
IEEE
16 years 13 days 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 (...
157
click to vote
IV
2008
IEEE
16 years 13 days 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 ‘...
159
click to vote
LICS
2008
IEEE
16 years 13 days 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...
166
click to vote
SECURWARE
2008
IEEE
16 years 13 days 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...
168
click to vote
SECURWARE
2008
IEEE
16 years 13 days 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...