Filters








194 Hits in 8.3 sec

Correct, fast, maintainable

Bernard Blackham, Gernot Heiser
2012 Proceedings of the Asia-Pacific Workshop on Systems - APSYS '12  
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

Daniel Hagimont, P.-Y. Chevalier, A. Freyssinet, S. Krakowiak, S. Lacourte, J. Mossière, X. Rousset de Pina
1994 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94  
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

Daniel Hagimont, P.-Y. Chevalier, A. Freyssinet, S. Krakowiak, S. Lacourte, J. Mossière, X. Rousset de Pina
1994 SIGPLAN notices  
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

Gerwin Klein
2009 Sadhana (Bangalore)  
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

Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister
2012 ACM SIGOPS Operating Systems Review  
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)

Ahmad Nimr, Alexandr Tardo, Carlos Alcaide, Carsten Weinhold, José Luis Cárcel, Christos Politis, Clemens Saur, Cosimo Zotti, Gino Ciccone, Giuseppina Carpentieri, Efstathios Katranaras, Guillaume Vivier (+16 others)
2021 Zenodo  
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

A B Schill, M U Mock
1993 Distributed Systems Engineering  
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

Jeffrey S. Chase, Henry M. Levy, Michael J. Feeley, Edward D. Lazowska
1994 ACM Transactions on Computer Systems  
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

Ch. Ott, O. Eiberger, W. Friedl, B. Bauml, U. Hillenbrand, Ch. Borst, A. Albu-Schaffer, B. Brunner, H. Hirschmuller, S. Kielhofer, R. Konietschke, M. Suppa (+3 others)
2006 2006 6th IEEE-RAS International Conference on Humanoid Robots  
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

V.O.K. Li, Wanjiun Liao
1997 Proceedings of the IEEE  
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

J.C. Ruiz, M. Killijian, J. Fabre, P. Thevenod-Fosse
2003 IEEE transactions on computers  
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

João Rafael Almeida, Ricardo Ribeiro, José Luis Oliveira
2018 Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies  
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]

Kenn R.
2012 Embedded Systems - High Performance Systems, Applications and Projects  
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

Trent Jaeger
2008 Synthesis Lectures on Information Security Privacy and Trust  
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

Javier Palanca, Martí Navarro, Vicente Julian, Ana García-Fornes
2012 Journal of Systems and Software  
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