2726 search results - page 314 / 546 » Application security support in the operating system kernel |
169
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
159
click to vote
CGO
2007
IEEE
16 years 27 days ago
2007
IEEE
Managed runtime environments (MREs) employ garbage collection (GC) for automatic memory management. However, GC induces pressure on the virtual memory (VM) manager, since it may t...
145
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current leadership-class machines suffer from a significant imbalance between their computational power and their I/O bandwidth. While Moore’s law ensures that the computatio...
219
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
178
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Idle desktops have been successfully used to run sequential and master-slave task parallel codes on a large scale in the context of volunteer computing. However, execution of messa...