161 search results - page 31 / 33 » Automated atomicity-violation fixing |
128
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
As technology advances, the metal width is decreasing with the length increasing, making the resistance along the power line increase substantially. Together with the nonlinear sc...
133
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Windows Error Reporting (WER) is a distributed system that automates the processing of error reports coming from an installed base of a billion machines. WER has collected billion...
130
click to vote
ISQED
2006
IEEE
15 years 10 months ago
2006
IEEE
Design for Manufacturability (DFM) is becoming increasingly important as process geometries shrink. Conventional design rule pass/fail is not adequate to quantify DFM compliance. ...
169
click to vote
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
129
click to vote
EMSOFT
2008
Springer
15 years 6 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...