1640 search results - page 47 / 328 » Design of Synchronous Action Systems |
111
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
140
Voted
LPAR
2010
Springer
15 years 21 days ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
114
Voted
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
97
Voted
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
− In this paper, we propose a scheduling method for synchronous communication between threads in the Bach hardware compiler. In this method, all communications are extracted from...
126
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
The central problem of designing intelligent robot systems which learn by demonstrations of desired behaviour has been largely studied within the field of robotics. Numerous archi...