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

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | B | E | F | H | M | N | O | P | R | S | U | V | W
Numero di pubblicazioni : 34.

A

Articolo di rivista Benedetto S; Olmo G. (1993)
ANALYSIS OF AN OPTICAL CODE DIVISION MULTIPLE ACCESS SCHEME EMPLOYING GOLD SEQUENCES. In: IEE PROCEEDINGS. PART I. COMMUNICATIONS, SPEECH AND VISION, vol. 140, ISSUE 3, pp. 211-219. - ISSN 0956-3776
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno L. Fissore;P. Laface;P. Massafra;F. Ravera (1993)
Analysis and improvement of the partial distance search algorithm. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, Minneapolis, USA, 1993. pp. 315-318
Web of Science: 0 - Scopus: 7

Articolo di rivista Cabodi G.; P. Camurati; F. Corno; P. Prinetto; M. Sonza Reorda (1993)
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques. In: JOURNAL OF ELECTRONIC TESTING, vol. 4, pp. 11-17. - ISSN 0923-8174
Scopus: 2

Articolo di rivista G.P. Balboni; Cabodi G.; S. Gai; M. Sonza Reorda (1993)
A Parallel System for Test Pattern Generation. In: PARALLEL COMPUTING, vol. 19, pp. 177-185. - ISSN 0167-8191
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (1993)
A Static Semantic Analyzer for LOTOS Specifications. In: IEEE Phoenix Conference on Computers and Communications, 23-26 March 1993. pp. 585-592
Web of Science: 0

Articolo in atti di convegno Camurati P.; Corno F.; Prinetto P. (1993)
An efficient tool for system-level verification of behaviors and temporal properties. In: EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93, Hamburg (Germany), Sep 20-24, 1993. pp. 124-129
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Rebaudengo M., Sonza Reorda M. (1993)
An experimental analysis of the effects of migration in parallel genetic algorithms. In: Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on, Gran Canaria (E), 27 Jan 1993-29 Jan 1993. pp. 232-238

Articolo in atti di convegno Camurati P., Corno F., Prinetto P. (1993)
A methodology for system-level design for verifiability. In: IFIPWG10.2 Advanced Research Working Conference, CHARME'93, Arles (FRA), May 24–26, 1993. pp. 80-91
Scopus: 1

Articolo in atti di convegno Morisio M.; A. Tsoukias (1993)
A multicriteria method for software products quality evaluation. In: Third Software Quality Workshop, July.

Articolo in atti di convegno P. Camurati, F. Corno, P. Prinetto, C. Bayol, B. Soulas (1993)
A verifiable design methodology at system-level. In: ICVC93: IEEE 3rd International Conference on VLSI and CAD, Taejon (Korea), Nov 1993. pp. 364-367

B

Articolo in atti di convegno Baralis E.; Ceri S.; Widom J. (1993)
Better Termination Analysis for Active Databases. In: Rules in Database Systems. pp. 163-179

Articolo in atti di convegno Cabodi G., Camurati P., Quer S. (1993)
Boolean Function Decomposition in Symbolic FSM Traversal. In: ICVC'93: IEEE 3rd International Conference on VLSI and CAD, Taejon, Korea, November 1993. pp. 265-268

E

Libro P. Camurati; Quer S.; M. Sonza Reorda (1993)
Esercizi fondamentali in Pascal. NON SPECIFICATO.

Articolo in atti di convegno Fahrat H.; Lioy A.; Poncino M. (1993)
Exact Computation of Detectability Profile,''. In: CICC'93: IEEE Custom Integrated Circuits Conference.

Articolo in atti di convegno Macii E.; Poncino M (1993)
Experiments on Technology Mapping Using Different Cell Libraries. In: IEEE 5th NASA Symposium on VLSI Design, Albuquerque, NM. 9.3.1-9.3.9

Articolo in atti di convegno Cabodi G; Camurati P. (1993)
Exploiting cofactoring for efficient FSM symbolic traversal based on the Transition Relation. In: ICCD'93: IEEE International Conference on Computer Design, Cambridge, MA (USA), October 1993. pp. 229-303
Scopus: 1

Articolo in atti di convegno Camurati P.; Corno F.; Prinetto P. (1993)
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation. In: CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, Ottawa, Ontario (Canada), Apr 26-28, 1993. pp. 31-44
Web of Science: 0 - Scopus: 3

F

Articolo di rivista Cerone V. (1993)
Feasible parameter set for linear models with bounded errors in allvariables. In: AUTOMATICA, vol. 29, pp. 1551-1555. - ISSN 0005-1098
Web of Science: 27 - Scopus: 35

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M. (1993)
Finding the Maximurn Clique in a Graph Using BDDs. In: ICVC93: IEEE 3rd International Conference on VLSI and CAD, Taejon (Korea), Nov 1993. pp. 269-272

H

Articolo in atti di convegno Prinetto P.; Rebaudengo M.; Sonza Reorda M. (1993)
Hybrid Genetic Algorithms for the Travelling Salesman Problem. In: ICANNGA 1993: Artificial Neural Nets and Genetic Algorithms, Innsbruck (Austria), Feb 1993. pp. 559-566

M

Articolo di rivista Piccolo E.; S. Stan (1993)
Moment Normalization and Multi-Layer Perceptron for Handwritten Digit Recognition. In: REVUE ROUMAINE DES SCIENCES TECHNIQUES. SERIE ELECTROTECHNIQUE ET ENERGETIQUE. - ISSN 0035-4066

N

Articolo in atti di convegno Montuschi Paolo; Ciminiera Luigi (1993)
n × n carry-save multipliers without final addition. In: IEEE Symposium on Computer Arithmetic. pp. 54-61
Web of Science: 0 - Scopus: 6

O

Articolo in atti di convegno Lioy A; Poncino M. (1993)
On the Resetability of Synchronous Sequential Circuits. In: ISCAS'93: IEEE Int. Symposium on Circuits and Systems.
Scopus: 0

P

Articolo di rivista Cerone V. (1993)
Parameter bounds for ARMAX models from records with bounded errors invariables. In: INTERNATIONAL JOURNAL OF CONTROL, vol. 57, pp. 225-235. - ISSN 0020-7179
Web of Science: 9

R

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1993)
Rapid Prototyping of Protocols from LOTOS Specifications. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 23, pp. 31-54. - ISSN 0038-0644
Web of Science: 2 - Scopus: 3

Articolo di rivista Montuschi P.; Ciminiera L. (1993)
Reducing Iteration Time When Result Digit isZero for Radix-2 SRT Division and Square Root with Redundant Remainders. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-42 n. 2, pp. 239-246. - ISSN 0018-9340
Web of Science: 7 - Scopus: 9

S

Articolo in atti di convegno Olmo G.; Letizia Lo Presti (1993)
Seismic Analysis and Denoising with the Wavelet Transform. In: ICSPAT 93 (International Conference on Signal Processing Applications and Technology), S. Clara (CA), USA, Sep. 28 - Oct. 1 1993.

Articolo in atti di convegno Letizia Lo Presti; Olmo G. (1993)
Seismic Signal Processing with the Wavelet Transform. In: AGU Chapman/EGS Richardson Memorial Conference: Nonlinear Variability in Geophysics, Ajaccio (France), Sep. 10-17 1993.

Articolo di rivista Ajmone Marsan M.; Casetti C.; Santi Grasso; Fabio Neri (1993)
Slot Reuse in MAC Protocols for Metropolitan Area Networks. In: IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, vol. 11, pp. 1290-1301. - ISSN 0733-8716
Scopus: 7

Articolo in atti di convegno Camurati P.; Corno F.; Prinetto P. (1993)
System-level fault modeling and test pattern generation with process algebras. In: ETC-93: IEEE 3rd European Test Conference, Rotterdam (The Netherlands), Apr 19-22, 1993. pp. 47-56

U

Articolo in atti di convegno L. Fissore,E. Giachin,P. Laface,P. Massafra (1993)
Using grammars in forward and backward search. In: Third European Conference on Speech Communication and Technology, Berlin, Germany, 1993. pp. 1525-1528

V

Articolo in atti di convegno P. Camurati; F. Corno; P. Prinetto; C. Bayol; B. Soulas; (1993)
VOVHDL: A verification-oriented dialect of VHDL. In: VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting, Hamburg (Germany), Sept 23, 1993. pp. 37-47

Articolo in atti di convegno Ercegovac M.; Lang T.; Montuschi P. (1993)
Very High Radix Division with Selection by Rounding and Prescaling. In: IEEE 11th Symposium on Computer Arithmetic, Windsor (ON), Canada, July 1993. pp. 112-119
Web of Science: 7 - Scopus: 9

W

Articolo in atti di convegno Letizia Lo Presti; Olmo G. (1993)
Wavelet Transform Applications to Seismic Signals. In: International Conference on Wavelets, Taormina (Italy), Oct. 14-20, 1993.

Questa lista è stata generata il Fri Feb 16 22:52:58 2018 CET.