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

A

Articolo in atti di convegno Bahar; R. I; Gaona C; Frohm E; Hachtel G. D; Macii E.; Pardo A; Somenzi F (1993)
Algebraic Decision Diagrams and Their Applications. In: ICCAD-93: ACM/IEEE 1993 International Conference on Computer-Aided Design, Santa Clara, CA. pp. 188-191
Web of Science: 0 - Scopus: 241

Articolo in atti di convegno Cho H; Hachtel G. D; Macii E.; Plessier B; Somenzi F (1993)
Algorithms for Approximate FSM Traversal. In: DAC-30: ACM/IEEE Design Automation Conference, Dallas, TX. pp. 25-30
Web of Science: 3 - Scopus: 25

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

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

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

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: 25 - Scopus: 34

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

Articolo in atti di convegno Macii E.; Evans A (1993)
Resynthesis for Testability of Redundant Combinational Circuits. In: ETC-93: IEEE 1993 European Test Conference, Rotterdam, The Netherlands. pp. 511-512

S

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

Questa lista è stata generata il Tue Sep 19 23:45:33 2017 CEST.