1087 search results - page 39 / 218 » Achieving Distributed Control through Model Checking |
133
click to vote
IPPS
1999
IEEE
15 years 6 months 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...
119
click to vote
DCOSS
2006
Springer
15 years 5 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...
118
click to vote
ICSE
2003
IEEE-ACM
16 years 2 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...
159
click to vote
IPPS
2010
IEEE
15 years 1 days 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...
137
Voted
CONEXT
2009
ACM
15 years 3 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...