Listing 1 - 10 of 10 |
Sort by
|
Choose an application
681.3*B63 --- elektriciteit --- elektronica --- digitale techniek --- elektronische schakeling --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design)
Choose an application
681.3*B63 --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Computer-aided design. --- Logic design --- Data processing. --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Computer-aided design --- Computer assisted logic design --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Data processing
Choose an application
Switching circuits --- Digital electronics --- Logic design --- Circuits de commutation --- Electronique numérique --- Structure logique --- Electronique numérique --- 681.3*B63 --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- #TELE:ELEN --- #TELE:SISTA --- Computer architecture. Operating systems --- Boole, Algèbre de --- Boole, Algèbre de --- Circuits logiques
Choose an application
Computer architecture --- Ordinateurs --- Architecture --- 681.3*B12 --- 681.3*B22 --- 681.3*B63 --- 681.3*C10 --- Control structure performance analysis and design aids: automatic synthesis; formal models; simulation --- Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Computerwetenschap--?*C10 --- Theses --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B22 Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- 681.3*B12 Control structure performance analysis and design aids: automatic synthesis; formal models; simulation
Choose an application
This volume contains many of the papers presented at the conference "Optimum Design 2000: Prospects for the New Millennium" held in Cardiff, UK on April 12th - 14th, 2000. The majority of the papers consider aspects of optimum experimental design from the theoretical to applications. Many of the optimisation problems arising in the optimum design theory in general and the articles in this volume in particular, fall into the category of nonconvex, including global, optimization. The papers are organised in two sections. Since we are at the beginning of a new millennium the first paper starts by looking back at the beginnings of optimum exper imental design in 1917 and sketches the development up to Kiefer's paper read to the Royal Statistical Society in 1959. This is the first in a group of papers which we have labelled "Theory", which cover the more general aspects, such as the properties and methods of construction of designs. In the "Applications" section there are papers on sequential design problems arising in the pharmaceutical industry and on the designs with discrete factors which occur in agriculture. There are also papers on training neural networks, on the efficient design of sampling methods, on design problems in mixtures, arising from a study of glass manufacturing, and on the resistance of Brazilian weeds to herbicides. The number attending the meeting was deliberately limited to 50 in order to encour age a workshop atmosphere and the exchange of ideas.
Experimental design --- Mathematical optimization --- 681.3*B63 --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Mathematical analysis --- Maxima and minima --- Operations research --- Simulation methods --- System analysis --- Design of experiments --- Statistical design --- Research --- Science --- Statistical decision --- Statistics --- Analysis of means --- Analysis of variance --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Experiments --- Methodology --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Statistics . --- Mathematical optimization. --- Mathematical models. --- Statistics, general. --- Optimization. --- Mathematical Modeling and Industrial Mathematics. --- Models, Mathematical --- Statistical analysis --- Statistical data --- Statistical methods --- Statistical science --- Mathematics --- Econometrics
Choose an application
510.63 --- 621.3'7 --- Logic circuits --- Logic design --- 681.3*B63 --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Machine theory --- Switching theory --- Circuits, Logic --- Computers --- Electronic circuits --- Interface circuits --- Switching circuits --- 510.63 Logical theories. Logico-object theories. Classical logical systems. Propositional logic. Predicate logic --- Logical theories. Logico-object theories. Classical logical systems. Propositional logic. Predicate logic --- 621.3'7 Electrical engineering--?'7 --- Electrical engineering--?'7 --- Circuits --- Mathematical logic --- Electronics --- Computer. Automation
Choose an application
Information Technology --- Computer Science (Hardware & Networks) --- 681.3*I61 --- 681.3*B12 --- 681.3*B22 --- 681.3*B63 --- Simulation theory: model classification; continuous simulation; discrete simulation (Simulation and modeling) --- Control structure performance analysis and design aids: automatic synthesis; formal models; simulation --- Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B22 Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- 681.3*B12 Control structure performance analysis and design aids: automatic synthesis; formal models; simulation --- 681.3*I61 Simulation theory: model classification; continuous simulation; discrete simulation (Simulation and modeling)
Choose an application
Programming --- Computer architecture. Operating systems --- 681.3*B52 --- 681.3*B63 --- 681.3*B72 --- 681.3*D11 --- 681.3*D31 --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- Applicative (functional) programming --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D11 Applicative (functional) programming --- 681.3*B72 Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B52 Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Electronics. --- Logic design. --- Computer science. --- Electronics and Microelectronics, Instrumentation. --- Logic Design. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electrical engineering --- Physical sciences --- Digital integrated circuits --- Stream (computer hardware description language)
Choose an application
Programming --- 681.3*B22 --- 681.3*B63 --- 681.3*D24 --- 681.3*F3 --- 681.3*F41 --- Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Computer programming --- Programmation (Informatique) --- Logiciels --- Congresses. --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B22 Performance analysis and design aids: simulation; verification; worst-case analysis (Arithmetic and logic structures) --- Logic design. --- Computer science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Choose an application
Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States.
Computer architecture. Operating systems --- 681.3*B52 --- 681.3*B63 --- 681.3*B72 --- 681.3*F31 --- 681.3*I23 --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*B72 Design aids: graphics; layout; placement and routing; simulation; verification (Integrated circuits) --- 681.3*B63 Design aids: automatic synthesis; hardware description languages; optimization; simulation; switching theory; verification (Logic design) --- 681.3*B52 Design aids: automatic synthesis; hardware description languages; optimization; simulation; verification (Register-transfer-level implementation) --- Computer network architectures. --- Microprogramming. --- Computer science. --- Logic design. --- Electronics. --- Computer System Implementation. --- Control Structures and Microprogramming. --- Arithmetic and Logic Structures. --- Logic Design. --- Electronics and Microelectronics, Instrumentation. --- Computation by Abstract Devices. --- Electrical engineering --- Physical sciences --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer programming --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Listing 1 - 10 of 10 |
Sort by
|