ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
Latest Publications
TOTAL DOCUMENTS
10
(FIVE YEARS 0)
H-INDEX
4
(FIVE YEARS 0)
Published By ACM Press
9781595939227
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Configurable memory protection by aspects
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376794
◽
2007
◽
Cited By ~ 5
Author(s):
Daniel Lohmann
◽
Jochen Streicher
◽
Wanja Hofer
◽
Olaf Spinczyk
◽
Wolfgang Schröder-Preikschat
Keyword(s):
Memory Protection
Download Full-text
Resource management aspects for sensor network software
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376796
◽
2007
◽
Cited By ~ 2
Author(s):
Sean Walton
◽
Eric Eide
Keyword(s):
Resource Management
◽
Sensor Network
◽
Network Software
Download Full-text
Why the grass may not be greener on the other side
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376798
◽
2007
◽
Cited By ~ 4
Author(s):
Paul E. McKenney
◽
Maged M. Michael
◽
Jonathan Walpole
Keyword(s):
The Other
Download Full-text
Checking the hardware-software interface in spec#
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376802
◽
2007
◽
Author(s):
Kevin Bierhoff
◽
Chris Hawblitzel
Keyword(s):
Software Interface
Download Full-text
Towards easing the diagnosis of bugs in OS code
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376792
◽
2007
◽
Cited By ~ 5
Author(s):
Henrik Stuart
◽
René Rydhof Hansen
◽
Julia L. Lawall
◽
Jesper Andersen
◽
Yoann Padioleau
◽
...
Download Full-text
A DSL approach for object memory management of small devices
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376795
◽
2007
◽
Author(s):
Kevin Marquet
◽
Gilles Grimaud
Keyword(s):
Memory Management
◽
Object Memory
Download Full-text
Writing systems software in a functional language
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376791
◽
2007
◽
Cited By ~ 1
Author(s):
Iavor S. Diatchki
◽
Thomas Hallgren
◽
Mark P. Jones
◽
Rebekah Leslie
◽
Andrew Tolmach
Keyword(s):
Functional Language
◽
Writing Systems
◽
Systems Software
Download Full-text
Formalising device driver interfaces
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376803
◽
2007
◽
Author(s):
Leonid Ryzhyk
◽
Ihor Kuz
◽
Gernot Heiser
Keyword(s):
Device Driver
Download Full-text
Predictive thread-to-core assignment on a heterogeneous multi-core processor
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376799
◽
2007
◽
Cited By ~ 8
Author(s):
Tyler Sondag
◽
Viswanath Krishnamurthy
◽
Hridesh Rajan
Keyword(s):
Multi Core Processor
Download Full-text
A high-performance operating system for structured concurrent programs
Proceedings of the 4th workshop on Programming languages and operating systems - PLOS '07
◽
10.1145/1376789.1376800
◽
2007
◽
Cited By ~ 1
Author(s):
Luc Bläser
Keyword(s):
Operating System
◽
High Performance
◽
Concurrent Programs
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close