ISCA
2000
IEEE
14 years 1 months ago
2000
IEEE
The microprocessor industry is currently struggling with higher development costs and longer design times that arise from exceedingly complex processors that are pushing the limit...
ISCA
2000
IEEE
14 years 1 months ago
2000
IEEE
The doubling of microprocessor performance every three years has been the result of two factors: more transistors per chip and superlinear scaling of the processor clock with tech...
IOLTS
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we introduce an efficient technique for checkpointing multithreaded applications. Our approach makes use of processes constructed around the ARMOR (Adaptive Reconfi...
IOLTS
2000
IEEE
14 years 1 months ago
2000
IEEE
The combination of higher quality requirements and sensitivity of high performance circuits to delay defects has led to an increasing emphasis on delay testing of VLSI circuits. A...
IOLTS
2000
IEEE
14 years 1 months ago
2000
IEEE
We propose a procedure for self-testing of an FPGA programmed to implement a user-defined function. The procedure is intended to improve the detectability of FPGA delay faults. Th...
ICSM
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract- The size and complexity of hardware and soft
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Complexity arises from many sources – both within and outwith the system. Internal sources include modern hardware, e.g. super-scalar processors, and external sources include th...
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...