PORTO @ Archivio Istituzionale della Ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 694
Citazione Data di pubblicazione Autori File
Fondamenti di Informatica: Temi d'esame ed esercizi svolti / Piccolo, Elio; Macii, Enrico. - STAMPA. - (1990), pp. 1.1-7.2. 1-gen-1990 PICCOLO, ElioMACII, Enrico -
An Algebraic Approach to Test Generation for Sequential Circuits / Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo. - (1991), pp. 115-120. (Intervento presentato al convegno GLS-VLSI-91: IEEE/ACM 1st Great Lakes Symposium on VLSI tenutosi a Kalamazoo, MI) [10.1109/GLSV.1991.143952]. 1-gen-1991 LIOY, ANTONIOMACII, EnricoSONZA REORDA, Matteo + -
Algebraic/Topological Combined Strategies for Sequential ATPG / Macii, Enrico; Meo, A. R.. - (1991), pp. 1240-1244. (Intervento presentato al convegno IEEE 25th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1991.186646]. 1-gen-1991 MACII, Enrico + -
Techniques to Increase Sequential ATPG Performance / Macii, Enrico; Meo, A. R.. - (1992), pp. 257-262. (Intervento presentato al convegno VTS-92: IEEE 10th VLSI Test Symposium tenutosi a Atlantic City, NJ) [10.1109/VTEST.1992.232762]. 1-gen-1992 MACII, Enrico + -
Testability Measures Reduce Test Generation Time in Sequential ATPG / Macii, Enrico; Meo, A. R.. - (1992), pp. 985-988. (Intervento presentato al convegno IEEE 26th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1992.269073]. 1-gen-1992 MACII, Enrico + -
Techniques to increase ATPG performance / Meo, ANGELO RAFFAELE; Macii, Enrico. - (1992). (Intervento presentato al convegno IEEE 10th VLSI Test Symposium). 1-gen-1992 MEO, ANGELO RAFFAELEMACII ENRICO -
Test Generation for Sequential Networks Affected by Reconvergent Fanout: a Solution based on a 9-Valued Algebraic Circuit Model / Macii, Enrico; Meo, A. R.. - (1992), pp. 980-984. (Intervento presentato al convegno IEEE 26th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1992.269074]. 1-gen-1992 MACII, Enrico + -
New Heuristic Techniques to Increase the Performance of a Test Generation Package for VLSI Sequential Circuits / Macii, Enrico; Magnanini, L; Meo, A. R.. - (1992), pp. 741-744. (Intervento presentato al convegno CCECE-92: IEEE 1992 Canadian Conference on Electrical and Computer Engineering tenutosi a Toronto, Ontario). 1-gen-1992 MACII, Enrico + -
Efficient Heuristics for Sequential ATPG / Macii, Enrico; Magnanini, L; Meo, A. R.. - (1992), pp. 278-281. (Intervento presentato al convegno MWSCAS-92: IEEE 35th Midwest Symposium on Circuits and Systems tenutosi a Washington, DC) [10.1109/MWSCAS.1992.271380]. 1-gen-1992 MACII, Enrico + -
Verification of Systems Containing Counters / Macii, Enrico; Plessier, B; Somenzi, F.. - (1992), pp. 179-182. (Intervento presentato al convegno ICCAD-92: ACM/IEEE 1992 International Conference on Computer-Aided Design tenutosi a Santa Clara, CA) [10.1109/ICCAD.1992.279378]. 1-gen-1992 MACII, Enrico + -
Test Generation for Gate Level Sequential Machines: Algorithms and Implementation Issues / Lioy, Antonio; Macii, Enrico; Meo, A. R.. - (1992), pp. 262-267. (Intervento presentato al convegno CompEuro'92: IEEE 1992 International Conference on Software Engineering tenutosi a Den Haag, The Netherlands) [10.1109/CMPEUR.1992.218499]. 1-gen-1992 LIOY, ANTONIOMACII, Enrico + -
Resynthesis for Testability of Redundant Combinational Circuits / Macii, Enrico; Evans, A.. - (1993), pp. 511-512. (Intervento presentato al convegno ETC-93: IEEE 1993 European Test Conference tenutosi a Rotterdam, The Netherlands) [10.1109/ETC.1993.246606]. 1-gen-1993 MACII, Enrico + -
Experiments on Technology Mapping Using Different Cell Libraries / Macii, Enrico; Poncino, Massimo. - (1993), pp. 9.3.1-9.3.9. (Intervento presentato al convegno IEEE 5th NASA Symposium on VLSI Design tenutosi a Albuquerque, NM). 1-gen-1993 MACII, EnricoPONCINO, MASSIMO -
Algebraic Decision Diagrams and Their Applications / Bahar, R. I; Gaona, C; Frohm, E; Hachtel, G. D.; Macii, Enrico; Pardo, A; Somenzi, F.. - (1993), pp. 188-191. (Intervento presentato al convegno ICCAD-93: ACM/IEEE 1993 International Conference on Computer-Aided Design tenutosi a Santa Clara, CA) [10.1109/ICCAD.1993.580054]. 1-gen-1993 MACII, Enrico + -
Algorithms for Approximate FSM Traversal / Cho, H; Hachtel, G. D.; Macii, Enrico; Plessier, B; Somenzi, F.. - (1993), pp. 25-30. (Intervento presentato al convegno DAC-30: ACM/IEEE Design Automation Conference tenutosi a Dallas, TX) [10.1109/DAC.1993.203914]. 1-gen-1993 MACII, Enrico + -
A State Space Decomposition Algorithm for Approximate FSM Traversal / Cho, H; Hachtel, G. D.; Macii, Enrico; Poncino, Massimo; Somenzi, F.. - (1994), pp. 137-141. (Intervento presentato al convegno EDTC-94: IEEE 1994 European Design and Test Conference tenutosi a Paris, France) [10.1109/EDTC.1994.326885]. 1-gen-1994 MACII, EnricoPONCINO, MASSIMO + -
A Test Generation Program for Sequential Circuits / Macii, Enrico; Meo, A. R.. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 5:(1994), pp. 115-119. [10.1007/BF00971967] 1-gen-1994 MACII, Enrico + -
The Influence of Cell Library Characteristics on Power Consumption of CMOS Circuits / Macii, Enrico; Poncino, M.. - (1994), pp. 537-540. (Intervento presentato al convegno MELECON-94: IEEE 8th Mediterranean Electrotechnical Conference tenutosi a Antalya, Turkey) [10.1109/MELCON.1994.381039]. 1-gen-1994 MACII, EnricoPONCINO M. -
An ADD-based algorithm for shortest path back-tracing of large graphs / R. I., Bahar; G. D., Hachtel; Macii, Enrico; A., Pardo; Poncino, Massimo; F., Somenzi. - (1994), pp. 248-251. (Intervento presentato al convegno GLS-VLSI'94: 4th IEEE Great Lake Symposium on VLSI tenutosi a Notre Dame, IN (USA) nel 4-5 Mar 1994) [10.1109/GLSV.1994.289960]. 1-gen-1994 MACII, EnricoPONCINO, MASSIMO + -
Describing Input Behavior of Sequential Circuits Modeled as Cellular Automata / Alovisio, D; Cianchini, S; Macii, Enrico; Poncino, Massimo. - (1994), pp. 79-82. (Intervento presentato al convegno ASICON-94: IEEE 1994 International Conference on ASIC tenutosi a Beijing, China). 1-gen-1994 MACII, EnricoPONCINO, MASSIMO + -
Mostrati risultati da 1 a 20 di 694
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile