Sciweavers

6306 search results - page 267 / 1262
» Space, Time, and the Use of Language
Sort
View
CF
2004
ACM
16 years 21 days ago
Improving the execution time of global communication operations
Many parallel applications from scientific computing use MPI global communication operations to collect or distribute data. Since the execution times of these communication opera...
Matthias Kühnemann, Thomas Rauber, Gudula R&u...
APSEC
2005
IEEE
16 years 27 days ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
PRDC
2005
IEEE
16 years 26 days ago
Development of Dependable Real-Time Systems with Zerberus
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
Christian Buckl, Alois Knoll, Gerhard Schrott
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 1 months ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
ICANNGA
2007
Springer
105views Algorithms» more  ICANNGA 2007»
16 years 1 months ago
Reinforcement Learning in Fine Time Discretization
Reinforcement Learning (RL) is analyzed here as a tool for control system optimization. State and action spaces are assumed to be continuous. Time is assumed to be discrete, yet th...
Pawel Wawrzynski