Sciweavers

3793 search results - page 454 / 759
» The wireless synchronization problem
Sort
View
VRST
2005
ACM
16 years 6 days ago
Real time tracking of high speed movements in the context of a table tennis application
In this paper we summarize the experiences we made with the implementation of a table tennis application. After describing the hardware necessities of our system we give insight i...
Stephan Rusdorf, Guido Brunnett
DSOM
2005
Springer
16 years 5 days ago
Towards Automated Deployment of Built-to-Order Systems
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
Akhil Sahai, Calton Pu, Gueyoung Jung, Qinyi Wu, W...
EMSOFT
2005
Springer
16 years 5 days ago
Communication strategies for shared-bus embedded multiprocessors
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
Neal K. Bambha, Shuvra S. Bhattacharyya
FROCOS
2005
Springer
16 years 5 days ago
Proving Liveness with Fairness Using Rewriting
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
Adam Koprowski, Hans Zantema
FSTTCS
2005
Springer
16 years 5 days ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang