Choose an application

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

Electronic data processing --- -Microprocessors --- -Microprogramming --- -681.3*B0 --- 681.3*B11 --- 681.3*C0 --- 681.3*J0 --- Computer programming --- Minicomputers --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Congresses --- Computerwetenschap--?*B0 --- Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- Computerwetenschap--?*C0 --- Computerwetenschap--?*J0 --- Automation --- Microprocessors --- Microprogramming --- Congresses. --- 681.3*B11 Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- 681.3*B0

Choose an application

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

Microprocessors --- Addresses, essays, lectures --- -681.3*B0 --- 681.3*B11 --- 681.3*B12 --- 681.3*C53 --- Minicomputers --- Computerwetenschap--?*B0 --- Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- Control structure performance analysis and design aids: automatic synthesis; formal models; simulation --- Microcomputers: microprocessors (Computer system implementation) --- 681.3*C53 Microcomputers: microprocessors (Computer system implementation) --- 681.3*B12 Control structure performance analysis and design aids: automatic synthesis; formal models; simulation --- 681.3*B11 Control design styles: hardwired control; microprogrammed logic arrays; writable control store--(hardware) --- 681.3*B0 --- Microprocessors - Addresses, essays, lectures

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)

Cyber-physical system (CPS) innovations, in conjunction with their sibling computational and technological advancements, have positively impacted our society, leading to the establishment of new horizons of service excellence in a variety of applicational fields. With the rapid increase in the application of CPSs in safety-critical infrastructures, their safety and security are the top priorities of next-generation designs. The extent of potential consequences of CPS insecurity is large enough to ensure that CPS security is one of the core elements of the CPS research agenda. Faults, failures, and cyber-physical attacks lead to variations in the dynamics of CPSs and cause the instability and malfunction of normal operations. This reprint discusses the existing vulnerabilities and focuses on detection, prevention, and compensation techniques to improve the security of safety-critical systems.

smart grids --- device authentication --- situational awareness --- home area networks --- time-delay switch attack --- networked control systems --- secure control design --- Lyapunov theory --- attack estimation --- hardware-in-the-loop testing --- machine learning --- industrial control systems --- anomaly detection --- fault detection --- intrusion detection system --- blockchain --- security --- privacy --- financial transactions --- transportation systems --- autonomous vehicles --- power system resilience --- disaster --- Federated Learning --- edge intelligence --- resilience management systems --- resource-limitations --- demand response --- remedial testing --- greybox fuzzing --- vulnerability detection --- enhanced security --- traffic microsimulation tool --- cooperative automated driving systems --- vehicle powertrain --- safety --- road capacity --- contested environments --- anomaly isolation --- artificial neural networks --- Cyber Physical System --- out-of-bounds --- vulnerable detection --- patch --- inverter-based energy resources --- islanded microgrids --- resilient control design --- secondary control --- false data injection

Choose an application

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

System design. --- Computer architecture. --- Systèmes, Conception de --- Ordinateurs --- Architecture --- 681.3*C1 --- 681.3*C0 --- 681.3*B4 --- 681.3*B6 --- 681.3*B7 --- 681.3*B51 --- Computer architecture --- High performance computing --- System design --- 681.3*B0 --- Design, System --- Systems design --- Electronic data processing --- System analysis --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Architecture, Computer --- Processor architectures (Computer systems organization) --- Computer systems organization. General: hardware/software interfaces; instruction set design (e.g., RISC, CICS, VLIW); modeling of computer architecture; system architectures; systems specification methodology --- Input/output and data communications (Hardware) --- Logic design (Hardware) --- Integrated circuits (Hardware) --- Design: arithmetic and logic units; control design; data-path design; memory design; parallel-, pipelined-, special purpose styles (Register-transfer-level implementation) --- Computerwetenschap--?*B0 --- 681.3*B51 Design: arithmetic and logic units; control design; data-path design; memory design; parallel-, pipelined-, special purpose styles (Register-transfer-level implementation) --- 681.3*B7 Integrated circuits (Hardware) --- 681.3*B6 Logic design (Hardware) --- 681.3*B4 Input/output and data communications (Hardware) --- 681.3*C1 Processor architectures (Computer systems organization)