Sciweavers

3902 search results - page 66 / 781
» Hardware Synthesis from C C Models
Sort
View
112
Voted
CAV
2003
Springer
124views Hardware» more  CAV 2003»
15 years 8 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
149
Voted
CODES
2009
IEEE
15 years 7 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
167
Voted
FPL
2007
Springer
124views Hardware» more  FPL 2007»
15 years 9 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...