4061 search results - page 224 / 813 » Framework Evolution Tool |
151
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents a versatile hardware/software cosimulation and co-design environment for embedded 3D graphics accelerators. The GRAphics AcceLerator design exploration framewo...
144
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
184
click to vote
ECEASST
2006
15 years 5 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
140
click to vote
JUCS
2008
15 years 5 months ago
2008
: For most applications, data-intensive applications in particular, dialog modeling makes little sense without a domain model. Since domain models usually are developed and used ou...
168
click to vote
ICSM
1994
IEEE
15 years 9 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...