Sciweavers

3995 search results - page 672 / 799
» Linearization of hybrid processes
Sort
View
ICCAD
2008
IEEE
125views Hardware» more  ICCAD 2008»
16 years 1 months ago
A succinct memory model for automated design debugging
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
Brian Keng, Hratch Mangassarian, Andreas G. Veneri...
ICCAD
2006
IEEE
125views Hardware» more  ICCAD 2006»
16 years 1 months ago
Leveraging protocol knowledge in slack matching
Stalls, due to mis-matches in communication rates, are a major performance obstacle in pipelined circuits. If the rate of data production is faster than the rate of consumption, t...
Girish Venkataramani, Seth Copen Goldstein
PADL
2010
Springer
16 years 1 months ago
Automating Mathematical Program Transformations
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
Ashish Agarwal, Sooraj Bhat, Alexander Gray, Ignac...
CVPR
2010
IEEE
16 years 24 days ago
Increasing depth resolution of Electron Microscopy of Neural circuits using Sparse Tomographic reconstruction
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
Ashok Veeraraghavan, Alex Genkin, Shiv Vitaladevun...
CVPR
2010
IEEE
16 years 14 days ago
Efficiently Selecting Regions for Scene Understanding
Recent advances in scene understanding and related tasks have highlighted the importance of using regions to reason about high-level scene structure. Typically, the regions are ...
M. Pawan Kumar, Daphne Koller