Вы здесь

Главная

код

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

Abstract Interpretation and Low-Level Code Optimization
Abstract Polymorphism and Code Reuse
A Calculus for Secure Mobility
A Case Study of Feature Location in Unstructured Legacy Fortran Code
Accelerating Code Deployment on Active Networks
A Code Selection Method for SIMD Processors with PACK Instructions
Adaptive Compression of Syntax Trees and Iterative Dynamic Code Optimization: Two Basic Technologies for Mobile Object Systems
Address Register Assignment for Reducing Code Size
A Descriptor-Based Approach to 00 Code Reuse
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors
Aggressive Loop Unrolling in a Retargetable, Optimizing Compiler
Alias Analysis of Executable Code
A Meta-heuristic Approach to Parallel Code Generation
A Microcode Compiler for the Watch-oriented RISC Processor
An ALGOL Object Code Interpreter in Scheme
An Algorithm for Reducing Binary Branchings
Analysis of Compiled Code: A Prototype Formal Model
Analyzing Memory Accesses in x86 Executables
An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications
An Automatic Code Generation Process for Dynamic Specialization based on Design Patterns and Formal Techniques
An Empirical Study of Retargetable Compilers
A Neural Network Based Tool for Semi-automatic Code Transformation
An Evaluation of Bottom-Up and Top-Down Thread Generation Techniques
A New Algorithm for Partial Redundancy Elimination Based on SSA Form
A New Framework for Debugging Globally Optimized Code
An Experience of Software Reuse Activities
An Experiment in Parallelizing an Application Using Formal Methods
An Implementation Technique for a Class of Bottom-Up Procedures
A Non-Deterministic Scheduler for a Software Pipelining Compiler
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./13th Intern. Symp., AAECC-13. Honolulu, Hawaii, USA, November 1999
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: Proc./14th Intern. Symp., AAECC-14, Melbourne, Australia, November 2001
A Practical Approach to the Symbolic Debugging of Parallelized Code
Arachne: A Portable Threads System Supporting Migrant Threads on Heterogeneous Network Farms
Arithmetic of Finite Fields: Proc./Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 2010
Array Reference Disambiguation for VLIW
A Scalable Architecture for Proof-Carrying Code
A Scaleable, Automated Process for Year 2000 System Correction
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code
A Software Fault Prevention Approach in Coding and Root Cause Analysis
A Specification-Based Approach to Concurrency Analysis
A Spill Code Placement Framework for Code Scheduling
A Static Study of Java Exceptions Using JESP
AToM3: A Tool for Multi-formalism and Meta-Modeling
A Two-Phase Approach to Reverse Engineering Using Formal Methods
A Universal Data-Base for Data Compression
Automated Interface Code Generation from Ada Specifications
Automated Proofs of Object Code for a Widely Used Microprocessor
Automatically Identifying Reusable 00 Legacy Code
Automatic Design Patterns Identification of C++ Programs