Efficient Monte Carlo-based analog parametric fault modelling

HG Stratigopoulos, S Sunter - 2014 IEEE 32nd VLSI Test …, 2014 - ieeexplore.ieee.org
The accepted approach in industry today to ensure out-going quality in high-volume
manufacturing of analog circuits is to measure datasheet specifications. The lack of a …

Concurrent software testing in practice: a catalog of tools

SM Melo, SRS Souza, RA Silva… - Proceedings of the 6th …, 2015 - dl.acm.org
The testing of concurrent programs is very complex due to the non-determinism present in
those programs. They must be subjected to a systematic testing process that assists in the …

Systematic macrostep debugging of message passing parallel programs

P Kacsuk - Future Generation Computer Systems, 2000 - Elsevier
The paper introduces the concept of collective breakpoints and classifies the possible
parallel breakpoints comparing their mechanisms. Based on the collective breakpoints the …

Efficient replay of pvm programs

M Neyman, M Bukowski, P Kuzora - … : 6th European PVM/MPI Users' Group …, 1999 - Springer
The paper presents a definition of replay of a distributed application as a function of three
parameters: depth, width, and length. It addresses the problem of nondeterminism in …

Suitability of the time controlled environment for race detection in distributed applications

H Krawczyk, B Krysztop, J Proficz - Future Generation Computer Systems, 2000 - Elsevier
The paper considers testing problem of time dependent errors detection in distributed
applications. We determine time conditions for race occurrence and show how to obtain …

The DIWIDE distributed debugger

J Kovács, P Kacsuk - Scalable Computing: Practice and Experience, 2001 - scpe.org
The paper describes the main stages of the development process of the DIWIDE distributed
debugger. After the description of the predecessors of DIWIDE the paper focuses on the …

Systematic debugging of parallel programs based on collective breakpoints

Kacsuk - … International Symposium on Software Engineering for …, 1999 - ieeexplore.ieee.org
Introduces the concept of collective breakpoints and classifies the possible parallel
breakpoints comparing their mechanisms. Based on the collective breakpoints the …

[PDF][PDF] Testable Environments of Distributed Objects.

B Wiszniewski - Computers and artificial intelligence, 2000 - researchgate.net
This paper addresses the issue of remote testing and diagnosis of distributed objects and
their services by introducing the concept of a Testable Environment of Distributed Objects …

Comparison of different approaches to trace PVM program execution

M Neyman - Recent Advances in Parallel Virtual Machine and …, 2000 - Springer
Distributed application suffer from nondeterminism thus may behave in a different way for
subsequent executions with the same input. To be able to ensure determinism of replay the …

[引用][C] APATOE─ a new Approach to Solving Constraints

Ł Garstecki - Proceedings of the 2nd Workshop on Constraint …, 2000