2918 search results - page 203 / 584 » Design tools for reliability analysis |
148
click to vote
SOSYM
2010
15 years 2 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
147
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
135
click to vote
FCCM
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
197
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
107
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper describes the design, construction, and testing of a biomimetic pectoral (side) fin with actively controlled curvature for UUV propulsion. First, a 3D unsteady comput...