Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
вычисление
Связанные издания:
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations
Abductive Planning with Event Calculus
About Design and Efficiency of Distributed Programming: Some Algorithmic Aspects
Abstract specification of structures and methods in symbolic mathematical computation
A Calculus of Value Broadcasts
A Case for the PRAM as a Standard Programmer s Model
A Compositional Trace-Based Semantics for Probabilistic Automata
A Construction of Typed Lambda Models Related to Feasible Computability
A continuum of failure models for distributed computing
A Coordination Model and Facilities for Efficient Parallel Computation
Action Calculi, or Syntactic Action Structures
Actors as a Coordinating Model of Computation
A Customizable Implementation of RMI for High Performance Computing
Adaptation Models for Network-Aware Distributed Computations
Adaptive Multiversion Data Broadcast Organizations
A Decade of Concurrency - Reflections and Perspectives: Proc./REX School-Symp. Noordwijkerhout, The Netherlands, June 1993
A Dependently Typed Ambient Calculus
A Distance Learning Package for Parallel Computing
A Distributed Abstract Machine for Boxed Ambient Calculi
A Distributed Computing Center Software for the Efficient Use of Parallel Computer Systems
A Distributed Self-Stabilizing Solution to the Dining philosophers Problem
Advanced Mathematics: Computations and Applications: Proc./Intern. Conf. AMCA-95. Novosibirsk, Russia, 20-24 June, 1995
Advances in Computing Science - ASIAN 2003. Programming Languages and Distributed Computation: Proc./8th Asian Computing Science Conf., Mumbai, India, December 2003
Advances in Parallel Computing for Reactor Analysis and Safety
A Dynamic Algorithm for Online Scheduling of Parallel Processes
A Framework for Analysis of European HPCN Centres
A Framework for Analyzing Locality and Portability Issues in Parallel Computing
A Framework for Exploiting Data Availability to Optimize Communication
AG: A Set of Maple Packages for Symbolic Computing of Automata and Semigroups
A General Approach to Trace-Checking in Distributed Computing Systems
A Generalization of Binary Search
A Grand Unified Theory for Structural Computing
A Highly Effective Partition Selection Policy for Object Database Garbage Collection
Algebraic Manipulation: Systems
Algorithms and Computation: Proc./14th Intern. Symp., ISAAC 2003, Kyoto, Japan, December 2003
Algorithms and Computation: Proc./4th Intern. Symp., ISAAC 93. Hong Kong, December 1993
Algorithms and Computation: Proc./5th Intern. Symposium, ISAAC 94. Beijing, P.R.China, August 1994
Algorithms and Computation:Proc./6th International Symposium, ISAAC 95 Cairns, Australia, December 1995
Algorithms and Computation: Proc./8th Intern. Symp., ISAAC 97. Singapore, December 1997
Algorithms and Computation: Third Intern. Symp., ISAAC 92, Nagoya, Japan, December 1992
Algorithms, Software and Hardware of Parallel Computers
Alias calculus for a simple imperative language with decidable pointer arithmetic
A Monadic Calculus for Parallel Costing of a Functional Language of Arrays
An Action Structure for Synchronous -Calculus
An Algebra of Properties
An Algebra of Time-Consuming Computations
An Alternate Representation of Distributed Computations
An Annotated Bibliography of Dependable Distributed Computing
An Application Specific Parallel Programming Paradigm
An Approach to Reducing Delays in Recognizing Distributed Event Occurrences
1
2
3
4
5
6
7
8
9
…
следующая ›
последняя »