2686 search results - page 229 / 538 » Parallel object monitors |
140
click to vote
GECCO
2004
Springer
2004
Springer
Evolutionary Computation Techniques for Optimizing Fuzzy Cognitive Maps in Radiation Therapy Systems
15 years 10 months ago
Abstract. The optimization of a Fuzzy Cognitive Map model for the supervision and monitoring of the radiotherapy process is proposed. This is performed through the minimization of ...
113
click to vote
WSCG
2003
15 years 6 months ago
2003
Apart from anatomical and physiological imaging, MRI can also be used to produce temperature maps. Our objective is to obtain such maps in real-time to monitor mini-invasive therm...
220
click to vote
DAPSYS
2004
Springer
15 years 10 months ago
2004
Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...
163
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
126
click to vote
ISORC
2002
IEEE
2002
IEEE
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
15 years 9 months ago
This paper proposes a framework for integrating the Real-Time Specification for Java and Java's Remote Method Invocation. The concepts of real-time remote and distributed rea...