Sciweavers

906 search results - page 83 / 182
» Language and program design for functional dependencies
Sort
View
ICFP
2005
ACM
16 years 4 months ago
A principled approach to operating system construction in Haskell
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, An...
WORDS
2003
IEEE
15 years 9 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
CPHYSICS
2007
114views more  CPHYSICS 2007»
15 years 4 months ago
GDF v2.0, an enhanced version of GDF
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
Ioannis G. Tsoulos, Dimitris Gavrilis, Evangelos D...
EMSOFT
2005
Springer
15 years 9 months ago
High-level real-time programming in Java
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
David F. Bacon, Perry Cheng, David Grove, Michael ...
PLDI
2010
ACM
15 years 9 months ago
Mint: Java multi-stage programming using weak separability
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong...