4719 search results - page 164 / 944 » Newtonian program analysis |
108
click to vote
JSS
2007
15 years 4 months ago
2007
Objective: Comparison of program defects caused by programmer pairs and solo developers. Design: Analysis of programs developed during two counter balanced experiments. Setting: P...
162
click to vote
ASIAN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
171
click to vote
IWMM
2011
Springer
14 years 7 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
133
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
152
click to vote
PPOPP
2011
ACM
14 years 7 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...