15777 search results - page 2682 / 3156 » The Reformulation-Optimization Software Engine |
181
Voted
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
202
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Maintenance is the dominant source of downtime at high availability sites. Unfortunately, the dominant mechanism for reducing this downtime, cluster rolling upgrade, has two short...
163
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
185
Voted
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
155
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...