Sciweavers

5414 search results - page 130 / 1083
» Data representation synthesis
Sort
View
CSFW
2009
IEEE
15 years 8 months ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...
ASPDAC
2008
ACM
108views Hardware» more  ASPDAC 2008»
15 years 6 months ago
Synthesis and design of parameter extractors for low-power pre-computation-based content-addressable memory using gate-block sel
Content addressable memory (CAM) is frequently used in applications, such as lookup tables, databases, associative computing, and networking, that require high-speed searches due t...
Jui-Yuan Hsieh, Shanq-Jang Ruan
DAC
1998
ACM
15 years 8 months ago
Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions
We present a technique for synthesizing power- as well as area-optimized circuits from hierarchical data flow graphs under throughput constraints. We allow for the use of complex...
Ganesh Lakshminarayana, Niraj K. Jha
ICMLA
2009
15 years 1 months ago
Mahalanobis Distance Based Non-negative Sparse Representation for Face Recognition
Sparse representation for machine learning has been exploited in past years. Several sparse representation based classification algorithms have been developed for some application...
Yangfeng Ji, Tong Lin, Hongbin Zha
FPGA
2009
ACM
180views FPGA» more  FPGA 2009»
15 years 10 months ago
Scalable don't-care-based logic optimization and resynthesis
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...
Alan Mishchenko, Robert K. Brayton, Jie-Hong Rolan...