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 …

Clearwater: extensible, flexible, modular code generation

GS Swint, C Pu, G Jung, W Yan, Y Koh, Q Wu… - Proceedings of the 20th …, 2005 - dl.acm.org
Distributed applications typically interact with a number of heterogeneous and autonomous
components that evolve independently. Methodical development of such applications can …

Capturing OS expertise in an Event Type System: the Bossa experience

JL Lawall, G Muller, LP Barreto - Proceedings of the 10th workshop on …, 2002 - dl.acm.org
Emerging applications have increasingly specialized scheduling requirements. Changing
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 …

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 …

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 …

[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 …

Code generation for WSLAs using AXpect

GS Swint, C Pu - Proceedings. IEEE International Conference …, 2004 - ieeexplore.ieee.org
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 …

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 …

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 …