Sciweavers

3902 search results - page 88 / 781
» Hardware Synthesis from C C Models
Sort
View
CODES
2004
IEEE
14 years 1 months ago
A novel deadlock avoidance algorithm and its hardware implementation
This paper proposes a novel Deadlock Avoidance Algorithm (DAA) and its hardware implementation, the Deadlock Avoidance Unit (DAU), as an Intellectual Property (IP) core that provi...
Jaehwan Lee, Vincent John Mooney III
CAV
2009
Springer
123views Hardware» more  CAV 2009»
14 years 10 months ago
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ram...
DAC
2008
ACM
14 years 11 months ago
Formal datapath representation and manipulation for implementing DSP transforms
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
Franz Franchetti, James C. Hoe, Markus Püsche...
ICSE
2000
IEEE-ACM
14 years 1 months ago
Bandera: extracting finite-state models from Java source code
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
HICSS
2009
IEEE
106views Biometrics» more  HICSS 2009»
14 years 5 months ago
A Radical Approach to Network-on-Chip Operating Systems
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
Michael Engel, Olaf Spinczyk