1448 search results - page 176 / 290 » From Requirements to Code Revisited |
151
click to vote
CAV
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
134
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Dynamic information flow tracking is a hardware mechanism to protect programs against malicious attacks by identifying spurious information flows and restricting the usage of sp...
144
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...
139
click to vote
3DIM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new system for acquiring complete 3D surface models using a single structured light projector, a pair of planar mirrors, and one or more synchronized cameras...
132
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
In conventional superscalar microarchitectures with partitioned integer and floating-point resources, all floating-point resources are idle during execution of integer programs....