1963 search results - page 318 / 393 » How is aliasing used in systems software |
182
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
147
click to vote
HIPEAC
2009
Springer
16 years 14 days ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
169
click to vote
SIGADA
2004
Springer
15 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
183
click to vote
TRIDENTCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we present RUBIQ, a polymorphic ubiquitous network testbed. RUBIQ works on StarBED, which is a network testbed consisting of hundreds of PCs connected to each other. ...
184
click to vote
AIHC
2007
Springer
15 years 12 months ago
2007
Springer
This paper describes an intelligent system that we developed to support affective multimodal human-computer interaction (AMM-HCI) where the user’s actions and emotions are modele...