Sciweavers

5170 search results - page 764 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
CSMR
2003
IEEE
16 years 19 days ago
Moving to Smaller Libraries via Clustering and Genetic Algorithms
There may be several reasons to reduce a software system to its bare bone removing the extra fat introduced during development or evolution. Porting the software system on embedde...
Giuliano Antoniol, Massimiliano Di Penta, Markus N...
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
15 years 11 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
DAC
2008
ACM
16 years 8 months ago
Automated hardware-independent scenario identification
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
Juan Hamers, Lieven Eeckhout
ISMB
1993
15 years 8 months ago
Minimizing Complexity in Cellular Automata Models of Self-Replication
Understanding self-replication from an information processing perspective is important because, amongother things, it can shed light on molecular mechanismsof biological reproduct...
James A. Reggia, Hui-Hsien Chou, Steven L. Armentr...
IROS
2008
IEEE
121views Robotics» more  IROS 2008»
16 years 1 months ago
A robot listens to music and counts its beats aloud by separating music from counting voice
— This paper presents a beat-counting robot that can count musical beats aloud, i.e., speak “one, two, three, four, one, two, ...” along music, while listening to music by us...
Takeshi Mizumoto, Ryu Takeda, Kazuyoshi Yoshii, Ka...