A formally verified application-level framework for real-time scheduling on posix real-time operating systems
P Li, B Ravindran, S Suhaib… - IEEE Transactions on …, 2004 - ieeexplore.ieee.org
We present a framework, called meta scheduler, for implementing real-time scheduling
algorithms. The meta scheduler is a portable middleware layer component designed for …
algorithms. The meta scheduler is a portable middleware layer component designed for …
Clearwater: extensible, flexible, modular code generation
Distributed applications typically interact with a number of heterogeneous and autonomous
components that evolve independently. Methodical development of such applications can …
components that evolve independently. Methodical development of such applications can …
Capturing OS expertise in an Event Type System: the Bossa experience
Emerging applications have increasingly specialized scheduling requirements. Changing
the scheduling policy of an existing OS is, however, often difficult because scheduling code …
the scheduling policy of an existing OS is, however, often difficult because scheduling code …
Scriptable operating systems with Lua
L Vieira Neto, R Ierusalimschy, AL de Moura… - ACM SIGPLAN …, 2014 - dl.acm.org
Extensible operating system is a design based on the idea that operating systems can be
adapted to meet user requirements by allowing user extensions. In a different scenario, that …
adapted to meet user requirements by allowing user extensions. In a different scenario, that …
Development of internal domain-specific languages: design principles and design patterns
S Günther - Proceedings of the 18th Conference on Pattern …, 2011 - dl.acm.org
A great part of software development challenges can be solved by one universal tool:
Abstraction. Developers solve development challenges by using expressions and concepts …
Abstraction. Developers solve development challenges by using expressions and concepts …
Optimization aspects in network simulation
J Siadat, RJ Walker, C Kiddle - … of the 5th international conference on …, 2006 - dl.acm.org
A primary goal of AOSD in the context of systems software has been to permit improved
modularity without significantly degrading performance. Optimizations represent important …
modularity without significantly degrading performance. Optimizations represent important …
[PDF][PDF] Learning from components: Fitting AOP for system software
A Gal, M Franz, D Beuche - Aspects, Components, and Patterns …, 2003 - researchgate.net
Aspect-oriented programming (AOP) and implementation of system software are fairly
complex tasks on their own. Combining these two severe challenges seems to be not very …
complex tasks on their own. Combining these two severe challenges seems to be not very …
Code generation for WSLAs using AXpect
WSLAs can be viewed as describing the service aspect of Web services. By their nature,
Web services are distributed. Therefore, integrating support code into a Web service …
Web services are distributed. Therefore, integrating support code into a Web service …
Improving evolvability of operating systems with AspectC
MY Coady - 2003 - open.library.ubc.ca
Operating system code is complex. But, while substantial complexity is inherent to this
domain, other complexity is caused by modularity problems. The implementation of certain …
domain, other complexity is caused by modularity problems. The implementation of certain …
Passage à l'echelle d'un support d'exécution à base de tâches pour l'algèbre linéaire dense
M Sergent - 2016 - theses.hal.science
La complexification des architectures matérielles pousse vers l'utilisation de paradigmes de
programmation de haut niveau pour concevoir des applications scientifiques efficaces …
programmation de haut niveau pour concevoir des applications scientifiques efficaces …