Choose an application

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

Information science --- Information theory --- Communication theory --- Communication --- Cybernetics --- Information literacy --- Library science --- Information science. --- Information theory.

Choose an application

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

This volume contains the presentations of the Sixth Symposium on Theoretical Aspects of Computer Science (STACS 89) held at the University of Paderborn, February 16-18, 1989. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: computational geometry, automata theory and formal languages, semantics of programming languages, parallel algorithms, graph algorithms, complexity, structures, fault tolerance, completeness, distributed computing and concurrency.

Computer science --- 681.3*B11 --- 681.3*F0 --- 681.3*G2 --- 681.3*I1 --- 681.3*I35 --- Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- Computerwetenschap--?*F0 --- Discrete mathematics (Mathematics of computing) --- Algebraic manipulation (Computing methodologies) --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*B11 Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Computational Mathematics and Numerical Analysis. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Mathematics. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Computer mathematics --- Electronic data processing --- Mathematics --- Communication theory --- Communication --- Cybernetics

Choose an application

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

Parallel computing research is now yielding a growing stream of results, and the first applications within Shell may be expected to be delivered within a few years. The aim of this conference on parallel computing was to review the progress of research in the field and to discuss the problems which still have to be solved. The papers presented were all invited from researchers within Shell and from universities and computer industries. The subjects covered in the conference were: - Experiences with various hardware and system software configurations; - Parallel programming methods and parallel languages; - General purpose mathematical software; - Fluid flow simulation; - Optimisation in logistics applications. New results are presented for linear algebra computations, for fluid flow simulation by cellular automata, and for simulating the breakage of catalyst carriers.

Computer architecture. Operating systems --- Parallel programming (Computer science) --- -681.3*C12 --- 681.3*D13 --- 681.3*G1 --- 681.3*J2 --- Congresses --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Concurrent programming --- Numerical analysis --- Physical sciences and engineering (Computer applications) --- Congresses. --- 681.3*J2 Physical sciences and engineering (Computer applications) --- 681.3*G1 Numerical analysis --- 681.3*D13 Concurrent programming --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- 681.3*C12 --- Computer Communication Networks. --- Computer network architectures. --- Information theory. --- Computer science. --- Numerical analysis. --- Computer Systems Organization and Communication Networks. --- Theory of Computation. --- Programming Techniques. --- Processor Architectures. --- Numerical Analysis. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Mathematical analysis

Choose an application

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

This Lecture Notes volume is based on the "International Workshop on High Performance Transaction Systems" held in the Asilomar Conference Center, September 28-30, 1987. Many of the problems identified during the workshop are liable to determine the future development of transaction systems and distributed high performance systems in general for many years to come. So the organizers of HPTS '87 felt encouraged to collect the papers presented at the workshop in order to make them accessible to a wider audience of interested developers and researchers. Since some of the contributions represented work in progress, the authors agreed to prepare revised and updated versions of their papers for this publication. This accounts for the long delay between the event itself and the publication, but on the other hand it provides the reader with a state-of-the-art account of transaction processing topics. The book is organized according to the major sections of the workshop. In the network section the reader finds an analysis of two of the major "paradigms" in networking, ISO/OSI and SNA, from the perspective of transaction processing. In the next section four different transaction processing and database systems are described: Model 204 - a database management system marketed by Computer Corporation of America, Tandem's NonStop SQL, Citicorp's transaction processing system and ALCS, which basically is a version of TPF running under MVS/XA. The section on architectural issues contains four very different contributions which are fairly representative of the type of problems in transaction systems investigated in the research community. Finally, performance evaluations and system comparisons are presented.

Computer architecture. Operating systems --- 681.3*H2 --- 681.3 *C2 --- 681.3*C4 --- 681.3*D4 --- 681.3*K6 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Computer communication networks: data communications; OSI; security and protection --- Performance of systems (Computer systems organization) --- Operating systems--See also {681.3*C} --- Management of computing and information systems: economics --- 681.3*K6 Management of computing and information systems: economics --- 681.3*D4 Operating systems--See also {681.3*C} --- 681.3*C4 Performance of systems (Computer systems organization) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Computer Communication Networks. --- Database management. --- Information theory. --- Computer system performance. --- Database Management. --- Theory of Computation. --- System Performance and Evaluation. --- Communication theory --- Communication --- Cybernetics --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing

Choose an application

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

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.

Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*D3 --- 681.3*E4 --- 681.3*F --- 681.3*I1 --- 681.3*I2 --- Programming languages --- Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Artificial intelligence. AI --- 681.3*I2 Artificial intelligence. AI --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*E4 Coding and information theory: data compaction and compression; formal modelsof communication; nonsecret encoding schemes--See also {681.3*H11} --- 681.3*D3 Programming languages --- Information theory. --- Algebra --- Artificial intelligence. --- Computer software. --- Coding theory. --- Computer science. --- Theory of Computation. --- Symbolic and Algebraic Manipulation. --- Artificial Intelligence. --- Algorithm Analysis and Problem Complexity. --- Coding and Information Theory. --- Programming Techniques. --- Data processing. --- Informatics --- Science --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Software, Computer --- Computer systems --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Communication theory --- Communication --- Cybernetics