Sciweavers

7393 search results - page 1146 / 1479
» Synthesis-for-testability using transformations
Sort
View
DB
2008
107views more  DB 2008»
15 years 4 months ago
Introducing function extraction into software testing
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevn...
EJC
2008
15 years 4 months ago
Eriksson's numbers game and finite Coxeter groups
The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to i...
Robert G. Donnelly
ANOR
2006
100views more  ANOR 2006»
15 years 4 months ago
A BMAP/G/1 Retrial Queue with a Server Subject to Breakdowns and Repairs
In this paper, we consider a BMAP/G/1 retrial queue with a server subject to breakdowns and repairs, where the life time of the server is exponential and the repair time is general...
Quan-Lin Li, Yu Ying, Yiqiang Q. Zhao
CORR
2006
Springer
104views Education» more  CORR 2006»
15 years 4 months ago
Turning Cluster Management into Data Management: A System Overview
This paper introduces the CondorJ2 cluster management system. Traditionally, cluster management systems such as Condor employ a process-oriented approach with little or no use of ...
Eric Robinson, David J. DeWitt
CSDA
2006
71views more  CSDA 2006»
15 years 4 months ago
Practical representations of incomplete probabilistic knowledge
This article deals with the compact representation of incomplete probabilistic knowledge which can be encountered in risk evaluation problems, for instance in environmental studie...
Cédric Baudrit, Didier Dubois
« Prev « First page 1146 / 1479 Last » Next »