Вы здесь

Главная

КОН

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

Knowledge Acquisition via a Graphical Interface
Knowledge Representation in CAD
Levels of Abstraction in Knowlidge Representation and Processing
Loss-Load Curves: Support for Rate-Based Congestion Control in High-Speed Datagram Networks
MARS: The Magnet II Real-Time Scheduling Algorithm
Network Locality at the Scale of Processes
Nomenclator Descriptive Query Optimization for Large X.500 Environments
Observations on the Dynamics of a Congestion Control Algorithm: The Effects of Two-Way Trafic
On One Aspect of Natural-Language Based Knowledge Acquisition
On same Aspects of the Production-System Language Tops
On Satisfying Timing Constraints in Hard-Real-Time Systemes
Parallel Computing in Control
Parallel Computing in Engineering and Engineering Education: Proc. /First World Conference, UNESCO, Paris, October 1990
Parallel Computing Technologies: Proc./Intern. Conf., USSR, Novosibirsk, sept. 1991
Parallelism in AI Algorithms and Computers
Parallel Processing for Real-Time Systems: A Primer Course
Percept Knowlige-Base Systems
Performance Analysis of a Feedback Congestion Control Policy Unger Non-Negligible Propagation Delay
Petri Net Inference for Data Processing
Proc./1976 International Conference on Parallel Processing
Productions in Expert Systems
Programming and Verifying critical Systems by Means of the Synchronous Data-Flow Language LUSTRE
Prolog with Term Rewriting as a Functional Component
Queueing Analysis of A Statistical Multiplexer with Multiple Slow Terminals
Remote access parallel computing education and training for Australian conditions
Rewriting Rule Methods in Logic Databases
Rigorous Development Using RAISE
Self-Diagnosis of a MIMD Parallel System
SIGOIS Bull.: Conf. on Organizational Computing Systems, November 5-8, 1991, Atlanta, Georgia.
SIGPLAN Notices: OOPSLA 91. Conf. on Object-Oriented Programming Systems, Languages and Applications, 6-11 October 1991, Phoenix, Arizona.
SIMD-MIMD Architecture for Very Large Databases
Simulation Strategies for Computer Networks on a Parallel MIMD Computer
Software Engineering Notes: Proc. of the ACM SIGSOFT 91 Conf. on Software For Critical Systems, New Orleans, Louisiana, December 4-6, 1991
Solving Partial Differential Equations on a Parallel Supercomputers
Specifying and Verifying Requirements of Real-Time Systems
State-Based Model Checking of Event-Driven System Requirements
Stepwise Design of Real-Time Systems
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Teaching in Computer Architecture Based on Sumulation Environment
Teaching Parallelism and Concurrency to Engineering Students: Experiences at the University of East Anglia
Teaching Parallel Processing
The Infeasibility of Experimental Quantification of Life-Critical Software Reliability
The LAMS-DLC ARQ Protocol
The Unification of Hardware and Software Engineering Education through Formal Methods
Transputer Implementation of Parallel Real-Time Systems
Variable-Depth Text Understanding: Integrating Importance Evaluation into the Comprehension Process
V-th All-Union Conference Systems of Data and Knowledge Bases: Proc.
Методы математического моделирования в задачах охраны природной среды и экология: Тез. докл. Всесоюзн. конф.
Методы трансляции и конструирования программ, Часть 1: Тезисы докладов Всесоюзной конференции, Новосибирск, 23-25 нояб. 1988 г.
ПФИС-91: Международная научно-техническая конференция "Проблемы функционирования информационных сетей": 2-6 сентября, 1991 года, Новосибирск. Часть 2