1268 search results - page 91 / 254 » Verifying distributed systems: the operational approach |
165
click to vote
ICPPW
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
176
click to vote
JSAC
2008
15 years 6 months ago
2008
Dynamic spectrum access is a promising technique to use spectrum efficiently. Without being restricted to any prefixed spectrum bands, nodes choose operating spectrum ondemand. Suc...
203
click to vote
AGS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We describe a distributed architecture for situated largescale agent-based simulations with predominately local interactions. The approach, implemented in AglobeX Simulat...
171
click to vote
SAC
2006
ACM
16 years 4 days ago
2006
ACM
CT As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requ...
147
click to vote
SIGOPS
2010
15 years 4 months ago
2010
We describe the design of, and experience with, Query, a monitoring system that supports the Akamai EdgePlatform. Query is a foundation of Akamai’s approach to administering its...