Sciweavers

1404 search results - page 22 / 281
» A C to Hardware Software Compiler
Sort
View
FPGA
2010
ACM
232views FPGA» more  FPGA 2010»
13 years 10 months ago
High-throughput bayesian computing machine with reconfigurable hardware
We use reconfigurable hardware to construct a high throughput Bayesian computing machine (BCM) capable of evaluating probabilistic networks with arbitrary DAG (directed acyclic gr...
Mingjie Lin, Ilia Lebedev, John Wawrzynek
ICCAD
2000
IEEE
69views Hardware» more  ICCAD 2000»
14 years 2 months ago
Observability Analysis of Embedded Software for Coverage-Directed Validation
José C. Costa, Srinivas Devadas, José...
ECBS
2009
IEEE
109views Hardware» more  ECBS 2009»
14 years 4 months ago
Automating Hardware and Software Evolution Analysis
Brian Dougherty, Jules White, Chris Thompson, Doug...
BIRTHDAY
2007
Springer
14 years 4 months ago
A Denotational Semantics for Handel-C
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
Andrew Butterfield
DATE
1999
IEEE
105views Hardware» more  DATE 1999»
14 years 2 months ago
Identification and Exploitation of Symmetries in DSP Algorithms
In many algorithms, particularly those in the DSP domain, certain forms of symmetry can be observed. To efficiently implement such algorithms, it is often possible to exploit thes...
C. A. J. van Eijk, E. T. A. F. Jacobs, Bart Mesman...