1901 search results - page 7 / 381 » Predicting Program Properties from |
96
Voted
AAAI
2000
15 years 3 months ago
2000
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
144
click to vote
ISSRE
2010
IEEE
15 years 23 days ago
2010
IEEE
—Coupling in software applications is often used as an indicator of external quality attributes such as fault-proneness. In fact, the correlation of coupling metrics and faults i...
120
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
176
Voted
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
107
click to vote
SIGGRAPH
1998
ACM
15 years 6 months ago
1998
ACM
In this paper, we present a new approach to producing photorealistic computer renderings of real architectural scenes under novel lighting conditions, such as at different times o...