4799 search results - page 807 / 960 » Model Based Requirements Engineering for Embedded Software |
159
click to vote
ADAEUROPE
2007
Springer
16 years 17 days ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
194
click to vote
AUIC
2005
IEEE
16 years 20 hour ago
2005
IEEE
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...
151
click to vote
ISPASS
2005
IEEE
15 years 12 months ago
2005
IEEE
Computer architecture research in academia and industry is heavily reliant on simulation studies. While microprocessor companies have the resources to develop highly detailed simu...
177
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
160
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...