1760 search results - page 289 / 352 » A System to Mark Programs Automatically |
HPCA
2005
IEEE
16 years 3 months ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed on-line systems automatically group these similar intervals of execution in...
114
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
128
Voted
MM
2003
ACM
15 years 7 months ago
2003
ACM
In this paper, we present a system that automates home video editing. This system automatically extracts a set of highlight segments from a set of raw home videos and aligns them ...
139
Voted
CSMR
2002
IEEE
15 years 7 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
118
click to vote
SIGGRAPH
1999
ACM
15 years 7 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...