7430 search results - page 877 / 1486 » Programming Applications in CIFF |
207
click to vote
EDCC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
198
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes our procedure and a software application for conducting large parameter sweep experiments in genetic and evolutionary computation research. Both procedure and...
236
click to vote
PVM
2005
Springer
16 years 1 months ago
2005
Springer
Parallel execution of simulation runs has become indispensable in different research areas recently. One of the most promising and powerful models in science are cellular automata ...
205
click to vote
PVM
2005
Springer
16 years 1 months ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
188
click to vote
SIGADA
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...