Sciweavers

2945 search results - page 365 / 589
» Designing and Implementing Malicious Hardware
Sort
View
EUC
2005
Springer
16 years 4 days ago
Ubiquitous Organizational Information Service Framework for Large Scale Intelligent Environments
In this paper, we introduce a concrete, practical Ubiquitous Organizational Information (UOI) service framework, providing novice users intelligent and useful services with respect...
Kwang-il Hwang, Won-Hee Lee, Seok-hwan Kim, Doo Se...
WMPI
2004
ACM
16 years 1 days ago
A low cost, multithreaded processing-in-memory system
This paper discusses die cost vs. performance tradeoffs for a PIM system that could serve as the memory system of a host processor. For an increase of less than twice the cost of ...
Jay B. Brockman, Shyamkumar Thoziyoor, Shannon K. ...
APCSAC
2003
IEEE
15 years 12 months ago
Arithmetic Circuits Combining Residue and Signed-Digit Representations
This paper discusses the use of signed-digit representations in the implementation of fast and efficient residue-arithmetic units. Improvements to existing signed-digit modulo adde...
Anders Lindström, Michael Nordseth, Lars Beng...
162
Voted
ISCAS
2003
IEEE
183views Hardware» more  ISCAS 2003»
15 years 12 months ago
Polyphase IIR filter banks for subband adaptive echo cancellation applications
Polyphase IIR structures are known to be very attractive for very high performance filters that can be designed using very few coefficients. This combined with their reduced sensi...
Artur Krukowski, Izzet Kale
CAV
2003
Springer
107views Hardware» more  CAV 2003»
15 years 12 months ago
Theorem Proving Using Lazy Proof Explication
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B...