4666 search results - page 756 / 934 » Equations on Timed Languages |
117
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
In this paper, we evaluate an adaptive loop parallelization strategy (i.e., a strategy that allows each loop nest to execute using different number of processors if doing so is be...
111
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
122
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Scratch-pad memories (SPMs) enable fast access to time-critical data. While prior research studied both static and dynamic SPM management strategies, not being able to keep all ho...
138
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
The problem of choosing fast implementations for a class of recursive algorithms such as the fast Fourier transforms can be formulated as an optimization problem over the language...
114
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...