517 search results - page 54 / 104 » Optimizing the Implementation of Communication in Synchronou... |
113
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
147
click to vote
PARA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
156
click to vote
VLSID
2001
IEEE
16 years 2 months ago
2001
IEEE
The emergence of several communication architectures for System-on-Chips provides designers with a variety of design alternatives. In addition, the need to customize the system ar...
111
click to vote
PPOPP
1997
ACM
15 years 5 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
120
click to vote
IFIP
2003
Springer
15 years 6 months ago
2003
Springer
Bluetooth is a promising wireless technology aiming at supporting electronic devices to be instantly interconnected into short-range ad hoc networks. The Bluetooth medium access co...