2774 search results - page 220 / 555 » Query-Driven Program Testing |
122
Voted
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
158
click to vote
CGVR
2008
15 years 4 months ago
2008
- In this paper, we describe a 3D modeling program called RMBL3D, Realistic Maps Built like Legos, which manipulates the architectural repetition in building structures to produce ...
171
click to vote
SOFTVIS
2010
ACM
15 years 1 months ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
127
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
142
click to vote
DAC
2011
ACM
14 years 3 months ago
2011
ACM
Flash memory is quickly becoming a common component in computer systems ranging from music players to mission-critical server systems. As flash plays a more important role, data ...