Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Stochastic processes --- Espaces métriques --- Limiettheorema's (Waarschijnlijkheidstheorie) --- Limit theorems (Probability theory) --- Metric spaces --- Ruimten [Metrische ] --- Théorèmes limites (Théorie des probabilités) --- 519.213 --- Spaces, Metric --- Generalized spaces --- Set theory --- Topology --- Probabilities --- Probability distributions and densities. Normal distribution. Characteristic functions. Measures of dependence. Infinitely divisible laws. Stable laws --- 519.213 Probability distributions and densities. Normal distribution. Characteristic functions. Measures of dependence. Infinitely divisible laws. Stable laws --- Théorèmes limites (Théorie des probabilités) --- Espaces métriques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents the proceedings of the Second Workshop on Algorithms and Data Structures (WADS '91), held at Carleton University in Ottawa. The workshop was organized by the School of Computer Science at Carleton University. The workshop alternates with the Scandinavian Workshop on Algorithm Theory (SWAT), continuing the tradition of SWAT '88 (LNCS, Vol. 318), WADS '89 (LNCS, Vol. 382), and SWAT '90 (LNCS, Vol. 447). From 107 papers submitted, 37 were selected for presentation at the workshop. In addition, there were 5 invited presentations.

681.3*H3 --- Computer algorithms --- -Data structures (Computer science) --- -681.3*F1 --- 681.3*I35 --- Algorithms --- Information storage and retrieval. Cd-rom --- Congresses --- Computation by abstract devices --- Computational geometry and object modeling (Computer graphics) --- Data structures (Computer science) --- Congresses. --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*F1 Computation by abstract devices --- 681.3*H3 Information storage and retrieval. Cd-rom --- 681.3*F1 --- Computer software. --- Computer science. --- Combinatorics. --- Distribution (Probability theory. --- Statistics. --- Information storage and retrieval systems. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Probability Theory and Stochastic Processes. --- Statistics, general. --- Information Storage and Retrieval. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Distribution functions --- Frequency distribution --- Characteristic functions --- Probabilities --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Software, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

681.3*G3 --- Fault-tolerant computing --- -Real-time data processing --- -681.3*B13 --- 681.3*F12 --- 681.3*F3 --- 681.3*F43 --- Fast-response data processing --- High-speed data processing --- Electronic data processing --- Computing, Fault-tolerant --- Electronic digital computers --- Fault tolerance (Engineering) --- Computer system failures --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- Congresses --- Control structure reliability, testing and fault-tolerance: diagnostics, error-checking, redundant design, test generation --- Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- Logics and meanings of programs (Theory of computation) --- Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- Reliability --- Real-time data processing --- Congresses. --- 681.3*F43 Formal languages: algebraic language theory; classes defined by grammars or automata or by resource-bounded automata; operations on languages (Mathematical logic and formal languages)--See also {681.3*D31} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F12 Modes of computation: alternation and nondeterminism; parallelism; probabilistic computation; relations among modes; relativized computation --- 681.3*B13 Control structure reliability, testing and fault-tolerance: diagnostics, error-checking, redundant design, test generation --- 681.3*G3 Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing) --- 681.3*B13 --- Real-time data processing - Congresses. --- Fault-tolerant computing - Congresses. --- Information theory. --- Mathematics. --- Logic, Symbolic and mathematical. --- Logic design. --- Distribution (Probability theory. --- Statistics. --- Theory of Computation. --- Applications of Mathematics. --- Mathematical Logic and Foundations. --- Logics and Meanings of Programs. --- Probability Theory and Stochastic Processes. --- Statistics, general. --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics --- Distribution functions --- Frequency distribution --- Characteristic functions --- Probabilities --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Math --- Science --- Communication theory --- Communication --- Cybernetics