10870 search results - page 2097 / 2174 » Model Checking Programs |
KES
1999
Springer
14 years 1 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
OOPSLA
1999
Springer
14 years 1 months ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstract: The QoS-based Resource Allocation Model (QRAM) proposed in [20] presented an analytical approach for satisfying multiple quality-of-service dimensions in a resource-const...
SP
1998
IEEE
14 years 1 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...