Search Sciweavers | Sciweavers

416 search results - page 10 / 84

» Filtering, FDR and power

154

click to vote

IFM
2005
Springer

100views Formal Methods» more IFM 2005»

Embedding the Stable Failures Model of CSP in PVS

15 years 10 months ago

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

We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...

Kun Wei, James Heather

claim paper

Read More »

104

click to vote

ICCD
2004
IEEE

89views Hardware» more ICCD 2004»

Floorplan-Aware Low-Complexity Digital Filter Synthesis for Low-Power & High-Speed

16 years 1 months ago

Download iccd.et.tudelft.nl

Dongku Kang, Hunsoo Choo, Kaushik Roy

claim paper

Read More »

102

click to vote

ISLPED
2009
ACM

134views Hardware» more ISLPED 2009»

The design of a bloom filter hardware accelerator for ultra low power systems

15 years 11 months ago

Download www.eecs.harvard.edu

Michael J. Lyons, David Brooks

claim paper

Read More »

104

click to vote

IPCCC
2007
IEEE

103views Communications» more IPCCC 2007»

A Power Management Proxy with a New Best-of-N Bloom Filter Design to Reduce False Positives

15 years 10 months ago

Download www.csee.usf.edu

Miguel Jimeno, Kenneth J. Christensen, Allen Rogin...

claim paper

Read More »

click to vote

ISCAS
2007
IEEE

105views Hardware» more ISCAS 2007»

A Low Power Sinc3 Filter for Sigma-Delta Modulators

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers