152 search results - page 15 / 31 » Full Abstraction for Reduced ML |
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— The first part of this paper describes the development of a humanoid robot hand based on an endoskeleton made of rigid links connected with elastic hinges, actuated by...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current paper proposes an efficient alternative for traditional gatelevel fault simulation. The authors explain how Structurally Synthesized Binary Decision Diagrams (SSB...
IWANN
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we analyse a serial (ripple carry) and a parallel (Kogge-Stone) adder when operating in subthreshold at 100nm and 70nm. These are targeted for ultra low pow...
DSD
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
BIRTHDAY
1997
Springer
14 years 19 days ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...