Search Sciweavers | Sciweavers

416 search results - page 10 / 84

» Filtering, FDR and power

click to vote

IFM
2005
Springer

100views Formal Methods» more IFM 2005»

Embedding the Stable Failures Model of CSP in PVS

14 years 1 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 »

click to vote

ICCD
2004
IEEE

89views Hardware» more ICCD 2004»

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

14 years 4 months ago

Download iccd.et.tudelft.nl

Dongku Kang, Hunsoo Choo, Kaushik Roy

claim paper

Read More »

click to vote

ISLPED
2009
ACM

134views Hardware» more ISLPED 2009»

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

14 years 2 months ago

Download www.eecs.harvard.edu

Michael J. Lyons, David Brooks

claim paper

Read More »

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

14 years 1 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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers