Pubblicazioni il cui dipartimento è "Dipartimenti > DAUIN - Dipartimento di Automatica e Informatica" e l'anno è "1996"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | B | C | D | E | F | G | I | M | N | O | P | R | S | T | U | V
Numero di pubblicazioni : 66.

A

Articolo in atti di convegno Corno F., Prinetto P., Rebaudengo M., Sonza Reorda M., Mosca R. (1996)
Advanced Techniques for GA-based sequential ATPGs. In: European Design and Test Conference, 1996. ED&TC 96. Proceedings, Paris, F, 11-14 Mar 1996. pp. 375-379
Web of Science: 20 - Scopus: 39

Articolo di rivista Cho H.; Hachtel G.D.; Macii E.; Plessier B.; Somenzi F. (1996)
Algorithms for Approximate FSM Traversal Based on State SpaceDecomposition. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-15, pp. 1465-1478. - ISSN 0278-0070
Web of Science: 31 - Scopus: 34

Articolo di rivista Cho H.; Hachtel G.D.; Macii E.; Poncino M.; Somenzi F. (1996)
Automatic State Space Decomposition for Approximate FSM Traversal Based on Circuit Structural Analysis. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-15, pp. 1451-1464. - ISSN 0278-0070
Web of Science: 18 - Scopus: 20

Articolo di rivista Sanna A.; Montuschi P.; Montrucchio B. (1996)
A Parallel Algorithm for Image Rendering and Its Implementation. In: ELECTRONICS LETTERS, vol. 32 n. 14, pp. 1275-1277. - ISSN 0013-5194
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Rebaudengo M., Sonza Reorda M. (1996)
A cellular genetic algorithm for the Floorplan area optimization problem on a SIMD architecture. In: High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996, Brussels (BEL), April 15–19, 1996. pp. 987-988
Scopus: 0

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M.;  (1996)
A genetic algorithm for automatic generation of test logic for digital circuits. In: ICTAI 1996 : 8th IEEE International Conference on Tools with Artificial Intelligence, 1996, Toulouse (France), Nov 16-19, 1996. pp. 10-16
Web of Science: 4 - Scopus: 11

Articolo in atti di convegno Corno F., Prinetto P., Rebaudengo M., Sonza Reorda M. (1996)
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits. In: High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996, Brussels (BEL), April 15–19, 1996. pp. 454-459
Scopus: 2

B

Articolo in atti di convegno Ferrandi F; Fummi F; Macii E.; Poncino M; Sciuto D (1996)
BDD-Based Testability Estimation of VHDL Designs. In: EuroVHDL-96: IEEE 1996 European VHDL Conference, Geneva, Switzerland. pp. 444-449
Web of Science: 1 - Scopus: 3

Altro Bona B.; Bona B. (1996)
Book Review "Intelligent Seam Tracking for Robotic Welding", by N. Nayak, A. Ray. .

C

Articolo di rivista Ciminiera L.; Montuschi P. (1996)
Carry-Save Multiplication Schemes without Final Addition. In: IEEE TRANSACTIONS ON COMPUTERS, vol. C-45 n. 9, pp. 1050-1055. - ISSN 0018-9340
Web of Science: 26 - Scopus: 27

Articolo di rivista Corno F; Prinetto P.; Sonza Reorda M (1996)
Circular self-test path for FSMs. In: IEEE DESIGN & TEST OF COMPUTERS, vol. 13 , Issue: 4 , Winter 1996, pp. 50-60. - ISSN 0740-7475
Web of Science: 1 - Scopus: 9

Articolo in atti di convegno G. Cena; Demartini C.G.; L. Durante (1996)
Communication Service and Protocol Specification using Object Oriented Analysis. In: IEEE International Symposium on Industrial Electronics. pp. 1043-1048
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda (1996)
Comparing topological, symbolic and GA-based ATPGs: an experimental approach. In: Test Conference, 1996. Proceedings., International, Washington, DC, 20-25 Oct 1996. pp. 39-47
Web of Science: 5 - Scopus: 11

D

Articolo in atti di convegno Cabodi G; Camurati P.; S. Quer (1996)
Decomposed Symbolic Forward Traversals of Large Finite States Machines. In: IEEE EURO-DAC'96, Geneva, September 16-20 1996. pp. 170-175
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno Calafiore G.C.; B. Bona (1996)
Determinazione dei Parametri di Roto-traslazione tra Due Oggetti Tridimensionali: un Approccio di Ottimizzazione Convessa. In: 27esimo Convegno Internazionale BIAS 96, Milan, 26-28 Novembre 1996. pp. 827-837

E

Articolo in atti di convegno Baldi M.; Macii E.; Poncino M. (1996)
Efficient analysis of communication protocols using VHDL modeling and simulation. In: ASICON-96: IEEE 1996 International Conference on ASIC, Shangai, China, 21-24 Oct 1996. pp. 428-431 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Cabodi G.; P. Camurati; L. Lavagno; E. Macii; M. Poncino; S. Quer; E. Sentovich (1996)
Enhancing FSM Traversal by Temporary Re-Encoding. In: ICCD'96: IEEE International Conference on Computer Design, Austin, October 1996. pp. 6-11
Web of Science: 2 - Scopus: 2

Capitolo di libro Cerone V. (1996)
Errors in variables models in parameter bounding. In: Bounding approaches to system identification. Plenum Press, NEW YORK, pp. 289-306. ISBN 9780306450211

Articolo di rivista Macii E.; Poncino M. (1996)
Estimating Power Consumption of CMOS Circuits Modeled as Symbolic Neural Networks. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 143, pp. 331-336. - ISSN 1350-2387
Web of Science: 1 - Scopus: 4

Articolo in atti di convegno Macii E.; Poncino M (1996)
Exact Computation of the Entropy of a Logic Circuit. In: GLS-VLSI-96: IEEE/ACM 6th Great Lakes Symposium on VLSI, Ames, IA. pp. 162-167
Web of Science: 1 - Scopus: 4

Articolo in atti di convegno Bona B.; Indri M. (1996)
Experiments on the dynamic calibration of a planar manipulator. In: 27th International Symposium on Industrial Robots. pp. 117-122

Articolo in atti di convegno Corno F., Prinetto P., Rebaudengo M., Sonza Reorda M. (1996)
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits. In: International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature, Berlin (DEU), September 22–26, 1996. pp. 791-800
Scopus: 2

F

Articolo in atti di convegno Amendola A., Benso A., Corno F., Impagliazzo L., Prinetto P., Rebaudengo M., Sonza Reorda M. (1996)
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment. In: Design Automation Conference, 1996, with EURO-VHDL '96 and Exhibition, Proceedings EURO-DAC '96, European, Geneva, CH, 16 - 20 Sep 1996. pp. 536-541
Web of Science: 12 - Scopus: 20

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M. (1996)
Fault Tolerant and BIST design of a FIFO cell. In: Euro-DAC '96: IEEE European Design Automation Conference with Euro-VHDL '96 and Exhibition, Geneva (CH), Sep 16-20, 1996. pp. 233-238
Web of Science: 0 - Scopus: 0

G

Articolo di rivista Rebaudengo M.; Sonza Reorda M (1996)
GALLO: a Genetic Algorithm for Floorplan Area Optimization. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 15, No. 8, pp. 943-951. - ISSN 0278-0070
Web of Science: 30

Articolo di rivista Corno F.; Prinetto P; Rebaudengo M; Sonza Reorda M (1996)
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 15(8), pp. 991-1000. - ISSN 0278-0070
Web of Science: 58 - Scopus: 65

I

Articolo in atti di convegno Bona B.; Indri M. (1996)
Identification of the dynamic parameters of a planar manipulator. In: 2nd World Automation Congress (WAC 96). pp. 69-74

Articolo di rivista Benso A., Corno F., Prinetto P., Rebaudengo M., Sonza Reorda M. (1996)
Il ruolo delle tecniche di fault injection nell'analisi dell'affidabilità dei sistemi. In: AEI AUTOMAZIONE ENERGIA INFORMAZIONE, vol. 83 n. 10, pp. 63-69. - ISSN 1122-2824

Articolo in atti di convegno Poncino M. (1996)
Implicit Evaluation of Encoding Rotations for Large FSMs. In: MWSCAS'96: IEEE Midwest Symposium on Circuits and Systems.
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cabodi G; Camurati P.; Quer S (1996)
Improved reachability analysis of large finite state machines. In: ICCAD'96: IEEE International Conference on Computer-Aided Design, San Jose (USA), November 10-14, 1996. pp. 354-360
Web of Science: 5 - Scopus: 38

Articolo in atti di convegno Cabodi G; P. Camurati; L. Lavagno; Quer S.; E.M. Sentovich; R.K. Brayton (1996)
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines. In: IEEE EURO-DAC'96, Geneva, September 16-20 1996.

Libro Demichelis P., Piccolo E. (1996)
Introduzione all'Informatica in C. McGraw-Hill, Milano, pp. 1-497.

M

Articolo di rivista Hachtel G.D.; Macii E.; Pardo A.; Somenzi F. (1996)
Markovian Analysis of Large Finite State Machines. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-15, pp. 1479-1493. - ISSN 0278-0070
Web of Science: 56 - Scopus: 75

Articolo in atti di convegno De Martin J.C.; A. Gersho (1996)
Mixed-Domain Coding of Speech at 3 kbit/s. In: IEEE ICASSP, Atlanta, GA, USA, May 1996. pp. 216-219
Scopus: 2

Articolo in atti di convegno Canale M.; S. Malan; M. Milanese; M. Taragna (1996)
Model Structure Selection in Identification for Control. In: 13th IFAC World Congress, San Francisco (CA), USA.

Articolo in atti di convegno Laface P. (1996)
Modelli di Markov per il riconoscimento della voce. In: XXIV Convegno Nazionale Associazione Italiana di Acustica. pp. 85-88

Articolo di rivista Baralis E.M.; Ceri S.; Paraboschi S. (1996)
Modularization Techniques for Active Rules Design. In: ACM TRANSACTIONS ON DATABASE SYSTEMS, vol. 21, pp. 1-29. - ISSN 0362-5915
Web of Science: 14 - Scopus: 26

N

Articolo di rivista Bona B. (1996)
N. Nayak, A. Ray: Intelligent seam tracking for robotic welding (Book review). In: AUTOMATICA, vol. 32 n. 2, pp. 289-290. - ISSN 0005-1098

Articolo in atti di convegno Bona B; Greco C. (1996)
Nonlinear observer-based position control of the piston stroke in a plastic molding machine. In: IFAC ‘96, San Francisco, 1996.

O

Articolo in atti di convegno F. Corno, M. Damiani, L. Impagliazzo, P. Prinetto, M. Rebaudengo, G. Sartore , M. Sonza Reorda (1996)
On-line testing of an off-the-shelf microprocessor board for safety-critical applications. In: Dependable Computing — EDCC-2, 2nd European Dependable Computing Conference, Taormina (ITA), October 2–4, 1996. pp. 190-201
Scopus: 0

P

Articolo in atti di convegno F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda (1996)
Partial scan flip flop selection for simulation-based sequential ATPGs. In: Test Conference, 1996. Proceedings., International, Washington, DC, USA, 20-25 Oct 1996. pp. 558-564
Web of Science: 3 - Scopus: 4

Articolo in atti di convegno Macii E.; Poncino M (1996)
Power Consumption of Static and Dynamic CMOS Circuits: A Comparative Study. In: ASICON-96: IEEE 1996 International Conference on ASIC, Shangai, China. pp. 425-427
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno Baldi M.; Macii E.; Poncino M. (1996)
Property verification of communication protocols based on probabilistic reachability analysis. In: MWSCAS'96: IEEE Midwest Symposium on Circuits and Systems, Ames, IA (USA), 18-21 Aug 1996. pp. 1143-1146 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

R

Articolo in atti di convegno G. Cena; Demartini C.G.; L. Durante (1996)
Real Time Systems Specification and Object Oriented Analysis. In: IEEE Computational Engineering in Systems Applications IMACS Multiconference. pp. 39-44

Capitolo di libro L. Ciminiera, C. Demartini, A. Valenzano (1996)
Reduced Protocol Architectures for Factory Applications. In: Progress in Robotics and Intelligent Systems / C. Y. Ho & G. Zobrist. Ablex Publishing Corporation, pp. 214-252.

Articolo in atti di convegno Farinetti L.; Malnati G. (1996)
Remote tutoring: what we learned by a practical experience. In: of ED-TELECOM 96, World Conference on Educational Telecommunication, 17-22 Giugno.

Articolo in atti di convegno Sanna A.; Montuschi P. (1996)
Rendering of Animated Sequences. In: The 13th IEEE Asilomar Conference on Signals, Systems & Computers, Pacific Grove, CA, USA. pp. 135-139

Articolo di rivista Benso A; Corno F; Prinetto P; Rebaudengo M.; Sonza Reorda M (1996)
Role of fault injection techniques in system dependability analysis. In: AEI AUTOMAZIONE ENERGIA INFORMAZIONE, vol. 83, pp. 63-69. - ISSN 1122-2824
Web of Science: 0

S

Articolo in atti di convegno Barbagallo S.; Lobetti Bodoni M.; Medina D.; Corno F.; Prinetto P.; Sonza Reorda M. (1996)
Scan insertion criteria for low design impact. In: VTS 1996 : IEEE VLSI Test Symposium, Princeton, NJ (USA), Apr 26 - May 1, 1996. pp. 26-31
Web of Science: 7 - Scopus: 15

Articolo in atti di convegno Laface P.; L. Fissore; A. Maro; Ravera F. (1996)
Segmental Search for Continuous Speech Recognition. In: In International Conference on Spoken Language Processing. pp. 2364-2367
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M (1996)
Self-checking and Fault Tolerant approaches can help BIST fault coverage: a case study. In: ED&TC 96: IEEE European Conference on Design and Test 1996, Paris (Francia), Mar 11-14, 1996. p. 610
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Ferrandi F; Fummi F; Macii E.; Poncino M; Sciuto D (1996)
Simplifying Sequential Gate-Level Test Generation Through Exploitation of High-Level Information. In: ETW-96: IEEE 1996 European Test Workshop, Montpellier, France. pp. 154-158

Articolo in atti di convegno Ajmone Marsan M.; Baldi M.; Bianco A.; Lo Cigno R.; Munafo' M. (1996)
Simulation Analysis of TCP and XTP File Transfers in ATM Networks. In: 5th IFIP Workshop on Protocol for High Speed Networks, Sophia Antipolis, France, October 1996. pp. 29-46

Articolo di rivista Rakesh Agarwal; Giorgio Bruno; Torchiano M. (1996)
Static, dynamic and run-time modeling of compound classes. In: ACM SIGPLAN NOTICES, vol. 31, pp. 49-55. - ISSN 1523-2867
Web of Science: 2 - Scopus: 2

Articolo di rivista Baralis E.M.; Ceri S.; Fraternali P.; Paraboschi S. (1996)
Support Environment for Active Rule Design. In: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, vol. 7, pp. 129-149. - ISSN 0925-9902
Scopus: 4

Articolo in atti di convegno Bahar R. I; Burns M; Hachtel G. D; Macii E.; Shin H; Somenzi F (1996)
Symbolic Computation of Logic Implications for Technology-Dependent Low-Power Synthesis. In: ISLPED-96: ACM/IEEE International Symposium on Low-Power Electronics and Design, Monterey, CA. pp. 163-168
Web of Science: 0

Articolo in atti di convegno Ferrandi F; Fummi F; Macii E.; Poncino M; Sciuto D (1996)
Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques. In: DAC-33: ACM/IEEE Design Automation Conference, Las Vegas, NV. pp. 467-470
Web of Science: 0 - Scopus: 1

T

Articolo in atti di convegno Ferrandi F.; Fummi F.; Macii E.; Poncino M.; Sciuto D. (1996)
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques. In: GLS-VLSI-96, 6th IEEE/ACM Great Lakes Symposium on VLSI, Ames (IA, USA). pp. 208-213
Web of Science: 1 - Scopus: 1

Articolo di rivista F. Corno; P. Prinetto; Sonza Reorda M. (1996)
Testable Synthesis of Control Units via Circular Self-Test Path: Problems and Solutions. In: IEEE DESIGN & TEST OF COMPUTERS, pp. 50-60. - ISSN 0740-7475

Articolo di rivista Della Croce Di Dojola F; Narayan V; Tadei R. (1996)
The two-machine total completion time flow shop problem. In: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, vol. 90, pp. 227-237. - ISSN 0377-2217
Web of Science: 60 - Scopus: 102

U

Articolo di rivista Mario Baldi; Silvano Gai (1996)
Un TCP/IP carrozzato ATM. In: NETWORKING ITALIA, vol. 5, no 1, pp. 7-16. - ISSN 1121-5267

Articolo in atti di convegno Aarsten A.; Morisio M. (1996)
Using Object Oriented Technology to Measure the Software Process. In: 3rd IFIP Int. Conf. on Achieving Quality in Software, January. pp. 265-278

Articolo di rivista Macii E.; Poncino M. (1996)
Using Symbolic Rademacher-Walsh Spectral Transforms to Evaluatethe Agreement Between Boolean Functions. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 143, pp. 64-68. - ISSN 1350-2387
Web of Science: 6 - Scopus: 7

Articolo in atti di convegno G. Godza; M. Rebaudengo; M. Sonza Reorda (1996)
Using parallel genetic algorithms for solving the Min-Cut problem. In: High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996, Brussels (BEL), April 15–19, 1996. pp. 985-986
Scopus: 0

V

Articolo in atti di convegno Cabodi G.; Camurati P.; Lavagno L.; Quer S. (1996)
Verification and Synthesis of Counters based on Symbolic Techniques. In: 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996), Leuven Belgium, October, 1996. [Disponibilità ristretta]
[img]

Articolo in atti di convegno L. Fissore; Laface P.; G. Micca; Ravera F. (1996)
Vocabulary Independent Acoustic-phonetic Modeling for Continuous Speech Recognition. In: Eusipco 96. pp. 1615-1618

Questa lista è stata generata il Wed Nov 22 00:20:00 2017 CET.