Sciweavers

20126 search results - page 440 / 4026
» Timed Transition Systems
Sort
View
170
Voted
IJCAI
1993
15 years 8 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
RTDB
1996
82views more  RTDB 1996»
15 years 8 months ago
Lock-Free Transactions for Real-Time Systems
We show that previous algorithmic and scheduling work concerning the use of lock-free objects in hard real-timesystems can be extended to support real-time transactions on memory-...
James H. Anderson, Srikanth Ramamurthy, Mark Moir,...
IAAI
1990
15 years 8 months ago
PREDICTE - An Intelligent System for Indicative Construction Time Estimation
Geoff Stevens, Alan Stretton, Michael S. Register,...
ADAEUROPE
2010
Springer
15 years 8 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...