Choose an application

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

Nuclear reactors --- Logic circuits --- Safety measures. --- Testing.

Choose an application

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

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

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

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

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

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

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

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