3801 search results - page 566 / 761 » An Approach to Modeling Software Safety |
158
click to vote
IPPS
2008
IEEE
16 years 28 days ago
2008
IEEE
Weather and climate prediction software has enjoyed the benefits of exponentially increasing processor power for almost 50 years. Even with the advent of large-scale parallelism ...
171
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
142
click to vote
EEMMAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
206
click to vote
FDL
2006
IEEE
16 years 18 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
247
click to vote
FAABS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...