Search Sciweavers | Sciweavers

8581 search results - page 170 / 1717

» Digital Signal Processing

137

click to vote

ISMVL
1994
IEEE

98views Hardware» more ISMVL 1994»

Digital Circuit Verification Using Partially-Ordered State Models

15 years 10 months ago

Download www.cs.cmu.edu

Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...

Carl-Johan H. Seger, Randal E. Bryant

claim paper

Read More »

128

click to vote

DAC
2009
ACM

106views Computer Architecture» more DAC 2009»

Mode grouping for more effective generalized scheduling of dynamic dataflow applications

16 years 7 months ago

Download www.ece.umd.edu

For a number of years, dataflow concepts have provided designers of digital signal processing systems with environments capable of expressing high-level software architectures as ...

William Plishker, Nimish Sane, Shuvra S. Bhattacha...

claim paper

Read More »

159

click to vote

CONCUR
2003
Springer

101views Distributed And Parallel Com...» more CONCUR 2003»

A Compositional Semantic Theory for Synchronous Component-based Design

15 years 11 months ago

Download www-users.cs.york.ac.uk

Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predeﬁned components in signal–ﬂow graphs and by h...

Barry Norton, Gerald Lüttgen, Michael Mendler

claim paper

Read More »

113

click to vote

ICA
2004
Springer

121views Signal Processing» more ICA 2004»

On Shift-Invariant Sparse Coding

15 years 12 months ago

Download www.personal.soton.ac.uk

Thomas Blumensath, Mike E. Davies

claim paper