1199 search results - page 202 / 240 » Parameterized Proof Complexity |
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Many network applications are based on a group communications model where one party sends messages to a large number of authorized recipients and/or receives messages from mult...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Fast hardware turnover in supercomputing centers, stimulated by rapid technological progress, results in high heterogeneity among HPC platforms, and necessitates that applications...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
QSIC
2007
IEEE
14 years 3 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
This paper describes a study in the evolution of distributed cooperative behavior, specifically leader election, through digital evolution and group selection. In digital evoluti...