Search Results - Control structures and microprogramming

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Groote, Jan Friso Larsen, Kim Guldstrand

Subject Terms: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Software Engineering, Computer Engineering and Networks, architecture verification and validation, automata theory, computer systems, distributed computer systems, embedded systems, formal logic, mathematics, model checking, model-checking, parallel processing systems, SAT and SMT solving, software architecture, static and dynamic program analysis, theorem-proving, verification and validation, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: https://library.oapen.org/handle/20.500.12657/48219

Supercomputing Frontiers

Contributors: Panda, Dhabaleswar K.

Subject Terms: Computer Systems Organization and Communication Networks, Image Processing and Computer Vision, Control Structures and Microprogramming, Input/Output and Data Communications, Operating Systems, Information Systems and Communication Service, Computer Engineering and Networks, Computer Vision, Database Management System, computer hardware, computer networks, computer systems, distributed computer systems, distributed systems, embedded systems, hpc, image processing, microprocessor chips, network protocols, parallel architectures, parallel processing systems, processors, signal processing, telecommunication networks, telecommunication systems, telecommunication traffic, open access, Computer networking & communications, Image processing, Computer vision, Algorithms & data structures, Distributed databases, Operating systems, Computer networking and communications, Algorithms and data structures

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/39588

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Biere, Armin Parker, David

Subject Terms: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/37724

Fundamental Approaches to Software Engineering

Contributors: Wehrheim, Heike Cabot, Jordi

Subject Terms: Software Engineering, Special Purpose and Application-Based Systems, Control Structures and Microprogramming, Computer System Implementation, Information Systems and Communication Service, Artificial Intelligence, open access, software engineering, requirements engineering, model-based design, software analysis, testing, software architectures, security, model transformations, software evolution, software product lines, architecting, artificial intelligence, computer programming, computer systems, embedded systems, mathematics, software architecture, software design, Expert systems / knowledge-based systems, Algorithms & data structures, Systems analysis & design, Computer networking & communications, Artificial intelligence, Algorithms and data structures, Systems analysis and design, Computer networking and communications

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/37725

Programming Languages and Systems

Contributors: Müller, Peter

Subject Terms: Programming Languages, Compilers, Interpreters, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Information Systems and Communication Service, Natural Language Processing (NLP), Theory of Computation, artificial intelligence, computer networks, computer programming, computer security, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, object-oriented programming, parallel processing systems, program compilers, semantics, software architecture, software design, software engineering, software quality, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Computer networking & communications, Algorithms & data structures, Natural language & machine translation, Computer science, Mathematical theory of computation, Programming and scripting languages: general, Computer networking and communications, Algorithms and data structures, Natural language and machine translation

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/37721

A computer system for model helicopter flight control: technical memo Nr. 2: the programming language Oberon SA

Authors: Wirth, Niklaus

Source: Technische Berichte / ETH Zürich, Departement Informatik, 285

Subject Terms: Data processing, computer science, REMOTE CONTROL OF MODEL VEHICLES + REMOTE CONTROL OF MODEL AIRPLANES (ELECTRONICS), ANFLUGNAVIGATION, STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE), APPROACH NAVIGATION, MODELLFAHRZEUGE-FERNSTEUERUNG + MODELLFLUGZEUG-FERNSTEUERUNG (ELEKTRONIK), OBERON (PROGRAMMIERSPRACHEN), CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE), OBERON (PROGRAMMING LANGUAGES)

File Description: application/application/pdf

Access URL: http://hdl.handle.net/20.500.11850/69201

A computer system for model helicopter flight control: technical memo Nr. 6: the Oberon compiler for the strong-ARM processor

Authors: Wirth, Niklaus

Source: Technical report / Departement Informatik, ETH Zürich, 314

Subject Terms: Data processing, computer science, REMOTE CONTROL OF MODEL VEHICLES + REMOTE CONTROL OF MODEL AIRPLANES (ELECTRONICS), ANFLUGNAVIGATION, STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE), APPROACH NAVIGATION, MODELLFAHRZEUGE-FERNSTEUERUNG + MODELLFLUGZEUG-FERNSTEUERUNG (ELEKTRONIK), OBERON (PROGRAMMIERSPRACHEN), CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE), OBERON (PROGRAMMING LANGUAGES)

File Description: application/application/pdf

Access URL: https://www.research-collection.ethz.ch/handle/20.500.11850/69202
http://hdl.handle.net/20.500.11850/69202

Deriving Behavior from Goal Structure for the Intelligent Control of Physical Systems.

Authors: Filipe, Joaquim Ferrier, Jean-Louis Cetto, Juan A. et al.

Source: Informatics in Control, Automation & Robotics II. 2007, p51-58. 8p.

Neural preprocessing and control of reactive walking machines : towards versatile artificial perception-action systems

Authors: Manoonpong, Poramate.

Source: Online via SFX.

Subject Terms: Computer Science. Artificial Intelligence (incl. Robotics) Automation and Robotics. Control Structures and Microprogramming. Signal, Image and Speech Processing. Simulation and Modeling. Artificial intelligence. Automation. Computer simulation. Microprogramming. Neurosciences.

Understanding Control Flow

Authors: Peter A. Buhr

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer programming, Software engineering, Computers, Microprogramming

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Contemporary Concepts of Microprogramming and Emulation.

Authors: Rosin, Robert F.

Source: Computing Surveys. Dec69, Vol. 1 Issue 4, p197-212. 16p. 2 Diagrams, 4 Charts.

Subject Terms: *DATA structures, *COMPUTER software, MICROPROGRAMMING

Compiler-assisted thread abstractions for resource-constrained systems

Authors: Bernauer, Alexander Mattern, Friedemann Römer, Kay Uwe

Contributors: Bernauer, Alexander Mattern, Friedemann Römer, Kay Uwe

Subject Terms: WIRELESS SENSOR NETWORKS, WSN (TELECOMMUNICATIONS), Data processing, computer science, CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE), STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE), DRAHTLOSE SENSORNETZWERKE (NACHRICHTENTECHNIK), COMPILER (PROGRAMMIERSPRACHEN), COMPILERS (PROGRAMMING LANGUAGES), SPECIAL PROGRAMMING METHODS, SPEZIELLE PROGRAMMIERMETHODEN

File Description: application/application/pdf

Access URL: https://graz.pure.elsevier.com/en/publications/compiler-assisted-thread-abstractions-for-resource-constrained-sy
http://hdl.handle.net/20.500.11850/72437

Optimization of circuits of compositional microprogram control units implemented on FPGA.

Authors: Barkalov, A. Titarenko, L. Efimenko, K.

Source: Cybernetics & Systems Analysis. Jan2011, Vol. 47 Issue 1, p166-174. 9p. 4 Charts.

Subject Terms: *MICROPROGRAMMING, *ALGORITHMS, *LOGIC circuits, *COMPUTER circuits, *COMPUTER programming

Reconfigurable hardware OS prototype

Authors: Walder, Heinrich Platzner, Marco

Subject Terms: STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE), ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (BETRIEBSSYSTEME), ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME), CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE), REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (OPERATING SYSTEMS), REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (COMPUTER SYSTEMS), info:eu-repo/classification/ddc/004, Data processing, computer science

File Description: application/application/pdf

Relation: http://hdl.handle.net/20.500.11850/148080

Availability: https://hdl.handle.net/20.500.11850/148080
https://doi.org/10.3929/ethz-a-004723812

A New Hierarchical Control Scheme for a Class of Cyclically Repeated Discrete-Event Systems.

Authors: Filipe, Joaquim Ferrier, Jean-Louis Cetto, Juan A. et al.

Source: Informatics in Control, Automation & Robotics II. 2007, p227-233. 7p.

An Introduction to the Direct Emulation of Control Structures by a Parallel Microcomputer.

Authors: Lesser, V.R.

Source: IEEE Transactions on Computers; 1971, Vol. C-20 Issue 7, p751-764, 14p

A Parameterized Polyhedra Approach for the Explicit Robust Model Predictive Control.

Authors: Filipe, Joaquim Ferrier, Jean-Louis Cetto, Juan A. et al.

Source: Informatics in Control, Automation & Robotics II. 2007, p217-226. 10p.

Special Feature: Nanoprogramming vs. Microprogramming.

Authors: Casaglia, G.F.

Source: Computer (00189162); 1976, Vol. 9 Issue 1, p54-58, 5p

Analysis and Synthesis of Digital Structure by Matrix Method.

Authors: Filipe, Joaquim Ferrier, Jean-Louis Cetto, Juan A. et al.

Source: Informatics in Control, Automation & Robotics II. 2007, p199-206. 8p.

The VLSI Control Structure of a CMOS Microcomputer.

Authors: Maejima, Hideo Katsura, Koyo Nakamura, Hideo et al.

Source: IEEE Micro; 1983, Vol. 3 Issue 6, p9-16, 8p