ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
The widespread use of mobile and wireless computing platforms is leading to a growing interest on dependability issues. Several research studies have been conducted on dependabili...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper is on the construction of a fault-tolerant and responsive server subsystem in an application context where the subsystem is accessed through an asynchronous network by ...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
IOLTS
2005
IEEE
14 years 1 months ago
2005
IEEE
With the aggressive scaling of the CMOS technology parametric variation of the transistor threshold voltage causes significant spread in the circuit delay as well as leakage spect...
IOLTS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
IOLTS
2005
IEEE
14 years 1 months ago
2005
IEEE
IOLTS
2005
IEEE
14 years 1 months ago
2005
IEEE
IOLTS
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, an innovative self-checking Reed Solomon encoder architecture is described. The presented architecture exploits some properties of the arithmetic operations in G...