Sciweavers

17 search results - page 4 / 4
» A self-testing autonomic job scheduler
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
13 years 10 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
CORR
2010
Springer
152views Education» more  CORR 2010»
13 years 5 months ago
Neuroevolutionary optimization
Temporal difference methods are theoretically grounded and empirically effective methods for addressing reinforcement learning problems. In most real-world reinforcement learning ...
Eva Volná