4507 search results - page 297 / 902 » Generalized Binet dynamics |
182
click to vote
ISSTA
2006
ACM
16 years 1 months 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....
208
click to vote
MM
2005
ACM
16 years 25 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...
183
click to vote
FSTTCS
2005
Springer
16 years 24 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...
168
click to vote
AFRIGRAPH
2004
ACM
16 years 21 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...
200
click to vote
SLIP
2004
ACM
16 years 21 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...