Sciweavers

4340 search results - page 285 / 868
» Designing for change
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
Fully-Scalable Fault-Tolerant Simulations for BSP and CGM
In this paper we consider general simulations of algorithms designed for fully operational BSP and CGM machines on machines with faulty processors. The faults are deterministic (i...
Sung-Ryul Kim, Kunsoo Park
VTS
1999
IEEE
71views Hardware» more  VTS 1999»
15 years 11 months ago
Test Generation for Ground Bounce in Internal Logic Circuitry
Ground bounce in internal circuitry is becoming an important design validation and test issue. In this paper a new circuit model for ground bounce in internal circuitry is propose...
Yi-Shing Chang, Sandeep K. Gupta, Melvin A. Breuer
ICRA
1998
IEEE
110views Robotics» more  ICRA 1998»
15 years 11 months ago
The Self-Reconfiguring Robotic Molecule
We discuss a robotic module called a Molecule. Molecules can be the basis for building selfreconfiguring robots. They support multiple modalities of locomotion and manipulation. W...
Keith Kotay, Daniela Rus, Marsette Vona, Craig D. ...
OOPSLA
1998
Springer
15 years 11 months ago
Data Groups: Specifying the Modification of Extended State
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
K. Rustan M. Leino
POS
1998
Springer
15 years 11 months ago
The First Experience of Class Evolution Support in PJama
The design and implementation of the initial release of class evolution technology for PJama persistent language is described. This technology supports modi cations to individual ...
Misha Dmitriev