10159 search results - page 643 / 2032 » System Design Validation Using Formal Models |
226
click to vote
ATAL
2005
Springer
16 years 24 days ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
250
click to vote
CODES
2009
IEEE
15 years 12 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
203
click to vote
HYBRID
2005
Springer
16 years 23 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
199
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
179
click to vote
DEXAW
2009
IEEE
16 years 2 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...