Sciweavers

3504 search results - page 474 / 701
» Computational Aspects of Equilibria
Sort
View
APSCC
2006
IEEE
15 years 8 months ago
GlobalWatch: A Distributed Service Grid Monitoring Platform with High Flexibility and Usability
GlobalWatch is a distributed platform to monitor various resources of grid platforms so as to improve the flexibility and usability of grid systems. In order to enhance the flexib...
Sheng Di, Hai Jin, Shengli Li, Ling Chen, Chengwei...
DAC
2005
ACM
15 years 8 months ago
VLIW: a case study of parallelism verification
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Li...
DAC
2005
ACM
15 years 8 months ago
Keeping hot chips cool
With 90nm CMOS in production and 65nm testing in progress, power has been pushed to the forefront of design metrics. This paper will outline practical techniques that are used to ...
Ruchir Puri, Leon Stok, Subhrajit Bhattacharya
CONEXT
2008
ACM
15 years 8 months ago
On the scalability of BGP: the roles of topology growth and update rate-limiting
The scalability of BGP routing is a major concern for the Internet community. Scalability is an issue in two different aspects: increasing routing table size, and increasing rate ...
Ahmed Elmokashfi, Amund Kvalbein, Constantine Dovr...
COORDINATION
2008
Springer
15 years 8 months ago
Implementing Session Centered Calculi
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
Lorenzo Bettini, Rocco De Nicola, Michele Loreti