8496 search results - page 1314 / 1700 » Problem Solving and Complex Systems |
190
click to vote
RTSS
2008
IEEE
16 years 2 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
178
click to vote
TASE
2008
IEEE
16 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
159
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
220
click to vote
ACMACE
2005
ACM
16 years 1 months ago
2005
ACM
FreeWill+ is a framework that aims at integrating various animation techniques for controlling human-like characters. With heterogeneity and multi-layering as its main design prin...
162
click to vote
ICES
2003
Springer
16 years 24 days ago
2003
Springer
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...