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

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

A

Articolo in atti di convegno Montuschi P., Ciminiera L., Giustina A. (1992)
A Division Architecture Combining Newton-Raphson Approximations and Direct Methods Iterations. In: 26th IEEE Asilomar Conference, Asilomar (CA) USA, October 1992. pp. 376-380
Web of Science: 0

Articolo in atti di convegno Sisto R., Valenzano A. (1992)
A Formalization Of The FIP Protocol Using Estelle. In: IEEE International Workshop on Emerging Technologies and Factory Automation, Melbourne, Australia, 11-14 August 1992. pp. 348-353

Articolo in atti di convegno Cabodi G; Camurati P.; F. Corno; S. Gai; P. Prinetto; M. Sonza Reorda (1992)
A new model for improving symbolic Product Machine traversal. In: DAC-29: 29th ACM/IEEE Design Automation Conference, Anaheim, CA (USA), June 1992. pp. 614-619
Web of Science: 1 - Scopus: 7

Articolo in atti di convegno P. Camurati, F. Corno, P. Prinetto, M. Sonza Reorda (1992)
A simulation-based approach to test pattern generation for synchronous circuits. In: IEEE VLSI Test Symposium. pp. 263-267

B

Articolo in atti di convegno G. Cabodi, S. Gai, M. Sonza Reorda (1992)
Boolean Function Manipulation on Massively Parallel Computers. In: IEEE Symposium on the Frontiers of Massively Parallel Computation. pp. 508-509
Web of Science: 0

C

Articolo in atti di convegno Camurati P.; Prinetto P.; Rebaudengo M.; Sonza Reorda M, (1992)
Centralized vs. distributed implementation of FSM equivalence verification on a parallel system. In: EWPC '92 : the European Workshops on Parallel Computing: from theory to sound practic, Barcelona (Spain), Mar 23-24, 1992. pp. 554-557
Web of Science: 0

Articolo in atti di convegno L. Fissore,P. Laface,G. Micca,G. Sperto (1992)
Channel adaptation for a continuous speech recognizer. In: International Conference on Spoken Language Processing, Banff, Canada, 1992. pp. 1495-1498

Articolo in atti di convegno Cabodi G.; Camurati P; Corno F; Prinetto P; Sonza Reorda M (1992)
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis. In: IEEE EURO-DAC'92, Hamburg (Germany), September 1992. pp. 306-311
Web of Science: 0 - Scopus: 0

D

Articolo di rivista Montuschi P.; Ciminiera L. (1992)
Design of a Radix-4 Division Unit with Simple Selection Table. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-41 n. 12, pp. 1606-1611. - ISSN 0018-9340
Web of Science: 12 - Scopus: 11

E

Articolo in atti di convegno Macii E.; Magnanini L; Meo A. R (1992)
Efficient Heuristics for Sequential ATPG. In: MWSCAS-92: IEEE 35th Midwest Symposium on Circuits and Systems, Washington, DC. pp. 278-281
Web of Science: 0

Articolo in atti di convegno Camurati P., Prinetto P., Rebaudengo M., Sonza Reorda M. (1992)
Efficient Verification of Sequential Circuits on a Parallel System. In: EDAC'92: IEEE European Design Automation Conference, Brussels. pp. 64-68

Articolo in atti di convegno Bona B.; Indri M. (1992)
Exact Decoupling of the Force-Position Control using the Operational Space Formulation. In: 1992 IEEE International Conference on Robotics and Automation. pp. 1394-1398
Web of Science: 1 - Scopus: 3

F

Capitolo di libro B. Fringuelli, S. Marcugini, A. Milani, S. Rivoira (1992)
FTMS : A Fuzzy Truth Maintenance System. In: Computers and Artificial Intelligence. Institute of Technical Cybernetics, Slovak Academy of Sciences, pp. 229-239.

H

Articolo in atti di convegno L. Fissore;P. Laface;P. Ruscitti (1992)
HMM modeling for speaker independent voice dialing in car environment. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, San Francisco, USA, 1992. pp. 249-252
Web of Science: 0 - Scopus: 1

Articolo di rivista Lang T.; Montuschi P. (1992)
Higher Radix Square Root with Prescaling. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-41 n. 8, pp. 996-1009. - ISSN 0018-9340
Web of Science: 9 - Scopus: 11

I

Articolo in atti di convegno Camurati P., Rebaudengo M., Prinetto P., Sonza Reorda M. (1992)
Improved techniques for multiple stuck-at fault analysis using single stuck-at fault test sets. In: Circuits and Systems, 1992. ISCAS '92. Proceedings., 1992 IEEE International Symposium on, 10-13 May 1992. pp. 383-386
Web of Science: 1

J

Articolo in atti di convegno Bolioli A; Dini L.; Malnati G. (1992)
JDII: Parsing Italian with a Robust Constraint Grammar. In: fifteenth International Conference on Computational Linguistics, 23-28 agosto.

Articolo in atti di convegno Dini L.; Malnati G. (1992)
JDII: an Advanced Syntax Checker for Italian. In: Third Conference on Applied Natural Language Processing, 31 marzo - 3 aprile.

M

Libro A. Valenzano; Demartini C.G.; L. Ciminiera (1992)
MAP and TOP Communications: Standards and Applications. Addison-Wesley, WOKINGHAM. ISBN 9780201416657

Articolo in atti di convegno Bona B., Li W. (1992)
Model and adaptive control for a 4-dof manipulator with a flexible arm. In: 1992 IEEE International Conference on Robotics and Automation, Nice (France), May 10-15. pp. 1969-1975
Web of Science: 0 - Scopus: 0

N

Articolo in atti di convegno Macii E.; Magnanini L; Meo A. R (1992)
New Heuristic Techniques to Increase the Performance of a Test Generation Package for VLSI Sequential Circuits. In: CCECE-92: IEEE 1992 Canadian Conference on Electrical and Computer Engineering, Toronto, Ontario. pp. 741-744

Articolo in atti di convegno De Martin J.C. (1992)
New Technique of Dictionary Updating for Textual-Substitution Based Data Compression. In: Congresso Annuale Associazione Italiana per il Calcolo Automatico (AICA), Torino, Italy, October 1992.

P

Libro Demichelis P., Piccolo E. (1992)
PASCAL trasparenze. C.L.U.T, Torino, pp. 1-202.

Articolo di rivista Montuschi P. (1992)
Parallel Architectures for Higher Radix Division. In: IEE PROCEEDINGS. PART E. COMPUTERS AND DIGITAL TECHNIQUES, vol. 139 n. 2, pp. 101-110. - ISSN 0143-7062
Web of Science: 2 - Scopus: 1

Capitolo di libro L. Fissore,P. Laface,G. Micca,R. Pieraccini (1992)
Performance of a Speaker-Independent Continuous Speech Recognizer. In: Speech Recognition and Understanding - Recent Advances, Trends, and Applications / P. Laface, R. De Mori. Springer Verlag, pp. 171-179. ISBN 3540540326

Articolo in atti di convegno Bona B; Giacomello L; Greco C.; Malandra A (1992)
Position control of a plastic injection molding machine via feedback linearization. In: 31.st IEEE Conference on Decision Control, Tucson, 1992.
Web of Science: 0

Articolo in atti di convegno Sisto R., Ciminiera L., Valenzano A. (1992)
Probabilistic Characterization of Algebraic Protocol Specifications. In: 12th International Conference on Distributed Computing Systems, Yokohama, Japan, 9-12 June 1992. pp. 260-268
Web of Science: 1

R

Articolo di rivista Bertuglia C.S., Rabino G.A., Tadei R. (1992)
Review of the main conceptual issues facing contemporary urban planning. In: SISTEMI URBANI, vol. 1-2-3, pp. 151-171. - ISSN 0393-5493

Articolo di rivista Tempo R.; Cerone V. (1992)
Robust Stability: The Computational Complexity Point of View. In: JOURNAL OF COMPLEXITY, vol. 8, pp. 265-276. - ISSN 0885-064X
Scopus: 0

S

Articolo di rivista Costamagna D., Bona B. (1992)
SIMCRO: un ambiente per lo sviluppo e la simulazione di celle robotizzate. Workshop: simulazione di Sistemi Robotici. In: AUTOMAZIONE E STRUMENTAZIONE, pp. 149-156. - ISSN 0005-1284

Articolo in atti di convegno Cabodi G; Camurati P; Corno F; Prinetto P.; Sonza Reorda M (1992)
Sequential circuit diagnosis based on formal verification techniques. In: ITC 1992: IEEE International Test Conference 1992, Baltimore MD (USA), Sept. 20-24 1992. pp. 187-196
Web of Science: 1 - Scopus: 3

Curatela P. Laface, R. De Mori (1992)
Speech Recognition and Understanding. [Curatela]

T

Articolo in atti di convegno Macii E.; Meo A. R (1992)
Techniques to Increase Sequential ATPG Performance. In: VTS-92: IEEE 10th VLSI Test Symposium, Atlantic City, NJ. pp. 257-262

Articolo in atti di convegno Meo A.R.; Macii Enrico (1992)
Techniques to increase ATPG performance. In: IEEE 10th VLSI Test Symposium.

Libro Piccolo E. (1992)
Tecniche di Base e Tecniche Avanzate per l'Uso del Personal Computer. C.L.U.T. Edtrice, Torino, pp. 1-310.

Articolo in atti di convegno Lioy A; Macii E.; Meo A. R (1992)
Test Generation for Gate Level Sequential Machines: Algorithms and Implementation Issues. In: CompEuro'92: IEEE 1992 International Conference on Software Engineering, Den Haag, The Netherlands. pp. 262-267
Web of Science: 0

Articolo in atti di convegno Macii E.; Meo A. R (1992)
Test Generation for Sequential Networks Affected by Reconvergent Fanout: a Solution based on a 9-Valued Algebraic Circuit Model. In: IEEE 26th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA. pp. 980-984
Web of Science: 0

Articolo in atti di convegno Macii E.; Meo A. R (1992)
Testability Measures Reduce Test Generation Time in Sequential ATPG. In: IEEE 26th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA. pp. 985-988
Web of Science: 0

Articolo in atti di convegno Demartini C., Montuschi P., Valenzano A., Ciminiera L., Sisto R. (1992)
Throughput Analysis of Timed Token Protocols in Double Ring Networks. In: 17th Conference on Local Computer Networks, Minneapolis, MN, USA, 13-16 September 1992. pp. 473-482
Web of Science: 0

Articolo di rivista Montuschi P.; Valenzano A.; Ciminiera L. (1992)
Time Characteristics of the IEEE 802.4 Token Bus Protocol. In: IEE PROCEEDINGS. PART E. COMPUTERS AND DIGITAL TECHNIQUES, vol. 139 n. 1, pp. 81-87. - ISSN 0143-7062
Web of Science: 11 - Scopus: 12

V

Articolo in atti di convegno Macii E.; Plessier B; Somenzi F (1992)
Verification of Systems Containing Counters. In: ICCAD-92: ACM/IEEE 1992 International Conference on Computer-Aided Design, Santa Clara, CA. pp. 179-182
Scopus: 6

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