A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Correct, fast, maintainable
2012
Proceedings of the Asia-Pacific Workshop on Systems - APSYS '12
Preserved Fulltext
We present a case study of optimising the IPC fastpath in the seL4 microkernel. This fastpath is written in C and relies on an optimising C compiler for good performance. ...
The common-case IPC handler in microkernels, referred to as the fastpath, is performance-critical and thus is often optimised using hand-written assembly. ...
NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence ...
doi:10.1145/2349896.2349909
dblp:conf/apsys/BlackhamH12
fatcat:hnkuzcni2nhwxabqcus3xwks44
Persistent shared object support in the Guide system
1994
Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The purpose of the Guide project is to explore the use of shared objects for communication in a distributed system, especially for applications that require cooperative work. ...
This paper gathers the lessons learned from our experience and compares the basic design choices with those in other distributed object-oriented systems. ...
Santana contributed to the design and implement ation of the Guide environment, including the work described in this paper. We also would Iike to thank S. Ritchie for reviewing this paper. ...
doi:10.1145/191080.191106
dblp:conf/oopsla/HagimontCFKLMP94
fatcat:l5unnxdw5raj5j2emwpi5qc7ey
Persistent shared object support in the Guide system
1994
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The purpose of the Guide project is to explore the use of shared objects for communication in a distributed system, especially for applications that require cooperative work. ...
This paper gathers the lessons learned from our experience and compares the basic design choices with those in other distributed object-oriented systems. ...
Santana contributed to the design and implement ation of the Guide environment, including the work described in this paper. We also would Iike to thank S. Ritchie for reviewing this paper. ...
doi:10.1145/191081.191106
fatcat:vdsm7kv2o5fvzodptj6cw6vy4m
Operating system verification—An overview
2009
Sadhana (Bangalore)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
This paper gives a high-level introduction to the topic of formal, interactive, machine-checked software verification in general, and the verification of operating systems code in particular. ...
We survey the state of the art, the advantages and limitations of machinechecked code proofs, and describe two specific ongoing larger-scale verification projects in more detail. ...
Acknowledgements The author would like to thank Elisabeth Meister, Timothy Bourke, Mark Hillebrand, Tom in der Rieden, Norbert Schirmer, and Hendrik Tews for their feedback and for reading drafts of this ...
doi:10.1007/s12046-009-0002-4
fatcat:pl7j3msbsncnhmwg5w34r2uee4
mTags
2012
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Therefore, the technology is well suited for systems with a large legacy code base and for third-party applications such as phone and tablet applications. References 92 viii ...
the modification of application source code. ...
Acknowledgements I would like to thank all the little people who made this possible. iv Dedication This is dedicated to the one I love. ...
doi:10.1145/2331576.2331587
fatcat:tafoqkoih5aq5e2qm63tnwtnii
D2.2 System and Architecture Integration (Initial)
2021
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The main purpose of this deliverable is to reach a common understanding of the project at a technical level among all consortium partners and those supporting the project from outside. ...
This document provides an overview of the iNGENIOUS cross-layer architecture. ...
In•In addition to the LTE-based CIoT technologies addressing the massive, low profile IoT objects, NR opens the door to the so called critical or industrial IoT objects, for communication of higher data ...
doi:10.5281/zenodo.5746649
fatcat:odqysfiinjfkhjqmywrlbfssum
DC++: distributed object-oriented system support on top of OSF DCE
1993
Distributed Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper describes the design and implementation of an extended distributed object-oriented environment, DC++, on top of DCE. ...
The system has been fully implemented and tested by implementing an office application. Experiences with the existing system and performance results are also reported in the paper. ...
We would also like to thank our project partner, Digital Equipment Corporation with its Campusbased Engineering Center in Karlsruhe for the granted funding for this project. ...
doi:10.1088/0967-1846/1/2/006
fatcat:g56fn5ih3jdd5gkdwjx2a3rfde
Sharing and protection in a single-address-space operating system
1994
ACM Transactions on Computer Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
is being studied
by Boeing's
High Performance
Design
Systems
group,
which
is experimenting
with
new database
and operating
system technologies
for next-generation
CAD systems. ...
Object-based
distributed
languages,
such as Emerald
[Jul et al. 1988] and
Guide-1 [Krakowiak
et al. 1990], provide lightweight
support
for fine-grained
objects in a distributed
global address ...
doi:10.1145/195792.195795
fatcat:hhjn7pyovzdzriqetsgqhagpzi
A Humanoid Two-Arm System for Dexterous Manipulation
2006
2006 6th IEEE-RAS International Conference on Humanoid Robots
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The system is based on the modular DLR-Lightweight-Robot-III and the DLR-Hand-II. ...
In this paper we present the design considerations and give an overview of the different sub-systems. Then, we describe the requirements on the software architecture. ...
These considerations supported the use of a multisensory head, called 3D-Modeller, as vision system. In early work [10] , the 3D-Modeller was used for hand-guided applications. ...
doi:10.1109/ichr.2006.321397
dblp:conf/humanoids/OttEFBHBABHKKSWZH06
fatcat:ig3kly5ns5gnjimjnvz4aylla4
Distributed multimedia systems
1997
Proceedings of the IEEE
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We give an overview of distributed multimedia systems, examine the fundamental concept of digital media, identify the applications, and survey the important enabling technologies. ...
A distributed multimedia system (DMS) is an integrated communication, computing, and information system that enables the processing, management, delivery, and presentation of synchronized multimedia information ...
ACKNOWLEDGMENT The authors wish to thank the anonymous reviewers for their helpful comments on earlier versions of this paper. ...
doi:10.1109/5.611116
fatcat:xdmlblqyljglxpr3yeyks65vda
Reflective fault-tolerant systems: from experience to challenges
2003
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This framework includes: (i) the specification of a MetaObject Protocol suited for the implementation of fault-tolerant systems, and (ii) the definition of a general test strategy to guide its verification ...
The main originality of this work relies on the combination of both design and validation issues for the development of reflective systems, which has lead to the definition of a reflective framework for ...
The major problem is that existing tools (e.g., providing support for checkpointing [1]) are not well-suited for extension and customization, so their applicability remains limited in practice. ...
doi:10.1109/tc.2003.1176989
fatcat:w4ej45vo4zgynfgodunojdqu3i
A Modular Workflow Management Framework
2018
Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The system is currently being used by a European consortium for the coordination of clinical studies. 414 Almeida, J., Ribeiro, R. and Oliveira, J. A Modular Workflow Management Framework. ...
In this paper, we present a web-based platform that incorporates some of the best functionalities of both systems, addressing the collaborative needs of a task manager with well-structured computational ...
ACKNOWLEDGEMENTS This work has received support from the EU/EFPIA Innovative Medicines Initiative Joint Undertaking (EMIF grant n. 115372) ...
doi:10.5220/0006583104140421
dblp:conf/biostec/AlmeidaRO18
fatcat:f4lraacjvjdmlle72iqigg2sam
Software Development for Parallel and Multi-Core Processing
[chapter]
2012
Embedded Systems - High Performance Systems, Applications and Projects
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It is expected to support data parallelism, task parallelism, and nested parallelism. Chapel is expected to support object-oriented concepts, generic programming features, and code reuse. ...
Functional programming languages like Haskell require a paradigm shift from both object oriented and modular programming languages. ...
Various technologies condensed in this book as well as in the complementary book "Embedded Systems -Theory and Design Methodology", will be helpful to researchers and engineers around the world. ...
doi:10.5772/38261
fatcat:3zwgizqp3vgqfa2hn6gyxmuw44
Operating System Security
2008
Synthesis Lectures on Information Security Privacy and Trust
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Glenn Faden is a Distinguished Engineer in the Solaris Security Technologies Group, and has worked at Sun for 19 years. ...
He is currently the architect for Solaris Trusted Extensions, and was one of the architects for Trusted Solaris and Role-Based Access Control. ...
Disk usage is minimized by sharing immutable instances of most system files and by utilizing copy-on-write technology for the rest. ...
doi:10.2200/s00126ed1v01y200808spt001
fatcat:o7qgtis6zffr3disdujoq4izaa
Distributed goal-oriented computing
2012
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paradigm is called Distributed Goal-Oriented Computing paradigm. To implement this paradigm an execution framework for a Goal-oriented Operating System has been designed. ...
In this paradigm users express their goals and the OS is in charge of helping the achievement of these goals by means of a service-oriented approach. ...
The main objective of the third version of MINIX is reliability, devising for it a self-reparable system. ...
doi:10.1016/j.jss.2012.01.045
fatcat:6pt4tckasbdzfcwgsqzm276ulq
« Previous
Showing results 1 — 15 out of 194 results