Sciweavers

1368 search results - page 148 / 274
» Personality-Based Practical Reasoning
Sort
View
WADS
2001
Springer
143views Algorithms» more  WADS 2001»
15 years 7 months ago
An Approach for Mixed Upward Planarization
In this paper, we consider the problem of finding a mixed upward planarization of a mixed graph, i.e., a graph with directed and undirected edges. The problem is a generalization...
Markus Eiglsperger, Michael Kaufmann
COMPSAC
2000
IEEE
15 years 7 months ago
Effort-Index-Based Software Reliability Growth Models and Performance Assessment
In this paper, we first show that the logistic testing-effort function is practically acceptable/helpful for modeling software reliability growth and providing a reasonable descri...
Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu
EUROMICRO
2000
IEEE
15 years 7 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ISSRE
2000
IEEE
15 years 7 months ago
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...
Lionel C. Briand, Bernd G. Freimut, Ferdinand Voll...
ITC
2000
IEEE
91views Hardware» more  ITC 2000»
15 years 7 months ago
A mixed mode BIST scheme based on reseeding of folding counters
In this paper a new scheme for deterministic and mixed mode scan-based BIST is presented. It relies on a new type of test pattern generator which resembles a programmable Johnson ...
Sybille Hellebrand, Hans-Joachim Wunderlich, Huagu...