Sciweavers

120 search results - page 14 / 24
» Measures for Benchmarking of Automatic Correspondence Algori...
Sort
View
ISVLSI
2007
IEEE
151views VLSI» more  ISVLSI 2007»
14 years 1 months ago
Design of a MCML Gate Library Applying Multiobjective Optimization
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
Roberto Pereira-Arroyo, Pablo Alvarado-Moya, Wolfg...
IBPRIA
2005
Springer
14 years 1 months ago
Discriminative Face Recognition Through Gabor Responses and Sketch Distortion
We present an inherently discriminative approach to face recognition. This is achieved by automatically selecting key points from lines that sketch the face and extracting textural...
Daniel González-Jiménez, José...
FMCAD
2000
Springer
13 years 11 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
IEEEPACT
2008
IEEE
14 years 2 months ago
A tuning framework for software-managed memory hierarchies
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
Manman Ren, Ji Young Park, Mike Houston, Alex Aike...
IWMM
2000
Springer
84views Hardware» more  IWMM 2000»
13 years 11 months ago
Designing a Trace Format for Heap Allocation Events
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
Trishul M. Chilimbi, Richard E. Jones, Benjamin G....