11 search results - page 2 / 3 » Incorporating Resource Safety Verification to Executable Mod... |
ECRTS
2002
IEEE
13 years 10 months ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...
JUCS
2010
13 years 12 days ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
DAC
2004
ACM
14 years 6 months ago
2004
ACM
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
ADAEUROPE
2008
Springer
13 years 12 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
GECCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...