10159 search results - page 338 / 2032 » System Design Validation Using Formal Models |
127
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
116
Voted
EWC
2000
15 years 3 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
124
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
126
click to vote
AIEDAM
2007
15 years 4 months ago
2007
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
134
click to vote
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...