Sciweavers

Share
8 search results - page 1 / 2
» memocode 2008
Sort
View
MEMOCODE
2008
IEEE
8 years 9 months ago
MEMOCODE 2008 Co-Design Contest
The second MEMOCODE hardware/software codesign contest invites participants to solve a practical hardware/software codesign problem within the time span of one month. The larger o...
Patrick Schaumont, Krste Asanovic, James C. Hoe
MEMOCODE
2008
IEEE
8 years 9 months ago
H.264 Decoder: A Case Study in Multiple Design Points
Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind...
MEMOCODE
2008
IEEE
8 years 9 months ago
High-throughput Pipelined Mergesort
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
Kermin Fleming, Myron King, Man Cheuk Ng, Asif Kha...
MEMOCODE
2008
IEEE
8 years 9 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
Christophe Jacquet, Frédéric Boulang...
MEMOCODE
2008
IEEE
8 years 9 months ago
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
Radu Mateescu, Emilie Oudot
books