Вы здесь

Главная

связанный

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

A Method for Analyzing the Mutual Exclusion Overhead of Tightly Coupled Multiprocessors
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 2011
Bounded Self-Stabilizing Petri Nets
Construction used in associative parallel algorithms for undirected graphs. Part 1
Cooperating/Distributed Grammar Systems: a Link between Formal Languages and Artificial Intelligence
Designing Configuration Management Facilities for Dynamically Bound Systems
Efficient Execution of Fine-Grain Parallelism on a Tightly-Coupled Multiprocessor
Parallel Algorithms for Image Histogramming and Connected Components with an Experimental Study
Генерация тестов на абстракциях систем событий для покрытия их состояний и переходов
Поливариантный анализ периода связывания