Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'design automation' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 146 riferimenti
Si mostrano 100 riferimenti a partire da 1
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Wolf, F; Ernst, R
      Execution cost interval refinement in static software analysis

      JOURNAL OF SYSTEMS ARCHITECTURE
    2. Leeser, M; Ohm, V
      Accurate power estimation for sequential CMOS circuits using graph-based methods

      VLSI DESIGN
    3. Torbey, E; Knight, JP
      Multiclock selection and synthesis for CDFGs using optimal clock sets and genetic algorithms

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    4. Pierzchala, M; Rodanski, B
      Generation of sequential symbolic network functions for large-scale networks by circuit reduction two-port

      IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS
    5. Dawson, JL; Boyd, SP; Hershenson, MD; Lee, TH
      Optimal allocation of local feedback in multistage amplifiers via geometric programming

      IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS
    6. Chapman, CB; Pinfold, M
      The application of a knowledge based engineering approach to the rapid design and analysis of an automotive structure

      ADVANCES IN ENGINEERING SOFTWARE
    7. Kowalski, Z; Arendt, R; Meler-Kapcia, M; Zielnski, S
      An expert system for aided design of ship systems automation

      EXPERT SYSTEMS WITH APPLICATIONS
    8. Shibata, H; Fujii, N
      Analog circuit synthesis based on reuse of topological features of prototype circuits

      IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
    9. Shibata, H; Fujii, N
      An evolutionary synthesis of analog active circuits using current path based coding

      IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES
    10. Mir, M; Imam, MH
      A hybrid optimization approach for layout design of unequal-area facilities

      COMPUTERS & INDUSTRIAL ENGINEERING
    11. Koushanfar, F; Kirovski, D; Hong, I; Potkonjak, M; Papaefthymiou, MC
      Symbolic debugging of embedded hardware and software

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    12. Hershenson, MD; Boyd, SP; Lee, TH
      Optimal design of a CMOS op-amp via geometric programming

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    13. Wilamowski, B; Malinowski, A; Regnier, J
      Internet as a new graphical user interface for the SPICE circuit simulator

      IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
    14. Brown, AD
      The language is irrelevant: it's what you do with it that counts

      INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION
    15. White, M; Jay, E; Liarokapis, F; Kostakis, C; Lister, P
      A virtual interactive teaching environment using XML and augmented reality

      INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION
    16. Pedro, JC; de Carvalho, NB
      Evaluating co-channel distortion ratio in microwave power amplifiers

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    17. Webb, JP
      Design sensitivities using high-order tetrahedral vector elements

      IEEE TRANSACTIONS ON MAGNETICS
    18. Safier, PN; Abe, DK; Antonsen, TM; Danly, BG; Levush, B
      Simulation of noise-power ratio with the large-signal code CHRISTINE

      IEEE TRANSACTIONS ON ELECTRON DEVICES
    19. Benton, RT; Chong, CK; Menninger, WL; Thorington, CB; Zhai, XL; Komm, DS; Dayton, JA
      First pass TWT design success

      IEEE TRANSACTIONS ON ELECTRON DEVICES
    20. Cong, J
      An interconnect-centric design flow for nanometer technologies

      PROCEEDINGS OF THE IEEE
    21. Li, CL
      A feature-based approach to injection mould cooling system design

      COMPUTER-AIDED DESIGN
    22. Heylighen, A; Neuckermans, H
      A case base of Case-Based Design tools for architecture

      COMPUTER-AIDED DESIGN
    23. Chen, SY; Rajan, SD
      A robust genetic algorithm for structural optimization

      STRUCTURAL ENGINEERING AND MECHANICS
    24. Aditya, S; Mahlke, SA; Rau, BR
      Code size minimization and retargetable assembly for custom EPIC and VLIW instruction formats

      ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
    25. Lowery, A; Lenzmann, O; Koltchanov, I; Moosburger, R; Freund, R; Richter, A; Georgi, S; Breuer, D; Hamster, H
      Multiple signal representation simulation of photonic devices, systems, and networks

      IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS
    26. Pihl, J
      Design automation with the TSPC circuit technique: A high-performance wavedigital filter

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    27. Benini, L; De Micheli, D; Macii, A; Macii, E; Poncino, M; Scarsi, R
      Glitch power minimization by selective gate freezing

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    28. Hussar, PE; Oliker, V; Riggins, HL; Smith-Rowland, EM; Klocko, WR; Prussner, L
      An implementation of the UTD on facetized CAD platform models

      IEEE ANTENNAS AND PROPAGATION MAGAZINE
    29. Rekiek, B; De Lit, P; Delchambre, A
      Designing mixed-product assembly lines

      IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION
    30. Petters, S; Muth, A; Kolloch, T; Hopfner, T; Fischer, F; Farber, G
      The REAR framework for emulation and analysis of embedded hard real-time systems

      DESIGN AUTOMATION FOR EMBEDDED SYSTEMS
    31. Chi, SD; Lee, JK
      Evaluating alternative system designs

      TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL
    32. Kawarabayashi, M; Lu, JQ; Goto, K; Fung, PW
      System level design methodology for system on a chip

      NEC RESEARCH & DEVELOPMENT
    33. O'Connor, I; Kaiser, A
      Automated synthesis of current-memory cells

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    34. Benini, L; De Micheli, G; Macii, E; Poncino, M; Scarsi, R
      A multilevel engine for fast power simulation of realistic input streams

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    35. Hur, SW; Jagannathan, A; Lillis, J
      Timing-driven maze routing

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    36. Kam, T; Rawat, S; Kirkpatrick, D; Roy, R; Spirakis, GS; Sherwani, N; Peterson, C
      EDA challenges facing future microprocessor design

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    37. Kundert, K; Chang, H; Jefferies, D; Lamant, G; Malavasi, E; Sendig, F
      Design of mixed-signal systems-on-a-chip

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    38. Tarafdar, S; Leeser, M
      A data-centric approach to high-level synthesis

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    39. Cong, JSJ; Xu, SJ
      Performance-driven technology mapping for heterogeneous FPGAs

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    40. Caldwell, AE; Kahng, AB; Markov, IL
      Optimal partitioners and end-case placers for standard-cell layout

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    41. Obayashi, S; Tsukahara, T; Nakamura, T
      Multiobjective genetic algorithm applied to aerodynamic design of cascade airfoils

      IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
    42. Abid, M
      Prototyping environment for the design of hardware/software systems

      COMPUTER SYSTEMS SCIENCE AND ENGINEERING
    43. Thompson, A; Wasshuber, C
      Design of single-electron systems through artificial evolution

      INTERNATIONAL JOURNAL OF CIRCUIT THEORY AND APPLICATIONS
    44. Bakr, MH; Bandler, JW; Madsen, K; Rayas-Sanchez, JE; Sondergaard, J
      Space-mapping optimization of microwave circuits exploiting surrogate models

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    45. Bakr, MH; Bandler, JW; Ismail, MA; Rayas-Sanchez, JE; Zhang, QJ
      Neural space-mapping optimization for EM-based design

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    46. Swidzinski, JF; Chang, K
      Nonlinear statistical modeling and yield estimation technique for use in Monte Carlo simulations

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    47. Akel, H; Webb, JP
      Design sensitivities for scattering-matrix calculation with tetrahedral edge elements

      IEEE TRANSACTIONS ON MAGNETICS
    48. De Gersem, H; Pahner, U; Hameyer, K
      Object-oriented implementation of an interactive and automatic field-processing surface

      IEEE TRANSACTIONS ON MAGNETICS
    49. Cui, X; Zhang, GQ
      Automatic design of impedance in shell-form power transformer

      IEEE TRANSACTIONS ON MAGNETICS
    50. Davoren, JM; Nerode, A
      Logics for hybrid systems

      PROCEEDINGS OF THE IEEE
    51. Gielen, GGE; Rutenbar, RA
      Computer-aided design of analog and mixed-signal integrated circuits

      PROCEEDINGS OF THE IEEE
    52. Miliozzi, P; Kundert, K; Lampaert, K; Good, P; Chian, M
      A design system for RFIC: Challenges and solutions

      PROCEEDINGS OF THE IEEE
    53. Allen, J; Terman, CJ
      An interactive learning environment for VLSI design

      PROCEEDINGS OF THE IEEE
    54. Hirakawa, Y; Harashima, K; Fukunaga, K
      A scheduling method with search space reduction

      ELECTRONICS AND COMMUNICATIONS IN JAPAN PART II-ELECTRONICS
    55. Thompson, A; Layzell, P; Zebulum, RS
      Explorations in design space: Unconventional electronics design through artificial evolution

      IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
    56. Mu, FH; Svensson, C
      A layout-based schematic method for very high-speed CMOS cell design

      IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS
    57. De Smedt, B; Gielen, G
      Models for systematic design and verification of frequency synthesizers

      IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING
    58. Daems, W; Verhaegen, W; Wambacq, P; Gielen, G; Sansen, W
      Evaluation of error-control strategies for the linear symbolic analysis ofanalog integrated circuits

      IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS
    59. Perez, J; de Adana, FS; Gutierrez, O; Golzalez, I; Catedra, MF; Montiel, I; Guzman, J
      FASANT: Fast computer tool for the analysis of on-board antennas

      IEEE ANTENNAS AND PROPAGATION MAGAZINE
    60. Li, CL; Chan, KW; Tan, ST
      Automatic design by configuration space: an automatic design system for kinematic devices

      ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
    61. Pichler, CM; Plasun, R; Strasser, R; Selberherr, S
      Simulation of complete VLSI fabrication processes with heterogeneous simulation tools

      IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING
    62. Peterson, GD; Willis, JC
      High-performance hardware description language simulation: Modeling issuesand recommended practices

      TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL
    63. Huang, SY; Cheng, KT
      ErrorTracer: Design error diagnosis based on fault simulation techniques

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    64. Huang, SY; Chen, KC; Cheng, KT
      AutoFix: A hybrid tool for automatic logic rectification

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    65. Chang, SC; Chen, DI
      Efficient Boolean division and substitution using redundancy addition and removing

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    66. Wuytack, S; da Silva, JL; Catthoor, F; de Jong, G; Ykman-Couvreur, C
      Memory management for embedded network applications

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    67. Cong, J; He, L
      Theory and algorithm of local-refinement-based optimization with application to device and interconnect sizing

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    68. Celik, M; Pileggi, LT
      Metrics and bounds for phase delay and signal attenuation in RC(L) clock trees

      IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
    69. Riesgo, T; Torroja, Y; de la Torre, E
      Design methodologies based on hardware description languages

      IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS
    70. Kuusilinna, K; Hamalainen, T; Saarinen, J
      Practical VHDL optimization for timing critical FPGA applications

      MICROPROCESSORS AND MICROSYSTEMS
    71. Zubillaga-Elorza, F; Allen, CR; Leggett, IC
      A method for rapid prototyping of instruments using web tools

      MICROPROCESSORS AND MICROSYSTEMS
    72. De Geest, J; Dhaene, T; Fache, N; De Zutter, D
      Adaptive CAD-model building algorithm for general planar microwave structures

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    73. Johansson, T; Arnborg, T
      A novel approach to 3-D modeling of packaged RF power transistors

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    74. Bandler, JW; Ismail, MA; Rayas-Sanchez, JE; Zhang, QJ
      Neuromodeling of microwave circuits exploiting space-mapping technology

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    75. Bakr, MH; Bandler, JW; Georgieva, N
      An aggressive approach to parameter extraction

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    76. Bakr, MH; Bandler, JW; Georgieva, N; Madsen, K
      A hybrid aggressive space-mapping algorithm for EM optimization

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    77. Ludovico, M; Piovano, B; Bertin, G; Zarba, G; Accatino, L; Mongiardo, M
      CAD and optimization of compact ortho-mode transducers

      IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES
    78. Rajanathan, CB
      The design and analysis of a single phase reciprocating motion switched linear induction motor

      IEEE TRANSACTIONS ON MAGNETICS
    79. Shi, ZW; Rajanathan, CB
      A method of reducing errors in the calculation of electromagnetic forces by Maxwell stress summation method

      IEEE TRANSACTIONS ON MAGNETICS
    80. Cui, X; Zhang, GQ
      Sensitivity analysis and automatic design of voltage ratio in an optical instrument voltage transformer

      IEEE TRANSACTIONS ON MAGNETICS
    81. Naiknaware, R; Fiez, TS
      Automated hierarchical CMOS analog circuit stack generation with intramodule connectivity and matching considerations

      IEEE JOURNAL OF SOLID-STATE CIRCUITS
    82. HUANG CC; KUSIAK A
      MODULARITY IN DESIGN OF PRODUCTS AND SYSTEMS

      IEEE transactions on systems, man and cybernetics. Part A. Systems and humans
    83. BETZ V; ROSE J
      EFFECT OF THE PREFABRICATED ROUTING TRACK DISTRIBUTION ON FPGA AREA-EFFICIENCY

      IEEE transactions on very large scale integration (VLSI) systems
    84. MAHESHWARI N; SAPATNEKAR S
      EFFICIENT RETIMING OF LARGE CIRCUITS

      IEEE transactions on very large scale integration (VLSI) systems
    85. TSENG MM; JIAO JX
      COMPUTER-AIDED REQUIREMENT MANAGEMENT FOR PRODUCT DEFINITION - A METHODOLOGY AND IMPLEMENTATION

      Concurrent engineering, research and applications
    86. WAMBACQ P; GIELEN GGE; SANSEN W
      SYMBOLIC NETWORK ANALYSIS-METHODS FOR PRACTICAL ANALOG INTEGRATED-CIRCUITS - A SURVEY

      IEEE transactions on circuits and systems. 2, Analog and digital signal processing
    87. WAMBACQ P; DOBROVOLNY P; GIELEN GGE; SANSEN W
      SYMBOLIC ANALYSIS OF LARGE ANALOG CIRCUITS USING A SENSITIVITY-DRIVENENUMERATION OF COMMON SPANNING-TREES

      IEEE transactions on circuits and systems. 2, Analog and digital signal processing
    88. IMAM MH; MIR M
      CLUSTER BOUNDARY SEARCH ALGORITHM FOR BUILDING-BLOCK LAYOUT OPTIMIZATION

      Advances in engineering software
    89. MAEKAWA K; PANG GKH
      CONTROL-SYSTEM DESIGN AUTOMATION FOR MECHANICAL SYSTEMS

      Journal of intelligent & robotic systems
    90. BEETEM J
      REBEL - A CLUSTERING-ALGORITHM FOR LOOK-UP TABLE FPGAS

      IEEE transactions on computer-aided design of integrated circuits and systems
    91. BENINI L; MACII E; PONCINO M; DEMICHELI G
      TELESCOPIC UNITS - A NEW PARADIGM FOR PERFORMANCE OPTIMIZATION OF VLSI DESIGNS

      IEEE transactions on computer-aided design of integrated circuits and systems
    92. MONTEIRO J; DEVADAS S; GHOSH A
      SEQUENTIAL LOGIC OPTIMIZATION FOR LOW-POWER USING INPUT-DISABLING PRECOMPUTATION ARCHITECTURES

      IEEE transactions on computer-aided design of integrated circuits and systems
    93. BECK JE; SIEWIOREK DP
      AUTOMATIC CONFIGURATION OF EMBEDDED MULTICOMPUTER SYSTEMS

      IEEE transactions on computer-aided design of integrated circuits and systems
    94. JEN SH; SHEU B
      A COMPACT AND UNIFIED MOS DC CURRENT MODEL WITH HIGHLY CONTINUOUS CONDUCTANCES FOR LOW-VOLTAGE ICS

      IEEE transactions on computer-aided design of integrated circuits and systems
    95. SATHYAMURTHY H; SAPATNEKAR SS; FISHBURN JP
      SPEEDING-UP PIPELINED CIRCUITS THROUGH A COMBINATION OF GATE SIZING AND CLOCK SKEW OPTIMIZATION

      IEEE transactions on computer-aided design of integrated circuits and systems
    96. HUTTON MD; ROSE J; GROSSMAN JP; CORNEIL DG
      CHARACTERIZATION AND PARAMETERIZED GENERATION OF SYNTHETIC COMBINATIONAL BENCHMARK CIRCUITS

      IEEE transactions on computer-aided design of integrated circuits and systems
    97. BURNS JL; FELDMAN JA
      C5M - A CONTROL-LOGIC LAYOUT SYNTHESIS SYSTEM FOR HIGH-PERFORMANCE MICROPROCESSORS

      IEEE transactions on computer-aided design of integrated circuits and systems
    98. STOREY VC; DEY D; ULLRICH H; SUNDARESAN S
      AN ONTOLOGY-BASED EXPERT-SYSTEM FOR DATABASE DESIGN

      Data & knowledge engineering
    99. VANDENBUSSCHE J; LEYN F; VANDERPLAS G; GIELEN G; SANSEN W
      A FULLY INTEGRATED LOW-POWER CMOS PARTICLE DETECTOR FRONT-END FOR SPACE APPLICATIONS

      IEEE transactions on nuclear science
    100. SELLBERG F
      SIMPLE DETERMINATION OF ALL CAPACITANCES FOR A SET OF PARALLEL MICROSTRIP LINES

      IEEE transactions on microwave theory and techniques


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 08/08/20 alle ore 14:16:23