Sciweavers

2887 search results - page 128 / 578
» Name Generation and Linearity
Sort
View
DATE
2009
IEEE
106views Hardware» more  DATE 2009»
16 years 1 months ago
Generation of compact test sets with high defect coverage
Abstract-Multi-detect (N-detect) testing suffers from the drawback that its test length grows linearly with N. We present a new method to generate compact test sets that provide hi...
Xrysovalantis Kavousianos, Krishnendu Chakrabarty
ICSEA
2007
IEEE
16 years 22 days ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
ICCS
2005
Springer
15 years 12 months ago
Generating Parallel Algorithms for Cluster and Grid Computing
We revisit and use the dependence transformation method to generate parallel algorithms suitable for cluster and grid computing. We illustrate this method in two applications: to o...
Ulisses Kendi Hayashida, Kunio Okuda, Jairo Panett...
CAD
2000
Springer
15 years 6 months ago
Automatic generation of system-level dynamic equations for mechatronic systems
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
Antonio Diaz-Calderon, Christiaan J. J. Paredis, P...
TSD
2007
Springer
16 years 16 days ago
Logic-Based Rhetorical Structuring for Natural Language Generation in Human-Computer Dialogue
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
Vladimir Popescu, Jean Caelen, Corneliu Burileanu