2465 search results - page 294 / 493 » Automata on Linear Orderings |
277
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
In this paper we describe a GPU parallelization of the 3D finite difference computation using CUDA. Data access redundancy is used as the metric to determine the optimal implement...
133
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
A model for movement time for scrolling is developed and verified experimentally. It is hypothesized that the maximum scroll speed is a constant at which the target can be perceiv...
152
click to vote
ICIAP
2007
ACM
16 years 6 months ago
2007
ACM
We address the synchronization of a pair of video sequences captured from moving vehicles and the spatial registration of all the temporally corresponding frames. This is necessar...
181
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents a novel approach to reducing the complexity of the transient linear circuit analysis for a hybrid structured clock network. Topology reduction is first used to...
143
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
— We present a new linear time technique to compute criticality information in a timing graph by dividing it into “zones”. Errors in using tightness probabilities for critica...