2210 search results - page 409 / 442 » Applying a Model-based Approach for Embedded System Developm... |
DASFAA
1997
IEEE
14 years 1 months ago
1997
IEEE
The success of the World Wide Web is boosting the development of multimedia database systems and their integration into the internet. For the documents stored and exchanged in the...
DATE
2004
IEEE
14 years 17 days ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
Chemistry students, like students in other disciplines, often learn to solve problems by applying well-practiced procedures. Such an approach, however, may hinder conceptual unders...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
IJRR
2008
13 years 8 months ago
2008
Designing distributed controllers for self-reconfiguring modular robots has been consistently challenging. We have developed a reinforcement learning approach which can be used bo...