Sciweavers

2945 search results - page 453 / 589
» Designing and Implementing Malicious Hardware
Sort
View
MICRO
2000
IEEE
80views Hardware» more  MICRO 2000»
15 years 10 months ago
Silent stores for free
Silent store instructions write values that exactly match the values that are already stored at the memory address that is being written. A recent study reveals that significant ...
Kevin M. Lepak, Mikko H. Lipasti
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
15 years 10 months ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
CPE
2000
Springer
292views Hardware» more  CPE 2000»
15 years 10 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
ISLPED
1999
ACM
236views Hardware» more  ISLPED 1999»
15 years 10 months ago
Modeling and automating selection of guarding techniques for datapath elements
While guarded evaluation has proven an effective energy saving technique in arithmetic circuits, good methodologies do not exist for determining when and how to guard for maximal ...
William E. Dougherty, Donald E. Thomas
ICCAD
1999
IEEE
125views Hardware» more  ICCAD 1999»
15 years 10 months ago
Direct synthesis of timed asynchronous circuits
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
Sung Tae Jung, Chris J. Myers