Sciweavers

209 search results - page 25 / 42
» Decomposable Constraints
Sort
View
ICIP
2008
IEEE
14 years 9 months ago
Sparse orthonormal transforms for image compression
We propose a block-based transform optimization and associated image compression technique that exploits regularity along directional image singularities. Unlike established work,...
Osman Gokhan Sezer, Oztan Harmanci, Onur G. Gulery...
SIGSOFT
2005
ACM
14 years 8 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
ISBI
2008
IEEE
14 years 8 months ago
Analysis and mitigation of calcium artifacts in cardiac multidetector CT
Multi-detector Computed Tomography offers the promise of a non-invasive alternative to invasive coronary angiography for the evaluation of coronary artery disease. An impediment p...
Zhuangli Liang, W. Clem Karl, Synho Do, Thomas Bra...
ICCAD
2006
IEEE
130views Hardware» more  ICCAD 2006»
14 years 4 months ago
On bounding the delay of a critical path
Process variations cause different behavior of timingdependent effects across different chips. In this work, we analyze one example of timing-dependent effects, crosscoupling ...
Leonard Lee, Li-C. Wang
ICESS
2007
Springer
14 years 1 months ago
A Design Method for Heterogeneous Adders
The performance of existing adders varies widely in their speed and area requirements, which in turn sometimes makes designers pay a high cost in area especially when the delay req...
Jeong-Gun Lee, Jeong-A. Lee, Byeong-Seok Lee, Milo...