Suchergebnisse - "Operating Systems—Systems Programs and Utilities General Terms Algorithms"

A declarative language approach to device configuration

Autoren: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Weitere Verfasser: Adrian Schüpbach Andrew Baumann Timothy Roscoe et al.

Quelle: http://www.barrelfish.org/barrelfish_asplos11.pdf.

Schlagwörter: Categories and Subject Descriptors D.1.6 [Software, Programming Techniques—Logic Programming, D.4.9 [Software, Operating Systems—Systems Programs and Utilities General Terms Algorithms, Design, Languages Keywords Constraint logic programming, Eclipse CLP, Hardware programming, PCI

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511; http://www.barrelfish.org/barrelfish_asplos11.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.511
http://www.barrelfish.org/barrelfish_asplos11.pdf

Preemption-aware dynamic voltage scaling in hard real-time systems.

Autoren: Kim, Woonseok Kim, Jihong Min, Sang Lyul

Quelle: Proceedings of the 2004 International Symposium Low Power Electronics & Design; 8/9/2004, p393-398, 6p

A Declarative Language Approach to Device Configuration.

Autoren: Schüpbach, Adrian Baumann, Andrew Roscoe, Timothy et al.

Quelle: ACM Transactions on Computer Systems; Feb2012, Vol. 30 Issue 1, p5-5:35, 35p

Schlagwörter: LOGIC programming, DEVICE drivers (Computer programs), COMPUTER operating systems, C (Computer program language), COMPUTER input-output equipment, ROUTING (Computer network management)