8 search results - page 1 / 2 » memocode 2008 |
145
click to vote
MEMOCODE
2008
IEEE
15 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...
115
Voted
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
137
click to vote
MEMOCODE
2008
IEEE
15 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...
139
Voted
MEMOCODE
2008
IEEE
15 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...
155
Voted
MEMOCODE
2008
IEEE
15 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...