4507 search results - page 297 / 902 » Generalized Binet dynamics |
166
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
189
click to vote
MM
2005
ACM
16 years 5 days ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
162
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
149
click to vote
AFRIGRAPH
2004
ACM
16 years 1 days ago
2004
ACM
We present a technique for capturing the extreme dynamic range of natural illumination environments that include the sun and sky, which has presented a challenge for traditional h...
187
click to vote
SLIP
2004
ACM
16 years 1 days ago
2004
ACM
Interconnect power is dynamic power dissipation due to switching of interconnection capacitances. This paper describes the characterization of interconnect power in a state-of-the...