4604 search results - page 207 / 921 » Concurrency in Synchronous Systems |
133
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— For precise control of robots along paths which are sensed online it is of fundamental importance to have a calibrated system. In addition to the identification of the sensor ...
123
click to vote
DM
2008
15 years 4 months ago
2008
Difference Systems of Sets (DSS) are combinatorial configurations that arise in connection with code synchronization. A method for the construction of DSS from partitions of cycli...
151
click to vote
TC
1998
15 years 4 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
143
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
117
click to vote
IANDC
2008
15 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...