Sciweavers

13 search results - page 1 / 3
» memocode 2010
Sort
View
MEMOCODE
2010
IEEE
13 years 2 months ago
Predictable multithreading of embedded applications using PRET-C
Sidharta Andalam, Partha S. Roop, Alain Girault
MEMOCODE
2010
IEEE
13 years 2 months ago
ATLAS: Automatic Term-level abstraction of RTL designs
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia...
MEMOCODE
2010
IEEE
13 years 2 months ago
FPGA-based combined architecture for stream categorization and intrusion detection
This paper presents a working solution for the MEMOCODE 2010 design contest. The design presented in this paper is implemented in the Xilinx V5LX330 FPGA as a custom circuit. The s...
Sunil Shukla, Rodric Rabbah, Martin Vorbach
MEMOCODE
2010
IEEE
13 years 2 months ago
A regular expression matching using non-deterministic finite automaton
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura
MEMOCODE
2010
IEEE
13 years 2 months ago
Compilation of imperative synchronous programs with refined clocks
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
Mike Gemunde, Jens Brandt, Klaus Schneider