Sciweavers

4302 search results - page 267 / 861
» Ambiguity as a resource for design
Sort
View
HIPEAC
2005
Springer
16 years 4 days ago
Beyond Basic Region Caching: Specializing Cache Structures for High Performance and Energy Conservation
Increasingly tight energy design goals require processor architects to rethink the organizational structure of microarchitectural resources. In this paper, we examine a new multila...
Michael J. Geiger, Sally A. McKee, Gary S. Tyson
WOSP
2004
ACM
16 years 1 days ago
An autonomic failure-detection algorithm
Designs for distributed systems must consider the possibility that failures will arise and must adopt specific failure detection strategies. We describe and analyze a self-regulat...
Kevin Mills, Scott Rose, Stephen Quirolgico, M. Br...
EUROPAR
2004
Springer
16 years 13 hour ago
Agreement-Based Interactions for Experimental Science
Enabling quality of service (QoS) in the Grids requires not only resource management strategies but also the development of protocols enabling structured negotiation for the use of...
Katarzyna Keahey, Takuya Araki, Peter Lane
199
Voted
GCC
2003
Springer
15 years 12 months ago
Modelling Cooperative Multi-agent Systems
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
Lijun Shan, Hong Zhu
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova