Вы здесь

Главная

распределенный

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

Uni*Bench - Universal Tool for Performance Evaluation of Distributed Database Systems
UNICORE: A Grid Computing Environment for Distributed and Parallel Computing
Unidirectional Star Graphs
Unification Using a Distributed Representation
Unified Protocols of Concurrency Control and Recovery in Distributed Object-based Databases
Unifying Theories of Programming: Proc./Third International Symposium, UTP 2010, Shanghai, China, November 2010
Universal Axioms for Bisimulations
UNIX-кластеры
Unreliable Failure Detectors via Operational Semantics
Update Propagation of Replicated Data in Distributed Spatial Databases
Usability an Effective Methodology for Designing Services in the Agricultural Sector
Use of a Semantically Grained Database System for Distribution and Control within Design Environments
User Defined Mappings in Vienna Fortran
User Role in Problem Solving with Distributed Artificial Intelligent Systems
User s Guide to Sciddle Version 3.0
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS
Using a Distributed Approach to Retrieve and Integrate Information from Heterogeneous Distributed Databases
Using Interceptors to Enchance CORBA
Using Interface Inheritance to Address Problems in System Software Evolution
Using Message Semantics to Reduce Rollback in the Time Warp Mechanism
Using Mobile Agents for Distributed Network Performance Management
Using Opportunistic Combining Networks to Reduce Contention in Multicomputer
Using Real Time Constraints for Modularisation
Using semantic knowledge of transactions to improve recovery and availability of replicated data
Using Simulated Execution in Verifying Distributed Algorithms
Using Standard Tools to Build an Open, Client/Server Ptototype
Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking
Using the Causal Domain to Specify and Verify Distributed Programs
Using Wrapper Agents to Answer Queries in Distributed Information Systems
Utilisation des intervalles d estampilles pour le controle de la concurrence des acces a une base de donnees repartie
Validating Distributed Object and Component Designs
Validating Quality of Service for Reusable Software Via Model-Integrated Distributed Continuous Quality Assurance
Valuation of Trust in Open Networks
Value-Based Distributions in Fortran D
Vectorized Presentation-Level Services for Scientific Distributed Applications
Verification and Modelling of Authentication Protocols
Verification, Modal Checking, and Abstract Interpretation: Proc./14th International Conference, VMCAI 2013, Rome, Italy, January, 2013
Verification of a Distributed Cache Memory by Using Abstractions
Verification of a Distributed Summation Algorithm
Verification of Distributed Algorithms with Algebraic Petri Nets
Verification of Distributed Dataspace Architetures
Verification Oriented Specification of Distributed Systems in Estelle
Verification Tools from the CONCUR project
Verifying a Distributed Database Lookup Manager Written in Erlang
Verifying Atomic Data Types
Verifying Randomized Byzantine Agreement
Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation
Viewpoints and Objects
Views of Distributed Systems