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...
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
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. ...
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 ...
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 ...