Вы здесь

Главная

c

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

A Case Study: Effects of With-Loop-Folding on the NAS Benchmark MG in SAC
An Observationon the C Library Procedure Random()
A Software Tool for Implementing Neural Networks for Digital Signal Processing on an Array of Transputers
A Translator from C to a Lambda-Calculus Representation
Boolean and Cartesian Abstraction for Model Checking C Programs
Building Monitors with UNIX and C
C-DVM - язык разработки мобильных параллельных программ
C - HASKELL, or Yet Another Interfacing Tool
Concurrent C++: Concurrent Programming With Class(es)
CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.
C to Java Migration Experiences
Debugging via Run-Time Type Checking
Dynamic Slicing Method for Maintenance of Large C Programs
Experiences from a Large Industrial Circuit Design Application
Fast Points-to Analysis for Languages with Structured Types
From Generic C Code to Type-Safe Class Template in C++
High Integrity Data in a UML and C World
Interprocedural Modification Side Effect Analysis With Pointer Aliasing
Low-Level Programming: C, Assembly, and Program Execution on Intel 64 Architecture
Microsoft C for the MS-DOS Operating System
Microsoft C Optimizing Compiler for the MS-DOS Operating System (5.0)
Model-Driven Software Verification
Nobrainer: Инструмент преобразования C/C++ кода на основе примеров
On Providing a High-Level C Interface for an Object-Oriented, C++ System
Parallelizing a C Dialect for Distributed Memory MIMD Machines
Physical Type Checking for C
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C
Prolog Testing of C Modules
Run-Time Type Checking for Binary Programs
Simple Garbage-Collector-Safety
Software Portability Annotated Bibliography
SYNAPS/3 - An Extension of C for Scientific Computations
Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009
Towards Portable Message Passing in Java: Binding MPI
Type Checking Systems Code
WRAPGEN - A Tool for the Use of Fortran and C Together in Portable Programs
Writing Solid Code
Автоматическая верификация С-программ на основе смешанной аксиоматической семантики
Введение в язык программирования Си
Инструментальные пакеты СИ-программ для создания информационных систем на ПЭВМ "Роботрон-1715"
Использование особенногсей ЦПОС в компиляторе языка "C"
Методы и средства автоматизированного обнаружения уязвимостей в программах на языке С на основе стратегического анализа их исходных текстов
Начальный курс С и С++
Особенности оптимизаций в компиляторе языка C для ЦПОС
Отображение векторных конструкций языка C[] на векторные и суперскалярные компьютеры (на примере 1860)
Первые шаги от C к C++
Программирование на языке Си для персонального компьютера IBM PC
Продолжаем работать на C
Система программирования Си-инструмент
Язык Си