1485 search results - page 180 / 297 » Whole Program Paths |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
ICCV
2007
IEEE
14 years 11 months ago
2007
IEEE
In this paper, we present an interactive offline tracking system for generic color objects. The system achieves 60100 fps on a 320 ? 240 video. The user can therefore easily refin...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Impact analysis -- determining the potential effects of changes on a software system -- plays an important role in software engineering tasks such as maintenance, regression testi...
DCC
2008
IEEE
14 years 8 months ago
2008
IEEE
Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding a me...
EUROGRAPHICS
2010
Eurographics
14 years 6 months ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...