196 search results - page 14 / 40 » Battery-powered distributed systems (extended abstract) |
170
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
170
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
222
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Widely distributed multiple radar architectures offer parameter estimation improvement for target localization. For a large number of radars, the achievable localization...
189
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
218
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...