6020 search results - page 1025 / 1204 » A New Approach to Model Counting |
201
click to vote
NANONET
2009
Springer
15 years 11 months ago
2009
Springer
3D stacked chips have become a promising integration technology for modern systems. The complexity reached in multi-processor systems has increased the communication delays between...
169
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We approach the problem of stylistic motion synthesis by learning motion patterns from a highly varied set of motion capture sequences. Each sequence may have a distinct choreogra...
149
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
147
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...
149
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...