Sciweavers

4124 search results - page 557 / 825
» Improved Algorithms for Data Migration
Sort
View
VLSID
2004
IEEE
119views VLSI» more  VLSID 2004»
16 years 7 months ago
Bridge Over Troubled Wrappers: Automated Interface Synthesis
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...
Vijay D'Silva, S. Ramesh, Arcot Sowmya
SOFSEM
2009
Springer
16 years 3 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
ASIACRYPT
2009
Springer
16 years 1 months ago
Secure Two-Party Computation Is Practical
Abstract. Secure multi-party computation has been considered by the cryptographic community for a number of years. Until recently it has been a purely theoretical area, with few im...
Benny Pinkas, Thomas Schneider, Nigel P. Smart, St...
COST
2009
Springer
179views Multimedia» more  COST 2009»
16 years 1 months ago
Illumination Invariant Face Recognition by Non-Local Smoothing
Abstract. Existing face recognition techniques struggle with their performance when identities have to be determined (recognized) based on image data captured under challenging ill...
Vitomir Struc, Nikola Pavesic
APLAS
2009
ACM
16 years 1 months ago
A Short Cut to Optimal Sequences
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
Akimasa Morihata