1087 search results - page 39 / 218 » Achieving Distributed Control through Model Checking |
IPPS
1999
IEEE
14 years 2 days ago
1999
IEEE
If parallelism can be successfully exploited in a program, significant reductions in execution time can be achieved. However, if sections of the code are dominated by parallel ove...
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. While sensor networks have recently emerged as a promising computing model, they are vulnerable to various node compromising attacks. In this paper, we propose COOL, a CO...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Quality attribute models are proposed as the linkage between a specification of a quality attribute requirement and a design fragment that is focused on achieving that requirement...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
CONEXT
2009
ACM
13 years 9 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...