Listing 1 - 10 of 39 | << page >> |
Sort by
|
Choose an application
Nuclear reactors --- Logic circuits --- Safety measures. --- Testing.
Choose an application
Electronic digital computers --- Logic circuits --- Circuits --- Design and construction --- Design and construction
Choose an application
This volume presents the proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (WG '94), held in Herrsching, Germany in June 1994. The volume contains 32 thoroughly revised papers selected from 66 submissions and provides an up-to-date snapshot of the research performed in the field. The topics addressed are graph grammars, treewidth, special graph classes, algorithms on graphs, broadcasting and architecture, planar graphs and related problems, and special graph problems.
Graph theory --- Data processing --- Congresses --- Algorithms --- Computer science --- Information theory. --- Computer software. --- Combinatorics. --- Logic design. --- Theory of Computation. --- Discrete Mathematics. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics
Choose an application
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
Abstract data types (Computer science) --- Congresses --- Data structures (Computer scienc. --- Software engineering. --- Computer science. --- Logic design. --- Data Structures and Information Theory. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Abstract data types (Computer science) - Congresses
Choose an application
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.
Computer software --- Development --- Congresses --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer software - Development - Congresses
Choose an application
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics.
Parallel processing (Electronic computers) --- Parallélisme (Informatique) --- Congresses --- Congrès --- Parallélisme (Informatique) --- Congrès --- Information theory. --- Logic design. --- Computer science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics
Choose an application
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly. In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.
Computer architecture --- Computerarchitectuur --- Ordinateurs--Architecture --- Computer architecture. --- Microprogramming. --- Computer science. --- Computer system performance. --- Electronics. --- Logic design. --- Control Structures and Microprogramming. --- Processor Architectures. --- System Performance and Evaluation. --- Arithmetic and Logic Structures. --- Electronics and Microelectronics, Instrumentation. --- Logic Design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electrical engineering --- Physical sciences --- Informatics --- Science --- Computer programming
Choose an application
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.
Computer software --- Development --- Software engineering. --- Computer science. --- Logic design. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science
Choose an application
Metal oxide semiconductors, Complementary --- Integrated circuits --- Digital integrated circuits --- Low voltage integrated circuits --- Computer-aided design --- Very large scale integration --- -Integrated circuits --- -Metal oxide semiconductors, Complementary --- -CMOS (Electronics) --- Complementary metal oxide semiconductors --- Semiconductors, Complementary metal oxide --- Digital electronics --- Logic circuits --- Transistor-transistor logic circuits --- Low power consumption chips --- Low power integrated circuits --- Reduced voltage integrated circuits --- Low voltage systems --- Very large scale integration of circuits --- VLSI circuits --- Very large scale integration. --- -Computer-aided design --- Computer-aided design. --- MOS complémentaires. --- Circuits intégrés à très grande échelle. --- Circuits intégrés numériques --- Circuits intégrés à faible consommation. --- Circuits intégrés --- Conception et construction --- Informatique. --- Conception assistée par ordinateur. --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Electronic circuits --- Microelectronics --- CMOS (Electronics) --- Very large scale integration&delete& --- Metal oxide semiconductors, Complementary - Computer-aided design --- Integrated circuits - Very large scale integration - Computer-aided design --- Digital integrated circuits - Computer-aided design --- Low voltage integrated circuits - Computer-aided design
Choose an application
This book presents the proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS 95), held in Munich, Germany in March 1995. Besides three invited talks, the book contains revised versions of 53 research papers selected from a total of 180 submissions. The contributions address all current aspects of theoretical computer science; they are organized in sections on complexity theory, automata theory, algorithms, logic, theory of parallel computing, communication theory, graph theory and databases, and computational geometry.
Computer science --- Informatique --- Congresses --- Congrès --- Congresses. --- Congrès --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Computer science - Congresses.
Listing 1 - 10 of 39 | << page >> |
Sort by
|