Sciweavers

801 search results - page 82 / 161
» Robust Software
Sort
View
ECAL
2007
Springer
14 years 4 months ago
A Distributed Formation Algorithm to Organize Agents with No Coordinate Agreement
Abstract. In this paper we present an extension of the ShapeBugs distributed formation algorithm which enables 2D mobile agents to agree on a consensus coordinate system starting f...
Gregory Studer, Inman Harvey
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
14 years 4 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
ICCAD
2006
IEEE
146views Hardware» more  ICCAD 2006»
14 years 4 months ago
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
Yu Zhou, Danil Sokolov, Alexandre Yakovlev
ASPDAC
2006
ACM
133views Hardware» more  ASPDAC 2006»
14 years 4 months ago
An SPU reference model for simulation, random test generation and verification
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
Yukio Watanabe, Balazs Sallay, Brad W. Michael, Da...
HICSS
2005
IEEE
129views Biometrics» more  HICSS 2005»
14 years 3 months ago
Position Statement: Methodology to Support Dependable Survivable Cyber-Secure Infrastructures
Information systems now form the backbone of nearly every government and private system. Increasingly these systems are networked together allowing for distributed operations, sha...
Frederick T. Sheldon, Stephen Gordon Batsell, Stac...