Вы здесь

Главная

ядро

Связанные издания:

A "Bare-Machine" Implementation of Ada Multi-tasking beneath the Linux Kernel
A Multiprocessor Kernel for Active Object-Based Systems
An Active Component for a Parallel Database Kernel
An Approach to Implementing Persistent Computations
A (Non-elementary) Modular Decision Procedure for LTrL
A POSIX-Ada Interface for Application-Defined Scheduling
Artificial Neural Networks and Machine Learning - ICANN 2011, Part I: Proc./21st International Conference on ANN, Espoo, Finland, June 2011
A Short Note on Implementing "New" Machine Instructions by Software for Efficient Test of Page Accessibility
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter
A Systematic Kernel Development
CHAOSarc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications
ChorusToolbox: MacOS Running on Top of Chorus
Efficient Algorithms for Computing S-invarints for Predicate/Transition Nets
Embedding Daclarative Subprograms into Imperative Constructs
EROS: "принципиальная" операционная система
Experiences Structuring Software in a Periodic Real-time Environment
Experience with Chorus
Fine-Grained Dynamic Instrumentation of Commodity Operating System Kernels
First-Class User-Level Threads
GDoM a Multilevel Document Manager
Graph-Based Representations in Pattern Recognition: Proc./11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 2017
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Kernel Structuring for Object-Oriented Operating Sstems: The Apertos Approach
Life on the OS/Network Boundary
Linux 2.2 - бесплатная угроза для NT
Linux-2.4 - шаг к безопасности
Loadable Kernel Modules
Machine Learning and Data Mining in Pattern Recognition: Proc./7th International Conference, MLDM 2011, New York,NY,USA, August 2011
METU Object-Oriented DBMS Kernel
Multiple Classifier Systems: Proc./10th International Workshop, MCS 2011, Naples, Italy, June 2011
O-O Requirements Analysis: An Agent Perspective
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment
Persistence in the Grasshopper Kernel
String Processing and Information Retrieval: Proc./18th International Symposium, SPIRE 2011, Pisa, Italy, October 2011
The RHAPSODY Semantics of Statecharts (or, On the Executable Core of the UML)
The Windows NT Kernel Architecture
Toward Real Microkernels
Using Continuations to Implement Thread Management and Communication in Operating Systems
Verified Software: Theories, Tools, Experiments: Proc./Third International Conference, VSTTE 2010, Edinburg,UK, August 2010
VxD в Windows 95
Windows NT Server 4.0
Конфигурируемая система статической верификации модулей ядра операционных систем
Моделирование окружения с использованием шаблонов для статической верификации модулей ядра LINUX
Применение принципа виртуальных процессоров при аппаратной и микропрограммной реализации ядра ОС
Путевые ядра и длины циклов в неориентированных графах
Разработка компонента синтаксического анализа предложений русского языка для интеллектуальной системы обработки естественно-языкового текста
Распределенная ОС Тритон: Архитектура и функции ядра
Текстовые процессоры как ядро вычислительной среды
Ядро КС-грамматики и синтаксический анализ