Sciweavers

7766 search results - page 121 / 1554
» Testing Nondeterminate Systems
Sort
View
AICCSA
2001
IEEE
83views Hardware» more  AICCSA 2001»
14 years 25 days ago
A Measure for Component Interaction Test Coverage
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
Alan W. Williams, Robert L. Probert
ECRTS
2009
IEEE
13 years 7 months ago
Implementation of a Speedup-Optimal Global EDF Schedulability Test
A recent result in [13] has demonstrated the existence of a sufficient global EDF schedulability test for sporadic task systems that makes the following guarantee: any task system...
Sanjoy K. Baruah, Vincenzo Bonifaci, Alberto March...
RTS
2008
133views more  RTS 2008»
13 years 8 months ago
Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems
Abstract The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for feasibility analysis of a collection of sporadic jobs where ...
Sanjoy K. Baruah, Nathan Fisher
IR
2000
13 years 9 months ago
A Task-Oriented Non-Interactive Evaluation Methodology for Information Retrieval Systems
Past research has identified many different types of relevance in information retrieval (IR). So far, however, most evaluation of IR systems has been through batch experiments cond...
Jane Reid
GECCO
2003
Springer
130views Optimization» more  GECCO 2003»
14 years 2 months ago
Extracting Test Sequences from a Markov Software Usage Model by ACO
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
Karl Doerner, Walter J. Gutjahr