1163 search results - page 82 / 233 » Case Studies of Model Checking for Embedded System Designs |
155
click to vote
BIODATAMINING
2008
15 years 4 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
149
click to vote
SYNTHESE
2011
14 years 11 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
298
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
132
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
135
click to vote
PATMOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...