Вы здесь

Главная

ветвление

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

Branching Programs versus Oblivious Branching Programs
Branching Time Equivalences for Interactive Markov Chains
Branching Time-Property Preservation Between Real-Time Systems
CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
Is Timed Branching Bisimilarity an Equivalence Indeed?
К вопросу об оценке оптимальной степени параллелизма
Оптимальный алгоритм чистки регулярных гамаков
Представление алгоритма Эдмондса для нахождения оптимального ветвления графа на ассоциативном параллельном процессоре