4689 search results - page 285 / 938 » Analysis and modeling of control tasks in dynamic systems |
161
click to vote
IJCIM
2002
15 years 6 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
181
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
176
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
173
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
It has been widely observed that search queries are composed in a very different style from that of the body or the title of a document. Many techniques explicitly accounting for...
175
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...