8 search results - page 1 / 2 » memocode 2008 |
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
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...
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
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...
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
MEMOCODE
2008
IEEE
14 years 4 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...