783 search results - page 112 / 157 » The Bio-PEPA Tool Suite |
ISQED
2002
IEEE
14 years 1 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
WMTE
2002
IEEE
14 years 1 months ago
2002
IEEE
The use of computer simulations is changing the nature of scientific investigation and providing us unique insights into the way that the world works. As simulation moves from the...
CDC
2009
IEEE
14 years 27 days ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
CA
2000
IEEE
14 years 18 days ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...