Вы здесь

Главная

Computer Science

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

Action refinement and equivalence notions for timed event structures
ALC for CLA: Towards description logic on concept lattices
Algebraic Semantics of an Imperative Programming Language as a Compiler Abstract Model
An Algebra of Labelled Nondeterministic Processes
An approach to development of the decision support system for enterprise with complex technological infrastructure
An efficient associative algorithm for multi-comparand parallel searching and its applications
An extension of a visualization component of ontology based portals with visual analytics facilities
Animat control system based on semantic probabilistic inference
An Investigation of Equivalence Notions on Some Subclasses of Petri Nets
A reliable linear constraint solver for the UniCalc system
A research automation system for macroeconomic modeling
Associative parallel algorithm for dynamic reconstruction of the shortest paths tree after insertion of a vertex
A Three-Level Approach to C# Program Verification
Back-end translator for Sisal 3.1 compiler
Bisimulation for fluid stochastic Petri nets
Bulletin of the Novosibirsk Computing Center
Causal trees and timed causal trees categorically
Cellular-Neural Computations: Formal Model
Compositional methods in characterization of timed event structures
Construction used in associative parallel algorithms for undirected graphs. Part 1
Effective Representation of Algorithm for Finding a Minimal Spanning Tree of a Graph in Associative Parallel Processor
Equivalence Notions for event Structures and Refinement of Actions
Equivalences for Behavioural Analysis of Multilevel Systems
Error-tracing axiomatic semantics for C-kernel
Experiments on self-applicability in the C-light verification system
Formal Semantics and Verification of Distributed Systems Presented by Basic-REAL Specifications
Format verification of programs for abstract register machines
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler
High-Performance Heterogeneous Processing in Concentrating Computing System
Integrated Enterprise-Level Security Solution "Vostok"
Introduction on the Atoment language
Iteration in discrete time stochastic Petri box calculus
Logical Characterization of Probablistic theta-Bisimulation Equivalents
Methods for analysis of data from social networks
Methods of syntactic analysis and comparison of constructions of a natural language oriented to use in search systems
Model-checking mu-Calculus in Well-Structured Transition Systems
Model Checking of Time Petri Nets
Modelling the Semantics of Coloured Dataflow Networks
Models and algorithms for detection of spam and senders of spam
Network monitoring and analysis systems. Review and operational experience
On a Symbolic Method of Verification for Definite Interaction over Data Structures
On Completeness of Mechanism of Annotation-Directives
On Compositional Model Checking in the Modal Mu-calculus and Its Extension with Multiple Clocks
On Parallel Recursive Mapping Algorithm for Pyramidal Multiprocessor Systems
On some graphs connected with texts in a natural languages, link grammar and summarization process
On the need to specify and verify standard functions
Open maps and weak trace equivalence for timed event structures
Operational semantics development for procedural programming languages based on conceptual transition systems
Performance preserving equivalences for dtsPBC
Programming paradigms in higher education