Conferences related to Operating Systems

Back to Top

2014 IEEE International Conference on Systems, Man and Cybernetics - SMC

SMC2014 targets advances in Systems Science and Engineering, Human-Machine Systems, and Cybernetics involving state-of-art technologies interacting with humans to provide an enriching experience and thereby improving the quality of lives including theories, methodologies, and emerging applications.


2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)

The ETFA conference series is the prime, and largest, IEEE-sponsored event dedicated to factory automation and emerging technologies in industrial automation.The aim of the ETFA conference series is to provide researchers and practitioners from industry and academia with a platform to report on recent developments in the newly emerging areas of technology and their potential applications to factory automation.The technical success of the ETFA conference series also testifies to the rapid evolution of the area of industrial automation in the recent decades. The proceedings of the conference give a fairly accurate picture of the state of the art of the area. ETFA conferences were fortunate to attract high quality papers, many of which were later published in the IEEE Transactions on Industrial Electronics.

  • 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)

    The ETFA conference series is the prime, and largest, IEEE-sponsored event dedicated to factory automation and emerging technologies in industrial automation. The aim of the ETFA conference series is to provide researchers and practitioners with a platform to report on recent developments and their potential applications to factory automation.

  • 2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA 2011)

    The aim of ETFA conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation

  • 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)

    The aim of the conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.

  • 2009 IEEE Conference on Emerging Technologies & Factory Automation (ETFA 2009)

    The aim of the conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.


2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC)

DASC is the premier annual conference providing authors an opportunity for publication and presentation to an international audience of papers encompassing the field of avionics systems for aircraft/rotorcraft/unmanned aircraft (commercial, military, general aviation) launch vehicles, missiles, spacecraft, and space transportation systems, navigation, guidance/control of flight, computers, communications, sensors (radar, infrared, visual bands), avionics architectures and data networking, communications networks, software, crew interface, space and ground components needed for the operation of military, commercial, and business aircraft, and avionics electrical power generation and control, Student papers are entered into a judged competition.


2013 International Symposium on System-on-Chip (SoC)

SoC 2013 is the 15th SoC event, building on the tradition of a series of SoC events organized in Tampere, Finland annually since 1999. It consists of invited talks, contributed scientific papers, special sessions, and a commercial exhibit with its own industrial program track. The symposium also features a panel discussion on topics of high interest to the System-on-Chip community, and a pre-conference tutorial on October 22. The mission of SoC 2013 is to provide a forum that is fully and comprehensively dedicated to SoC.


2012 International SoC Design Conference (ISOCC 2012)

International SoC Design Conference (ISOCC) aims at providing the world s premier SoC design forum for leading researchers from academia and industries.

  • 2011 International SoC Design Conference (ISOCC 2011)

    International SoC Design Conference (ISOCC) aims at providing the world s premier SoC design forum for leading researchers from academia and industries. Topics are as follows but not limitted. RF/Analog/Digital circuits and Systems, Design methodology, Biomedical Circuits etc.

  • 2010 International SoC Design Conference (ISOCC 2010)

    : International SoC Design Conference (ISOCC) aims at providing the world's premier forum of leading researchers in the SoC design areas from academia and industries. Prospective authors are invited to submit papers of their original works emphasizing contributions beyond the present state of the art. We also welcome proposals on special tutorials and submissions of design contest.

  • 2009 International SoC Design Conference (ISOCC)

    International SoC Design Conference (ISOCC) aims at providing the world's premier forum of leading researchers in the SoC design areas from academia and industries. Prospective authors are invited to submit papers of their original works emphasizing contributions beyond the present state of the art. We also welcome proposals on special tutorials and submissions of design contest.

  • 2008 International SoC Design Conference (ISOCC)

    Forum of leading researchers in SoC design: analog and mixed signal circuits, communication SoC, embedded memory, embedded system S/W, microprocessor & DSP architecture, multimedia SoC, RF IC, sensors & MEMS, SoC design methodology, SoC testing & verification, low power design, high speed signal interface, signal integrity, display & imaging devices


More Conferences

Periodicals related to Operating Systems

Back to Top

Aerospace and Electronic Systems Magazine, IEEE

The IEEE Aerospace and Electronic Systems Magazine publishes articles concerned with the various aspects of systems for space, air, ocean, or ground environments.


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Education, IEEE Transactions on

Educational methods, technology, and programs; history of technology; impact of evolving research on education.


Micro, IEEE

IEEE Micro magazine presents high-quality technical articles from designers, systems integrators, and users discussing the design, performance, or application of microcomputer and microprocessor systems. Topics include architecture, components, subassemblies, operating systems, application software, communications, fault tolerance, instrumentation, control equipment, and peripherals.


Multimedia, IEEE

IEEE Multimedia Magazine covers a broad range of issues in multimedia systems and applications. Articles, product reviews, new product descriptions, book reviews, and announcements of conferences and workshops cover topics that include hardware and software for media compression, coding and processing; media representations and standards for storage, editing, interchange, transmission and presentation; hardware platforms supporting multimedia applications; operating systems suitable ...


More Periodicals

Most published Xplore authors for Operating Systems

Back to Top

Xplore Articles related to Operating Systems

Back to Top

Design and realization of region weather modification operation conditions website for integrated monitor and analysis in East China

Weifei Jiang; Qi Luo The Fourth International Workshop on Advanced Computational Intelligence, 2011

The region weather modification information operation conditions website system for integrated monitor and analysis based on B/ S (Browser/ Server) mode is developed, which is to meet the need of the weather modification professional work. The system is developed by using the .NET platform and ASP.NET technology. Applying the WebGIS technology, weather modification map release can be realized by using ...


A modest proposal: licensing personal computers and Internet service providers

C. Ray IEEE Systems, Man and Cybernetics SocietyInformation Assurance Workshop, 2003., 2003

As the threat to the Internet at large from poorly configured or maintained personal computers continues to increase it is increasingly important to consider ways to 'harden' these machines. By adopting a model based on the already familiar requirement for licensing and safety checks for individually owned vehicles operated on public thoroughfares, it may be possible to facilitate the public ...


Early network failure detection system by analyzing Twitter data

Kei Takeshita; Masahiro Yokota; Ken Nishimatsu 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM), 2015

Mobile network failures have occurred many times in recent years. Some network failures become "silent" failures that mobile carriers cannot detect because of incomplete rules concerning failure detection by the network operating system. However, the increasing number of services and devices, and the increasing complexity of the network make it hard to generate rules that cover all network failures. Therefore, ...


OSEK/VDX-operating systems for automotive applications

A. Zahir; P. Palmieri IEE Seminar on OSEK/VDX Open Systems in Automotive Networks (Ref. No. 1998/523), 1998

The complexity of electronic control units (ECU) in automotive applications increased dramatically over the past years. New functional requirements to control direct injection engines or adaptive cruise control for example introduce additional software algorithms. Furthermore, stricter regulations for the exhaust system and on-board diagnosis contribute to the fast growing code sizes. Next generation engine management systems include programs of more ...


Seamless and Secure Application Consolidation for Optimizing Instance Deployment in Clouds

Kenichi Kourai; Kouta Sannomiya 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2016

In Infrastructure-as-a-Service clouds, users can reduce costs by scale-in or- down when running applications are under-utilized. Since these optimizations of instance deployment require at least one minimum instance even for running an under-utilized application, cost reduction is limited. For further optimization, multiple applications can be consolidated into one instance. However, applications have to be stopped temporarily at the consolidation time ...


More Xplore Articles

Educational Resources on Operating Systems

Back to Top

eLearning

Design and realization of region weather modification operation conditions website for integrated monitor and analysis in East China

Weifei Jiang; Qi Luo The Fourth International Workshop on Advanced Computational Intelligence, 2011

The region weather modification information operation conditions website system for integrated monitor and analysis based on B/ S (Browser/ Server) mode is developed, which is to meet the need of the weather modification professional work. The system is developed by using the .NET platform and ASP.NET technology. Applying the WebGIS technology, weather modification map release can be realized by using ...


A modest proposal: licensing personal computers and Internet service providers

C. Ray IEEE Systems, Man and Cybernetics SocietyInformation Assurance Workshop, 2003., 2003

As the threat to the Internet at large from poorly configured or maintained personal computers continues to increase it is increasingly important to consider ways to 'harden' these machines. By adopting a model based on the already familiar requirement for licensing and safety checks for individually owned vehicles operated on public thoroughfares, it may be possible to facilitate the public ...


Early network failure detection system by analyzing Twitter data

Kei Takeshita; Masahiro Yokota; Ken Nishimatsu 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM), 2015

Mobile network failures have occurred many times in recent years. Some network failures become "silent" failures that mobile carriers cannot detect because of incomplete rules concerning failure detection by the network operating system. However, the increasing number of services and devices, and the increasing complexity of the network make it hard to generate rules that cover all network failures. Therefore, ...


OSEK/VDX-operating systems for automotive applications

A. Zahir; P. Palmieri IEE Seminar on OSEK/VDX Open Systems in Automotive Networks (Ref. No. 1998/523), 1998

The complexity of electronic control units (ECU) in automotive applications increased dramatically over the past years. New functional requirements to control direct injection engines or adaptive cruise control for example introduce additional software algorithms. Furthermore, stricter regulations for the exhaust system and on-board diagnosis contribute to the fast growing code sizes. Next generation engine management systems include programs of more ...


Seamless and Secure Application Consolidation for Optimizing Instance Deployment in Clouds

Kenichi Kourai; Kouta Sannomiya 2016 IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2016

In Infrastructure-as-a-Service clouds, users can reduce costs by scale-in or- down when running applications are under-utilized. Since these optimizations of instance deployment require at least one minimum instance even for running an under-utilized application, cost reduction is limited. For further optimization, multiple applications can be consolidated into one instance. However, applications have to be stopped temporarily at the consolidation time ...


More eLearning Resources

IEEE-USA E-Books

  • Naming

    This chapter contains sections titled: Introduction Desirable Features of a Good Naming System Fundamental Terminologies and Concepts System-Oriented Names Object-Locating Mechanisms Human-Oriented Names Name Caches Naming and Security Case Study: DCE Directory Service Summary This chapter contains sections titled: Exercises Bibliography Pointers to Bibliographies on the Internet

  • Security

    This chapter contains sections titled: Introduction Potential Attacks to Computer Systems Cryptography Authentication Access Control Digital Signatures Design Principles Case Study: DCE Security Service Summary This chapter contains sections titled: Exercises Bibliography Pointers to Bibliographies on the Internet

  • Case Studies

    This chapter contains sections titled: Introduction Amoeba V-System Mach Chorus A Comparison of Amoeba, V-System, Mach, and Chorus Summary This chapter contains sections titled: Exercises Bibliography Pointers to Bibliographies on the Internet

  • Frontmatter

    The prelims comprise: Half Title IEEE Press Board Page Title Copyright Contents Preface Acknowledgments Abbreviations and Acronyms

  • Index

    Distributed Operating Systems will provide engineers, educators, and researchers with an in-depth understanding of the full range of distributed operating systems components. Each chapter addresses de-facto standards, popular technologies, and design principles applicable to a wide variety of systems. Complete with chapter summaries, end-of-chapter exercises and bibliographies, Distributed Operating Systems concludes with a set of case studies that provide real-world insights into four distributed operating systems.

  • Fundamentals

    This chapter contains sections titled: What Is a Distributed Computing System? Evolution of Distributed Computing Systems Distributed Computing System Models Why Are Distributed Computing Systems Gaining Popularity? What Is a Distributed Operating System? Issues in Designing a Distributed Operating System Introduction to Distributed Computing Environment (DCE) Summary This chapter contains sections titled: Exercises Bibliography Pointers to Bibliographies on the Internet

  • No title

    Operating systems provide the fundamental mechanisms for securing computer processing. Since the 1960s, operating systems designers have explored how to build "secure" operating systems - operating systems whose mechanisms protect the system against a motivated adversary. Recently, the importance of ensuring such security has become a mainstream issue for all operating systems. In this book, we examine past research that outlines the requirements for a secure operating system and research that implements example systems that aim for such requirements. For system designs that aimed to satisfy these requirements, we see that the complexity of software systems often results in implementation challenges that we are still exploring to this day. However, if a system design does not aim for achieving the secure operating system requirements, then its security features fail to protect the system in a myriad of ways. We also study systems that have been retrofit with secure operating system fe tures after an initial deployment. In all cases, the conflict between function on one hand and security on the other leads to difficult choices and the potential for unwise compromises. From this book, we hope that systems designers and implementors will learn the requirements for operating systems that effectively enforce security and will better understand how to manage the balance between function and security. Table of Contents: Introduction / Access Control Fundamentals / Multics / Security in Ordinary Operating Systems / Verifiable Security Goals / Security Kernels / Securing Commercial Operating Systems / Case Study: Solaris Trusted Extensions / Case Study: Building a Secure Operating System for Linux / Secure Capability Systems / Secure Virtual Machine Systems / System Assurance

  • Computer Networks

    This chapter contains sections titled: Introduction Networks Types LAN Technologies WAN Technologies Communication Protocols Intemetworking ATM Technology Summary This chapter contains sections titled: Exercises Bibliography Pointers to Bibliographies on the Internet

  • Index

    High-performance message-based supercomputers have only recently emerged from the research laboratory. The commercial manufacturing of such products as the Intel iPSC, the Ametek s/14, the NCUBE/ten, and the FPS T Series - all based on multicomputer network technology - has sparked lively interest in high- performance computation, and particularly in the message-passing paradigm for parallel computation.This book makes readily available information on many aspects of the design and use of multicomputer networks, including machine organization, system software, and application programs. It provides an introduction to the field for students and researchers and a survey of important recent results for practicing engineers. The emphasis throughout is on design principles and techniques; however, there are also descriptions and comparison of research and commercial machines and case studies of specific applications.Multicomputer Networks covers such major design areas as communication hardware, operating systems, fault tolerance, algorithms, and the selection of network topologies. The authors present results in each of these areas, emphasizing analytic models of interconnection networks, VLSI constraints and communication, communication paradigms and hardware support, multicomputer operating systems, and applications for distributed simulation and for partial differential equations. They survey the hardware designs and the available software and present a comparative performance study of existing machines.

  • No title

    This monograph presents the timed input/output automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing of events, not just on the order of their occurrence. Timed systems are employed in a wide range of domains including communications, embedded systems, real- time operating systems, and automated control. Many applications involving timed systems have strong safety, reliability, and predictability requirements, which makes it important to have methods for systematic design of systems and rigorous analysis of timing-dependent behavior. An important feature of the TIOA framework is its support for decomposing timed system descriptions. In particular, the framework includes a notion of external behavior for a TIOA, which captures its discrete interactions with its environment. The framework also defines what it means for one TIOA to implement another, based on an inclusion relationship between their external behavior sets, and defines notions of simulations, which provide sufficient conditions for demonstrating implementation relationships. The framework includes a composition operation for TIOAs, which respects external behavior, and a notion of receptiveness, which implies that a TIOA does not block the passage of time.



Standards related to Operating Systems

Back to Top

IEEE Standard for Information Technology - Portable Operating System Interface (POSIX) - Part 26: Device Control Application Program Interface (API) [C Language]

This work will define an application program interface to device drivers. The interface will be modeled on the traditional ioctl() function, but will have enhancements designed to address issues such as type safety" and reentrancy. "


IEEE Standard for Information Technology - POSIX Ada Language Interfaces - Part 1: Binding for System Application Program Interface (API)

This document is part of the POSIX series of standards for applications and user interfaces to open systems. It defines the Ada language bindings as package specifications and accompanying textual descriptions of the applications program interface (API). This standard supports application portability at the source code level through the binding between ISO 8652:1995 (Ada) and ISO/IEC 9945-1:1990 (IEEE Std 1003.1-1990 ...


IEEE Standard for Information Technology - Standardized Application Environment Profile (AEP) - POSIX Realtime and Embedded Application Support

The project will define Application Environment Profiles for embedded and realtime applications utilizing POSIX interfaces. At least three separate profile definitions are expected: a large one for full-function realtime systems, a small one for embedded control systems, and one or more profiles of intermediate size. It will also update the existing profiles to reflect lessons learned through recent experience; for ...


IEEE Standard for Information Technology -Test Methods for Measuring Conformance to POSIX® - Part II: Shell and Utilities

This standard defines the test methods to be used to measure conformance to IEEE 1003.2 (Shell and Utility Application Interface for Computer Operating System Environments).


IEEE Standard for Information Technology POSIX®-Based Supercomputing Application Environment Profile


More Standards

Jobs related to Operating Systems

Back to Top