Вы здесь

Главная

Lecture Notes in Computer Science

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

A Comparison of Software Product Family Process Frameworks
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for JavaTM
A Comparison of the BTT and TTF Test-Generation Methods
A Comparison of the Business Object Notation and the Unified Modeling Language
A Comparison of the Byzantine Agreement Problem and the Transaction commit Problem
A Comparison of the Iserver-Occam, Parix, Express, and PVM Programming Environments on a Parsytec GCel
A Comparison of the Object Oriented Features of Ada 9X and C++
A Comparison of the PRISM and OMNI-Point Methodologies for the Specification of Management Systems
A Comparison of Three High Speed Networks for Parallel Cluster Computing
A Comparison of Two Architectures for Implementing Security and Privacy in Cyberspace
A Comparison of Two Lower Bound Methods for Communication Complexity
A Comparison of Two Memory Models for High Performance Computers
A Comparison of Two Persistent Storage Tools for Implementing a Search Engine
A Comparison of Two Verification Methods for Speculative Instruction Execution
A Compilation and Optimization Model for Aspect-Oriented Programs
A Compilation Approach for Fortarn 90D/HPF Compilers
A Compilation Scheme for a Hierarchy of Array Types
A Compilation Technique for Varying Communication Cost NUMA Architectures
A Compiler Abstraction for Machine Independent Parallel Communication Generation
A Compiler-Based Approach to Data Security
A Compiler for Natural Semantics
A Compiler for Rewrite Programs in Associative-Communicative Theories
A Compiler Framework for Tiling Imperfectly-Nested Loops
A Compiler Framework to Detect Parallelism in Irregular Codes
A Compiler Generator for Constraint Logic Programs
A Compiler Scheduling for a Specialized Synchronous Multiprocessor System
A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs
A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization
A Complementary Approach for Adaptive and Adaptable Hypermedia: Intensional Hypertext
A Complete Axiomatic Semantics for the CSP Stable-Failures Model
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours
A Complete Axiomatization of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification
A Complete Characterization of Termination of 0 1 - 1 0
A Complete Declarative Debugger of Missing Answers
A Complete Finite Prefix for Process Algebra
A Complete Indexing Scheme for WAM-based Abstract Machines
A Complete Method for the Synthesis of Linear Ranking Functions
A Completeness Theorem for Nondeterministic Kleene Algebras
A Complete Resolution Method for Logical Meta-programming Languages
A Complete Transformational Toolkit for Compilers
A Complete Type Inference System for Subtyped Recursive Types
A Compliant Environment for Enacting Evolvable Process Models
A Component and Communication Model for Push Systems
A Component-Based Architecture to Support Collaborative Application Design
A Component-Based Design Approach for Collaborative Distributed Systems
A Component-Based Parallel Constraint Solver
A Component Based Real-Time Scheduling Architecture
A Component Calculus for Modeling the Olan Configuration Language
A Component Framework for Dynamic Reconfiguration of Distributed Systems
A Component Language for Hybrid Solver Cooperations