This conferenceproceedings contains 36 papers, of which 30 are indexed separately. The subjects covered are: computer control of telephone exchanges and switching systems. software production, maintenance, and testin...
详细信息
This conferenceproceedings contains 36 papers, of which 30 are indexed separately. The subjects covered are: computer control of telephone exchanges and switching systems. software production, maintenance, and testing; stored-program-control switching systems.distributed control; and use of high-level languages.
This conferenceproceedings contains 36 papers, of which 30 are indexed separately. The subjects covered are: computer control of telephone exchanges and switching systems.software production, maintenance, and testing...
详细信息
This conferenceproceedings contains 36 papers, of which 30 are indexed separately. The subjects covered are: computer control of telephone exchanges and switching systems.software production, maintenance, and testing;stored-program-control switching systems.distributed control;and use of high-level languages.
proceedings includes 96 papers dealing with the development and uses of computer systems.and techniques in a wide range of endeavors. Topics covered include: personal computers, distributedcomputingsystems. problem ...
详细信息
proceedings includes 96 papers dealing with the development and uses of computer systems.and techniques in a wide range of endeavors. Topics covered include: personal computers, distributedcomputingsystems. problem solving techniques, data base management, recognition of Chinese and Japanese language characters, fault detection and correction, software, artificial intelligence, programming languages and translators, memory technology, computer architecture, application of computer technology in medicine, design of very large scale integrated (VLSI) and LSI circuits, computer networks, data processing, microprocessors, pattern recognition, logic design and circuits, information retrieval, speech recognition, computer control, peripheral equipment, and various industrial applications. 92 papers are abstracted and indexed separately.
This paper provides a general overview of distributed data processing (DDP) and the unique performance considerations involved in such systems. A general definition of DDP is first given, discussing it in the context ...
详细信息
The proceedings contain 29 papers. The topics discussed include: a model of virtual storage personal computing (VSPC) based on QNET4;a multicomputer system with software reconfiguration of the architecture;a stimulati...
The proceedings contain 29 papers. The topics discussed include: a model of virtual storage personal computing (VSPC) based on QNET4;a multicomputer system with software reconfiguration of the architecture;a stimulation study of timesharing cost-effectiveness;a study of multiprocessor contention for shared data in ***;an approach to the design of a learning memory manager;an experimentally validated model of the paging drum;development of a performance evaluation methodology for the CRAY-1;global LRU page replacement in a multiprogrammed environment;operating system enhancement through firmware;performance considerations for distributed data processing systems.predicting module properties from global parameters;utilization of performance data in a real-time scheduler;and a study on the effectiveness of data blocking in an MVS environment.
52 full papers, as well as abstracts of the remaining papers, are presented on the following topics: data base design;distributed processing and data base machines;data base languages and human factors;user's view...
详细信息
52 full papers, as well as abstracts of the remaining papers, are presented on the following topics: data base design;distributed processing and data base machines;data base languages and human factors;user's view of very large data base applications;directions in data base research;storage device architecture;file manipulation and organization;data base machines;data base applications;intelligent access to data bases;data and program restructuring;end-user languages;experimental systems.functional dependencies;data models;data base design tools;theory of imprecise data;security, integrity, and recovery of data;and the future of data base systems.study. Selected papers are indexed separately.
52 full papers, as well as abstracts of the remaining papers, are presented on the following topics: data base design; distributed processing and data base machines; data base languages and human factors; user's v...
详细信息
52 full papers, as well as abstracts of the remaining papers, are presented on the following topics: data base design; distributed processing and data base machines; data base languages and human factors; user's view of very large data base applications; directions in data base research; storage device architecture; file manipulation and organization; data base machines; data base applications; intelligent access to data bases; data and program restructuring; end-user languages; experimental systems. functional dependencies; data models; data base design tools; theory of imprecise data; security, integrity, and recovery of data; and the future of data base systems.study. Selected papers are indexed separately.
One hundred and fifty-six papers were presented at the Thirdinternational Joint conference on Pattern Recognition. The individual sessions covered the following topics: Industrial Applications;Feature Extraction and ...
详细信息
One hundred and fifty-six papers were presented at the Thirdinternational Joint conference on Pattern Recognition. The individual sessions covered the following topics: Industrial Applications;Feature Extraction and Primitive Selection;Syntactic Methods in Pattern Analysis;Optical Character Recognition;Learning Algorithms and Sample Size;Line Drawing and Waveform Processing;Interactive Pattern Analysis;Statistical Pattern Recognition Theory;Perceptual Modeling;Pattern Recognition Competition;General Applications;Clustering;Linguistic Applications and Natural Language Processing;Theoretical Problems;Segmentation and Shape Encoding;Medical Image Processing and Pattern Analysis;Picture Description and Scene Analysis;Speech Recognition and Data Compression;Remote Sensing;Parallel Processing and Two-Dimensional Digital Filtering;Edge, Line and Object Recognition;Applications of Pattern Recognition Technique;Image Analysis and Texture;Data Base Computer systems.
One hundred and fifty-six papers were presented at the Thirdinternational Joint conference on Pattern Recognition. The individual sessions covered the following topics: Industrial Applications; Feature Extraction and...
详细信息
One hundred and fifty-six papers were presented at the Thirdinternational Joint conference on Pattern Recognition. The individual sessions covered the following topics: Industrial Applications; Feature Extraction and Primitive Selection; Syntactic Methods in Pattern Analysis; Optical Character Recognition; Learning Algorithms and Sample Size; Line Drawing and Waveform Processing; Interactive Pattern Analysis; Statistical Pattern Recognition Theory; Perceptual Modeling; Pattern Recognition Competition; General Applications; Clustering; Linguistic Applications and Natural Language Processing; Theoretical Problems; Segmentation and Shape Encoding; Medical Image Processing and Pattern Analysis; Picture Description and Scene Analysis; Speech Recognition and Data Compression; Remote Sensing; Parallel Processing and Two-Dimensional Digital Filtering; Edge, Line and Object Recognition; Applications of Pattern Recognition Technique; Image Analysis and Texture; Data Base Computer systems.
The proceedings contain 44 papers. The special focus in this conference is on Mathematical Foundations of Computer Science. The topics include: Mathematical model of programs with dynamic allocation of variables;model...
ISBN:
(纸本)9783540071624
The proceedings contain 44 papers. The special focus in this conference is on Mathematical Foundations of Computer Science. The topics include: Mathematical model of programs with dynamic allocation of variables;models for analysis of races in sequential networks;mathematical foundations of motivation languages and synthesis maps;the semantics of semantic equations;ω+-valued algorithmic logic as a tool to investigate procedures;call-by-value versus call-by-name: A proof-theoretic comparison;procedures, formal computations and models;foreword;sequential functions and generalized Moore and Mealy automata;r-fuzzy automata with a time-variant structure;functions computable in the limit by probabilistic machines;some properties of limit recursive functions;on some approximation problems of continuous computation;set-theoretic properties of programs in stored program computers;Classification of programs of a SPC;the algebraic approach to the theory of computingsystems.continuous simple Z-machines, Z-computable functions and sets of functions of n real variables;an approach to correctness proofs of semicoroutines;towards an understanding of complex processes;mathematical methods of the theory of stochastic automata;simulation;concurrent programs;ultralinear expressions;a family of algebraic systems.related to the theory of equations on free monoids;stretching by probabilistic tree automata and Santos grammars;top down versus bottom up syntax analysis revised;substring languages;defining languages by Mazurkiewicz aigorithms;complexity and normal forms of context-free languages;the axiomatization problem of a theory of linear languages;on the quasi-controllability of automata;a lattice-theoretical approach to problem-solving;on the equivalence of planar grammars and parallel picture processing algorithms;proving programs by sets of computations.
暂无评论