2813 search results - page 80 / 563 » Formalizing Architectural Connection |
108
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Most physically implemented multi-robot controllers are based on extensions of behavior-based systems. While efficient, such techniques suffer from weak representational power. Sy...
130
click to vote
MICRO
1994
IEEE
15 years 9 months ago
1994
IEEE
Exploitation of large amounts of instruction level parallelism requires a large amount of connectivity between the shared register file and the function units; this connectivity i...
149
click to vote
CBSE
2004
Springer
15 years 10 months ago
2004
Springer
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
115
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
138
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...