4100 search results - page 642 / 820 » General Linear Cameras |
167
click to vote
ISPD
2003
ACM
16 years 10 days ago
2003
ACM
Previous works on buffer planning are mainly based on fixed die placement. It is necessary to reduce the complexity of computing the feasible buffer insertion sites to integrate t...
258
click to vote
MM
2003
ACM
16 years 10 days ago
2003
ACM
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
186
click to vote
POPL
2003
ACM
16 years 10 days ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
203
click to vote
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
184
Voted
SIGSOFT
2003
ACM
16 years 10 days ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...