8 search results - page 1 / 2 » memocode 2008 |
MEMOCODE
2008
IEEE
13 years 10 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
13 years 10 months ago
2008
IEEE
MEMOCODE
2008
IEEE
13 years 10 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
13 years 10 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
13 years 10 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...