1291 search results - page 173 / 259 » Arithmetic program paths |
123
Voted
POPL
2012
ACM
13 years 8 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
16 years 2 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...
93
Voted
ICSE
2004
IEEE-ACM
16 years 23 days 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...
109
click to vote
DCC
2008
IEEE
16 years 8 days 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...
101
Voted
EUROGRAPHICS
2010
Eurographics
15 years 9 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...