1087 search results - page 81 / 218 » Achieving Distributed Control through Model Checking |
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract-- In this paper we study different distributed estimation schemes for stochastic discrete time linear systems where the communication between the sensors and the estimatio...
SIGARCH
2010
13 years 3 months ago
2010
We describe a programming framework for high performance clusters with various hardware accelerators. In this framework, users can utilize the available heterogeneous resources pr...
ICWS
2007
IEEE
13 years 10 months ago
2007
IEEE
Emerging Grid applications desire not only high bandwidth but also the ability to control the topology and traffic engineering of the underlying networks, through web service inte...
ICN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
EDOC
2004
IEEE
14 years 25 days ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...