Sciweavers

4212 search results - page 629 / 843
» On Compressible Pairings and Their Computation
Sort
View
DAC
2006
ACM
16 years 7 months ago
Design automation for DNA self-assembled nanostructures
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
Constantin Pistol, Alvin R. Lebeck, Chris Dwyer
DAC
2006
ACM
16 years 7 months ago
A real time budgeting method for module-level-pipelined bus based system using bus scenarios
In designing bus based systems with parallel and pipelined architecture, it is important to derive a real time budget (a specified execution time limit) for each task of a bus bas...
Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata, Te...
IPMI
1999
Springer
16 years 7 months ago
Continuous Time Dynamic PET Imaging Using List Mode Data
Abstract. We describe a method for computing a continuous time estimate of dynamic changes in tracer density using list mode PET data. The tracer density in each voxel is modeled a...
Thomas E. Nichols, Jinyi Qi, Richard M. Leahy
ECOOP
2009
Springer
16 years 7 months ago
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
Guoqing Xu, Atanas Rountev, Manu Sridharan
CHI
2007
ACM
16 years 7 months ago
Dynamic shared visual spaces: experimenting with automatic camera control in a remote repair task
We present an experimental study of automatic camera control in the performance of collaborative remote repair tasks using video-mediated communication. Twelve pairs of participan...
Abhishek Ranjan, Jeremy P. Birnholtz, Ravin Balakr...