2257 search results - page 21 / 452 » Secure program partitioning |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The existing techniques for shot partitioning either process each shot boundary independently or proceed sequentially. The sequential process assumes the last shot boundary is cor...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
SAFECOMP
2007
Springer
14 years 2 months ago
2007
Springer
In present-day electronic systems, application subsystems from different vendors and with different criticality levels are integrated within the same hardware. Hence, encapsulati...
CP
2006
Springer
14 years 11 days ago
2006
Springer
We consider probabilistic constrained linear programs with general distributions for the uncertain parameters. These problems generally involve non-convex feasible sets. We develo...
ICS
2007
Tsinghua U.
14 years 2 months ago
2007
Tsinghua U.
This paper presents Cooperative Cache Partitioning (CCP) to allocate cache resources among threads concurrently running on CMPs. Unlike cache partitioning schemes that use a singl...