Sciweavers

3657 search results - page 314 / 732
» A Study of Practical Deduplication
Sort
View
COMPGEOM
1999
ACM
15 years 11 months ago
Empirical Design of Geometric Algorithms
The computer--aidedsolution to algorithmic problemsis becoming moreandmoreimportant in variousapplicationdomains.This is in particular true for computationalgeometry.For example,g...
Karsten Weihe, Ulrik Brandes, Annegret Liebers, Ma...
DATE
1999
IEEE
144views Hardware» more  DATE 1999»
15 years 11 months ago
A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive Tester
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...
ISORC
1999
IEEE
15 years 11 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
FM
1999
Springer
104views Formal Methods» more  FM 1999»
15 years 11 months ago
On Excusable and Inexcusable Failures
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
Markus Müller-Olm, Andreas Wolf
ICIAP
1999
ACM
15 years 11 months ago
Cellular Automata Based Optical Flow Computation for "Just-in-Time" Applications
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...
Giovanni Adorni, Stefano Cagnoni, Monica Mordonini