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

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | C | D | F | I | K | L | O | P | S | T | U
Numero di pubblicazioni : 41.

A

Articolo in atti di convegno Lioy A; Macii E.; Meo A. R; Sonza Reorda M (1991)
An Algebraic Approach to Test Generation for Sequential Circuits. In: GLS-VLSI-91: IEEE/ACM 1st Great Lakes Symposium on VLSI, Kalamazoo, MI. pp. 115-120

Articolo in atti di convegno Montuschi Paolo; Ciminiera Luigi (1991)
Algorithm and architectures for radix-4 division with over-redundant digit set and simple digit selection hardware. In: IEEE Asilomar Conference on Circuits, Systems & Computers. pp. 418-422
Web of Science: 0 - Scopus: 0

Articolo di rivista Benedetto S; Milanesi A; Olmo G; Poggiolini P. (1991)
Applications of trellis coding to coherent optical communications employing polarisation shift keying modulation. In: ELECTRONICS LETTERS, vol. 27, pp. 1061-1062. - ISSN 0013-5194
Web of Science: 3 - Scopus: 2

Articolo di rivista A. Lioy; Mezzalama M. (1991)
Automatic compaction of microcode. In: MICROPROCESSORS AND MICROSYSTEMS, vol. 14. - ISSN 0141-9331

Articolo in atti di convegno Ciminiera L.; Sisto R.; Valenzano A. (1991)
A Graphical Tool for Protocol Design with Estelle. In: CompEuro '91. 5th Annual European Computer Conference, Bologna, Italy, 13-16 May 1991. pp. 552-556
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Lioy A.; Poncino M. (1991)
A Hierarchical Multi-Level Test Generation System. In: GLS-VLSI'91: 1st Great Lake State Symposium.

Articolo di rivista Sisto R.; Ciminiera L; Valenzano A (1991)
A Protocol for Multirendezvous of LOTOS Processes. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 40, pp. 437-447. - ISSN 0018-9340
Web of Science: 4 - Scopus: 7

Articolo in atti di convegno S. Di Pilla, B. Fringuelli, S. Marcugini, A. Milani, S. Rivoira (1991)
An Uncertain Belief Revision System based on Fuzzy Logic. In: Int. Fuzzy Systems Assoc. 4th World Congress, Brussels. pp. 17-20

Articolo in atti di convegno Barbagallo S.; Burri A.; Medina D.; Camurati P.; Prinetto P.; Sonza Reorda M. (1991)
An experimental comparison of different approaches to ROM BIST. In: CompEuro'91: IEEE 5th Annual European Computer Conference on VLSI and Computers, Bologna (Italy), 13-16 May 1991. pp. 567-571
Web of Science: 0 - Scopus: 4

Articolo in atti di convegno G. Menga; Morisio M.; M. Mancin (1991)
A framework for Object Oriented Design of Manufacturing Systems. In: IEEE Int. Conf. on Robotics and Automation, April. pp. 128-133
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno M. Baioletti, S. Marcugini, A. Milani, S. Rivoira (1991)
A nonlinear planner with loop detection. In: 4th Int. Conf. on Industrial & Engineering Applications of Artificial Intelligence and Expert Systems, Koloa, Hawaii. pp. 650-658

Articolo in atti di convegno Dologlou Y.; Malnati G.; Paggio P. (1991)
A preference mechanism based on multiple criteria resolution. In: European Chapter of the Association for Computational Linguistics, 9-11 Aprile.
Web of Science: 0

C

Articolo in atti di convegno Camurati P.; Gilli M.; Meo A.R.; Prinetto P.; Sonza Reorda M. (1991)
Comparing ATPGs for synchronous sequential circuits. In: CompEuro'91: IEEE 5th Annual European Computer Conference on VLSI and Computers, Bologna (Italy), 13-16 May 1991. pp. 224-228
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno L. Fissore;P. Laface;G. Micca (1991)
Comparison of discrete and continuous HMMs in a CSR task over the telephone. In: International Conference on Acoustics, Speech, and Signal Processing, ICASSP-91, Toronto, Canada, 1991. pp. 253-256
Web of Science: 0

D

Articolo in atti di convegno Valenzano A.; Sisto R.; Ciminiera L. (1991)
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS. In: Tenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, Arizona, USA, March 1991. pp. 346-352
Web of Science: 0 - Scopus: 0

F

Articolo in atti di convegno Cabodi G.; S. Gai; M. Sonza Reorda (1991)
Fast Differential Fault Simulation by Dynamic Fault Ordering. In: ICCD'91: IEEE International Conference on Computer Design, Cambridge, MA (USA), October 1991. pp. 60-63
Web of Science: 1 - Scopus: 3

Articolo in atti di convegno Cerone V. (1991)
Feasible parameter set for bilinear systems from records with bounded output errors. In: American Control Conference, Boston, Massachusetts, USA, June, 26-28. pp. 37-42
Scopus: 1

Articolo di rivista Menga G; Morisio M.; Gallo G; Picchiottino P; Lorusso G (1991)
Framework for object-oriented prototyping of manufacturing systems. In: JOURNAL OF OBJECT-ORIENTED PROGRAMMING. - ISSN 0896-8438
Web of Science: 0 - Scopus: 0

I

Capitolo di libro Tadei R. (1991)
Indicatori di performance e valutazione multicriteri. In: I sistemi urbani. Vol II: I modelli. Gli strumenti di supporto alle decisioni / Bertuglia C.S., La Bella A. (a cura di). Franco Angeli, Milano, pp. 735-758. ISBN 9788820468422

K

Articolo in atti di convegno Bona B., Carabelli S., Greco C. (1991)
Kalman decomposition and closed-form computation of matrix functions via Jordan decomposition for control applications. In: 10th IASTED Int. Conf. on Modelling, Identification and Control, Innsbruck (A), feb. 1991.

L

Capitolo di libro Bertuglia C.S., Rabino G.A., Tadei R. (1991)
La valutazione delle azioni in campo urbano in un contesto caratterizzato dall'impiego dei modelli matematici. In: Sistemi spaziali. Approcci e metodologie / Bielli M., Reggiani A. (a cura di). Franco Angeli, Milano, pp. 97-143. ISBN 9788820471439

O

Articolo in atti di convegno Ercegovac M.; Lang T.; Montuschi P. (1991)
On the Implementation of a Parallel Algorithm for Higher Radix Division. In: IEEE COMPEURO 91, Bologna (Italy), May 1991. pp. 603-607
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Montuschi Paolo; Valenzano Adriano; Ciminiera Luigi (1991)
On the equivalence of IEEE 802.4 and FDDI timed token protocols. In: IEEE INFOCOM. pp. 435-440
Web of Science: 0 - Scopus: 2

Articolo di rivista Montuschi P.; Mezzalama M. (1991)
Optimal Absolute Error Starting Values for Newton-Raphson Calculation of Square Root. In: COMPUTING, vol. 46 n. 1, pp. 67-86. - ISSN 0010-485X
Web of Science: 6 - Scopus: 2

P

Articolo di rivista Baldassari M.; Bruno G.; Castella A. (1991)
PROTOB - an object-oriented case tool for modeling and prototyping distributed systems. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 21 n. 8, pp. 823-844. - ISSN 0038-0644
Web of Science: 7 - Scopus: 14

Articolo in atti di convegno Cerone V. (1991)
Paramenter bounds for linear models in the presence of bounded relative errors. In: 3rd IEE International Conference on Control, Edinburgh, March, 25-28. pp. 1171-1176

Articolo in atti di convegno Cerone V. (1991)
Parameter bounding in ARMAX models from records with bounded errors in variables. In: 9th Ifac Symposium on Identification and System Parameter Estimation, Budapest, July, 8-12. pp. 1419-1423

Articolo in atti di convegno Cerone V. (1991)
Parameter bounds for models with bounded errors in all variables. In: 9th Ifac Symposium on Identification and System Parameter Estimation, Budapest, July, 8-12. pp. 1518-1523

Articolo di rivista Sergio Benedetto; Olmo G. (1991)
Performance Evaluation of Coherent Optical Code Division Multiple Access. In: ELECTRONICS LETTERS, vol. 27, ISSUE 22, pp. 2000-2002. - ISSN 0013-5194
Web of Science: 15 - Scopus: 21

Articolo di rivista Bruno G.; Baldassari M (1991)
Protob: an object oriented methodology for developing discrete event dynamic systems. In: COMPUTER LANGUAGES, vol. 16, pp. 39-63. - ISSN 0096-0551
Web of Science: 19 - Scopus: 26

Articolo in atti di convegno Camurati P.; Gilli M.; Prinetto P.; Sonza Reorda M. (1991)
Proving finite state machines correct with an automaton-based method. In: IEEE First Great Lakes Symposium on VLSI, Kalamazoo MI (USA),, 1-2 March 1991. pp. 255-258

S

Articolo in atti di convegno L. Fissore,E. Giachin,P. Laface,G. Micca (1991)
Selection of speech units for a speaker-independent CSR task. In: EUROSPEECH 1991, Genova, 1991. pp. 1389-1392

Articolo in atti di convegno Montuschi Paolo; Ciminiera Luigi (1991)
Simple radix 2 division and square root with skipping of some addition steps. In: IEEE Symposium on Computer Arithmetic. pp. 202-209
Web of Science: 2 - Scopus: 4

Articolo in atti di convegno P. Demichelis; L. Fissore; P. Laface; Piccolo E. (1991)
Speaker Independent Recognition in Car Environment. In: Prometheus Pro-Art Workshop on Intelligent Co-Pilot, Grenoble, France, December 12-13, 1991. pp. 93-101

Articolo di rivista Valenzano A.; Montuschi P.; Ciminiera L. (1991)
Systolic Accelerator for Parametric Surface Modelling. In: IEE PROCEEDINGS. PART E. COMPUTERS AND DIGITAL TECHNIQUES, vol. 138 n. 4, pp. 223-231. - ISSN 0143-7062
Web of Science: 0 - Scopus: 2

T

Articolo in atti di convegno Camurati P; Gilli M; Prinetto P.; Sonza Reorda M (1991)
The Product Machine and Implicit Enumeration to prove FSMs correct. In: CHARME 1991: Advanced Research Workshop on Correct Hardware Design Methodologies, Torino (Italy), June 1991. pp. 51-62

Articolo di rivista Cabodi G.; P. Camurati; P. Prinetto; M. Sonza Reorda (1991)
TPDL*: Extended Temporal Profile Description Language. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 21, pp. 355-374. - ISSN 0038-0644
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Benedetto S.; Olmo G.; Poggiolini P. (1991)
Trellis coded polarization shift keying modulation for optical communications. In: OCTIMA '91, January 29-31.

Articolo in atti di convegno B. Fringuelli, S. Marcugini, A. Milani, S. Rivoira (1991)
Truth maintenance in approximate reasoning. In: 2nd Congress of the Italian Association for Artificial Intelligence.
Scopus: 0

Articolo in atti di convegno P. Camurati; M. Gilli; P. Prinetto; M. Sonza Reorda (1991)
The use of model checking in ATPG for sequential circuits. In: Computer-Aided Verification 2nd International Conference, CAV '90, New Brunswick, NJ (USA), June 18-21, 1990. pp. 86-95
Web of Science: 0 - Scopus: 0

U

Articolo in atti di convegno Bona B., Carabelli S., Greco C. (1991)
Use of modern computer tools for numerical experiments in matrix theory. In: 2nd Int. workshop on Computer Aided Systems Theory - EUROCAST ‘91, Krems (A), apr. 1991.

Questa lista è stata generata il Fri Feb 16 22:54:38 2018 CET.