3463 search results - page 180 / 693 » Modeling and executing master-worker applications in compone... |
121
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
143
click to vote
COLING
1990
15 years 5 months ago
1990
We present here the current prototype of the text understanding system HELENE. The objective of this system is to achieve a deep understanding of small reports dealing with a rest...
122
click to vote
IEEECIT
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
143
click to vote
ASM
2003
ASM
15 years 10 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
137
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...