1888 search results - page 273 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
152
click to vote
RSP
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, an efficient design flow integrating Mentor Graphics Precesion C and HDL designer is derived. In this hybrid prototyping environment, efficient FPGA architectures a...
149
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
164
click to vote
JIT
2004
Springer
15 years 10 months ago
2004
Springer
Service Oriented Architectures (SOAs) have recently emerged as a new promising paradigm for supporting distributed computing. Web services, as well as integration-packages relying ...
162
click to vote
SFM
2005
Springer
15 years 10 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
162
click to vote
NOMS
2002
IEEE
15 years 9 months ago
2002
IEEE
To cope with the explosive increase in the number of requests to Internet server systems, one popular solution is a load-balancing technique that uses a dispatcher in the front-en...