1901 search results - page 7 / 381 » Predicting Program Properties from |
AAAI
2000
14 years 12 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...
105
click to vote
ISSRE
2010
IEEE
14 years 9 months 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...
PLDI
2012
ACM
13 years 1 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...
118
click to vote
POPL
2000
ACM
15 years 3 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...
SIGGRAPH
1998
ACM
15 years 2 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...