5775 search results - page 209 / 1155 » A Rationale-based Analysis Tool |
183
click to vote
CII
2006
15 years 6 months ago
2006
Software support for the automotive electrical design process is vital, as many of the safety analysis tasks needing to be carried out, while complex, are repetitive and time cons...
194
click to vote
EKNOW
2009
15 years 4 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
201
click to vote
DASIP
2010
15 years 1 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
157
click to vote
PASTE
2005
ACM
16 years 4 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
252
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...