Вы здесь

Главная

переход

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

A Comparison of Dynamic Branch Predictors that use Two Levels of Branch History
A Formal Definition of Hierarchical Predicate Transition Nets
A language of actions in ontological transition systems
A PrT-net Representation of Graph Grammars
Branch Elimination via Multi-variable Condition Merging
Branching Time Equivalences for Interactive Markov Chains
Comparative Transition System Semantics
CONCUR 2007 - Concurrency Theory: Proc./18th International Conference. Lisbon, Portugal, September 2007
Concurrent Semantics without the Notions of State or State Transitions
Conditions and Restrictions for Product Line Generation Migration
Constraints and Extensions in a Calculus of EN Systems
Derivation of a Dialog Model from a Task Model by Activity Chain Extraction
Distributing Finite Transition Systems Extended Abstract
Does Transitivity Help? On the Complexity of Poset Properties
Efficient Local Correctness Checking for Single and Alternating Boolean Equation Systems
Equivalences and Preorders of Transition Systems
Factorized test generation for multi-input/output transition systems
Improving the Accuracy of Dynamic Branch Prediction Using Branch Correlation
Interprocedural Constant Propagation: A Study of Jump Function Implementations
Near-optimal Intraprocedural Branch Alignment
On Distributed Languages and Models for Concurrency
On Testing Partially Specified IOTS through Lossless Queues
Parameterized Reachability Trees for Predicate/Transition Nets
Predicting Conditional Branch Directions from Previous Runs of a Program
Program Refinement in Fair Transition Systems
Specification of Coordinated Behavior by SOCCA
Testing Transition Systems: An Annotated Bibliography
The Meaning of Negative Premises in Translation System Specifications
Verification and Comparison of Transition Systems
Алгоритм оптимизации потоков работ
Об унификации поведенческих эквивалентностей временных систем переходов
Переход на Windows 95
Суперкомпиляция высшего уровня как путь к метасистемному переходу
Теоретико-категорные исследования временных систем переходов с независимостью