Towards Runtime Monitoring in Real-Time Systems Martin Pohlack, Bj¨ orn D¨ obel, and Adam Lackorzy´ nski Technische Universit¨at Dresden

Source URL: os.inf.tu-dresden.de

• L4 microkernel family
• Monolithic kernels
• Computing platforms
• Microkernel
• Kernel
• Mach
• Linux kernel
• Thread
• Ring
• Computer architecture
• Computing
• Software

N IF Navigation and Ancillary Information Facility Obtaining SPICE Components Offered by NAIF and Horizons Emphasis on Kernels

Source URL: naif.jpl.nasa.gov

• Goddard Space Flight Center
• Planetary Data System
• Wget
• Kernel
• Monolithic kernels
• FileZilla
• Linux kernel
• File Transfer Protocol
• Operating system
• Software
• Computing
• Portable software

N IF Navigation and Ancillary Information Facility SPICE Conventions A summary of standards, lingo and common usage within SPICE

Source URL: naif.jpl.nasa.gov

• Computer file formats
• Linux kernel
• Monolithic kernels
• FreeBSD
• Loadable kernel module
• Kernel
• Planetary Data System
• Operating system
• SPICE
• Software
• Computing
• Computer architecture

N IF Navigation and Ancillary Information Facility Porting Kernels November 2014

Source URL: naif.jpl.nasa.gov

• Software
• Kernel
• Binary file
• Linux kernel
• Newline
• Trix
• Unix
• Zip
• Spacecraft Planet Instrument C-matrix Events
• Computer architecture
• Monolithic kernels
• System software

WinDriver™ USB Version[removed]General Description WinDriver is a driver development toolkit that simplifies the creation of monolithic device drivers. WinDriver includes a graphical development environment, APIs, diagn

Source URL: www.jungo.com

• Windows CE
• Computing
• Jungo
• Software
• Windows Embedded
• Operating system
• X86-64
• Windows XP editions
• Comparison of Microsoft Windows versions
• Microsoft Windows
• Computer architecture
• Windows XP

WinDriver™ PCI Version[removed]General Description WinDriver is a driver development toolkit that simplifies the creation of monolithic device drivers. WinDriver includes a graphical development environment, APIs, diagn

Source URL: www.jungo.com

• Jungo
• X86-64
• Microsoft Windows
• Operating system
• Windows CE
• Kernel
• 64-bit
• Linux
• Device driver
• Computing
• Computer architecture
• Software

WebGeocalc Version[removed]Release Announcement January 2015 Dear Colleagues, NAIF is pleased to broadly announce the availability of a new interface to SPICE – WebGeocalc (WGC) Version[removed]Some of you already know ab

Source URL: naif.jpl.nasa.gov

• Monolithic kernels
• Kernel
• Planetary Data System
• SPICE
• Linux kernel
• Computer-aided design
• Cell
• Spacecraft Planet Instrument C-matrix Events
• Software
• Computer architecture
• Simulation software

RB046 Off Land Grey Surfaces Tracklist[removed].

Source URL: media.sonicsquirrel.net

Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel David Hulse and Alan Dearle Department of Computing Science and Mathematics University of Stirling Stirling, FK9 4LA, Scotland

Source URL: www.osdever.net.

• Operating system kernels
• Kernel
• Monolithic kernels
• Microkernel
• L4 microkernel family
• Thread
• Ring
• Operating system
• System call
• Computer architecture
• System software
• Computing

Topsy - A Teachable Operating System Version 1.1, [removed]George Fankhauser, Christian Conrad, Eckart Zitzler, Bernhard Plattner Computer Engineering and Networks Laboratory, ETH Zürich

Source URL: www.tik.ee.ethz.ch

• Monolithic kernels
• Concurrent computing
• Thread
• Kernel
• Architecture of Windows NT
• Mach
• Ring
• Microkernel
• Linux kernel
• Computer architecture
• Computing
• System software