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
Numero di pubblicazioni : 35.

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: 13 - Scopus: 11

E

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

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

N

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

Articolo in atti di convegno Sergio Benedetto; Olmo G. (1992)
Performance Evaluation of an Optical Network Employing a Code Division Multiple Access Scheme based on Gold Sequences. In: International Phoenix Conference on Computers and Communications, Scottsdale, Arizona, April 1992.
Web of Science: 0

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 Ajmone Marsan M; Casetti C.; Neri F (1992)
Performance of the CRMA-II Protocol: A Simulation Study. In: EFOC/LAN, Paris, France, June 1992.

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 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

Articolo in atti di convegno Ajmone Marsan M; Casetti C.; Grasso S; Neri F (1992)
Slot Reuse in MAC Protocols for Metropolitan Area Networks. In: 5th IEEE Workshop on Metropolitan Area Networks, Taormina, Italy, May 1992.

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

T

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 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

Articolo in atti di convegno Sergio Benedetto; Olmo G.; Pierluigi Poggiolini (1992)
Trellis Coded Polarization Shift Keying for Optical Communications. In: ITW92 (Information Theory Workshop), Salvador, Brasil, 21-26 June 1992.

Questa lista è stata generata il Tue Feb 20 22:52:01 2018 CET.