4341 search results - page 488 / 869 » Quantitative Model checking |
168
click to vote
SIGADA
1998
Springer
15 years 11 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
172
click to vote
ICDE
1994
IEEE
15 years 11 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...
172
click to vote
SIGMETRICS
1993
ACM
15 years 10 months ago
1993
ACM
: Performance is critical to the success of today’s software systems. However, many software products fail to meet their performance objectives when they are initially constructe...
217
Voted
WSC
2008
15 years 9 months ago
2008
The use of the Operation Process Simulation (OPS) for Six Sigma Projects (SSP) can illustrate visual display of the process by enabling to define, measure, analyze and improve the...
179
click to vote
HIS
2001
15 years 8 months ago
2001
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...