Sciweavers

195 search results - page 21 / 39
» Modular design through component abstraction
Sort
View
FDL
2007
IEEE
14 years 14 days ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
ICRA
2008
IEEE
136views Robotics» more  ICRA 2008»
14 years 3 months ago
Toward a multi-disciplinary model for bio-robotic systems
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
Richard Primerano, David Wilkie, William Regli
CICLING
2007
Springer
14 years 2 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
ASAP
2010
IEEE
185views Hardware» more  ASAP 2010»
13 years 8 months ago
ImpEDE: A multidimensional design-space exploration framework for biomedical-implant processors
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...
Dhara Dave, Christos Strydis, Georgi Gaydadjiev
ICRA
2006
IEEE
124views Robotics» more  ICRA 2006»
14 years 2 months ago
Conformable and Scalable Tactile Sensor Skin for Curved Surfaces
Abstract— We present the design and realization of a conformable tactile sensor skin(patent pending). The skin is organized as a network of self-contained modules consisting of t...
Yoshiyuki Ohmura, Yasuo Kuniyoshi, Akihiko Nagakub...