195 search results - page 5 / 39 » Modular design through component abstraction |
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
ICCBSS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...
DAC
2005
ACM
13 years 9 months ago
2005
ACM
We propose a hierarchical mixed signal design methodology based on the principles of Platform-Based Design (PBD). The methodology is a meet-in-the-middle approach where design com...