Sciweavers

2274 search results - page 73 / 455
» Real-Time Scheduling in Distributed Systems
Sort
View
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 1 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
CRIWG
2004
14 years 11 months ago
Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
Xianghua Xu, Jiajun Bu, Chun Chen, Yong Li 0004
ADAEUROPE
2010
Springer
14 years 11 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...