2257 search results - page 194 / 452 » Secure program partitioning |
85
Voted
COMPSEC
2007
15 years 23 days ago
2007
— Programmers often have access to confidential data that are not strictly needed for program development. Broad priveleges from accounts given to programmers allow them to view...
122
Voted
CJ
2010
14 years 10 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
102
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
87
Voted
ML
2006
ACM
15 years 6 months ago
2006
ACM
Grid computing has become increasingly popular with the growth of the Internet, especially in large-scale scientific computation. Computational Grids are characterized by their s...
117
Voted
ICCD
2007
IEEE
15 years 4 months ago
2007
IEEE
As application-specific instruction set processors (ASIPs) are being increasingly used in mobile embedded systems, the ubiquitous networking connections have exposed these systems...