Sciweavers

8933 search results - page 1573 / 1787
» Usability over time
Sort
View
DAC
2004
ACM
16 years 8 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
DAC
2005
ACM
16 years 8 months ago
Memory access optimization through combined code scheduling, memory allocation, and array binding in embedded system design
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...
Jungeun Kim, Taewhan Kim
DAC
2006
ACM
16 years 8 months ago
Stochastic variational analysis of large power grids considering intra-die correlations
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...
Praveen Ghanta, Sarma B. K. Vrudhula, Sarvesh Bhar...
MICCAI
2007
Springer
16 years 8 months ago
Ultrasound Myocardial Elastography and Registered 3D Tagged MRI: Quantitative Strain Comparison
Ultrasound Myocardial Elastography (UME) and Tagged Magnetic Resonance Imaging (tMRI) are two imaging modalities that were developed in the recent years to quantitatively estimate ...
Zhen Qian, Wei-Ning Lee, Elisa E. Konofagou, Dimit...
MICCAI
2004
Springer
16 years 8 months ago
Geometric Flows for Segmenting Vasculature in MRI: Theory and Validation
Abstract. Often in neurosurgical planning a dual spin echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumor or lesion....
Maxime Descoteaux, D. Louis Collins, Kaleem Siddiq...
« Prev « First page 1573 / 1787 Last » Next »