Sciweavers

3902 search results - page 66 / 781
» Hardware Synthesis from C C Models
Sort
View
CAV
2003
Springer
124views Hardware» more  CAV 2003»
14 years 2 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
CODES
2009
IEEE
14 years 1 months ago
Building heterogeneous reconfigurable systems with a hardware microkernel
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
Jason Agron, David L. Andrews
FPL
2007
Springer
124views Hardware» more  FPL 2007»
14 years 3 months ago
A Quantitative Prediction Model for Hardware/Software Partitioning
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
Roel Meeuws, Yana Yankova, Koen Bertels, Georgi Ga...