1888 search results - page 234 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
103
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the alternatives available to support threadprivate data in OpenMP and evaluates them. We show how current compilation systems rely on custom techniques for im...
153
click to vote
COMCOM
2004
15 years 4 months ago
2004
Although IP-multicast has been proposed and investigated for years, there are major problems inherent in the IP-multicasting technique, e.g., difficulty to scale up the system, di...
126
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
131
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA devices. This paper has three main goals. The first one is to present the tren...
132
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...