Sciweavers

626 search results - page 105 / 126
» Correct Composition of Design Components
Sort
View
ICCD
2008
IEEE
120views Hardware» more  ICCD 2008»
14 years 4 months ago
Improved combined binary/decimal fixed-point multipliers
Abstract— Decimal multiplication is important in many commercial applications including banking, tax calculation, currency conversion, and other financial areas. This paper pres...
Brian J. Hickmann, Michael J. Schulte, Mark A. Erl...
DATE
2010
IEEE
147views Hardware» more  DATE 2010»
13 years 10 months ago
Detecting/preventing information leakage on the memory bus due to malicious hardware
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
Abhishek Das, Gokhan Memik, Joseph Zambreno, Alok ...
ANTSW
2010
Springer
13 years 5 months ago
Functional Blueprints: An Approach to Modularity in Grown Systems
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
Jacob Beal
IJBRA
2007
120views more  IJBRA 2007»
13 years 7 months ago
The myGrid ontology: bioinformatics service discovery
: In this paper we explore issues in the development of the my Grid ontology, which is an OWL ontology designed to support service discovery through service annotation. There are c...
Katy Wolstencroft, Pinar Alper, Duncan Hull, Chris...
ECCC
2007
115views more  ECCC 2007»
13 years 7 months ago
A (De)constructive Approach to Program Checking
Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain con...
Shafi Goldwasser, Dan Gutfreund, Alexander Healy, ...