1310 search results - page 82 / 262 » Parameterized Partial Evaluation |
161
click to vote
FPL
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
134
click to vote
WSC
2007
15 years 8 months ago
2007
We describe the analysis of a discrete event simulation model of tuberculosis (TB) and HIV disease, parameterized to describe the dual epidemics in Harare, Zimbabwe. The HIV epide...
143
click to vote
APPINF
2003
15 years 7 months ago
2003
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...
163
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
We introduce the Spherical Admixture Model (SAM), a Bayesian topic model for arbitrary 2 normalized data. SAM maintains the same hierarchical structure as Latent Dirichlet Allocat...
158
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...