2249 search results - page 424 / 450 » ILP-based engineering change |
147
Voted
ICFP
2005
ACM
16 years 2 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...
139
Voted
POPL
2010
ACM
16 years 4 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
130
Voted
SDM
2009
SIAM
15 years 12 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...
114
Voted
ICWS
2009
IEEE
15 years 12 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
103
Voted
EUROSYS
2009
ACM
15 years 12 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...