1099 search results - page 56 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
160
click to vote
DSML
2008
15 years 7 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
174
click to vote
RTAS
2009
IEEE
16 years 27 days ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
175
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
159
click to vote
HASE
2008
IEEE
16 years 19 days ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
204
click to vote
IPPS
2007
IEEE
16 years 14 days ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...