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 | M | O | P | S | T | U
Numero di pubblicazioni : 43.

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 Macii E.; Meo A. R (1991)
Algebraic/Topological Combined Strategies for Sequential ATPG. In: IEEE 25th Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA. pp. 1240-1244
Web of Science: 0

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 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 Birello G; Bona B; Greco C.; Mosca M; Pettorruso S (1991)
A mass and density measurement system: feedback control design and preliminary results. In: IMEKO XII World Congress Measurements and Progress, Beijing, 1991.

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

Articolo in atti di convegno Bona B. , Martella P. (1991)
A state-feedback control for a 4-dof manipulator with a transversal flexible link. In: Symposium on Design Methods for Control Systems, Zurich, 4-6 September. pp. 857-862

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. In: Int. Conf. on Industrial and Applied Mathematics, Washigton D.C, July, 1991.

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

M

Articolo in atti di convegno Bona B., Martella P. (1991)
Modelling and control architecture for a spatial manipulator with three rigid links and one very flexible long arm. In: ARP First Workshop on Robotics in Space, Pisa, June 17-18.

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

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 B. Fringuelli, S. Marcugini, A. Milani, S. Rivoira (1991)
Truth maintenance in approximate reasoning. In: 2nd Congress of the Italian Association for Artificial Intelligence.

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 Wed Nov 22 00:23:00 2017 CET.