1660 search results - page 103 / 332 » Abstract Application Modeling for System Design Space Explor... |
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
SIGGRAPH
2000
ACM
14 years 15 days ago
2000
ACM
Pose space deformation generalizes and improves upon both shape interpolation and common skeleton-driven deformation techniques. This deformation approach proceeds from the observ...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Incorporating pricing information in routing systems has been explored in various contexts and fashions. In this paper we examine certain fundamental properties importa...
ALMOB
2006
13 years 9 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
SAMOS
2007
Springer
14 years 3 months ago
2007
Springer
As multi-processor system-on-chip (MPSoC) has become an effective solution to ever-increasing design complexity of modern embedded systems, fast and accurate HW/SW cosimulation of...