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

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | B | C | D | E | F | G | H | I | L | M | N | O | P | Q | R | S | T | U | V
Numero di pubblicazioni : 87.

A

Articolo in atti di convegno A. Mccree; De Martin J.C. (1997)
A 1.6 kb/s MELP Coder for Wireless Communications. In: IEEE Workshop on Speech Coding for Telecommunications, Pocono Manor Inn, PA, USA, September 1997. pp. 23-24
Web of Science: 0 - Scopus: 6

Articolo in atti di convegno A. Lioy, E. Macii, M. Poncino, M. Rossello (1997)
Accurate entropy calculation for large logic circuits based on output clustering. In: 7th Great Lakes Symposium on VLSI, Urbana-Champaign, IL (USA), 13-15 Mar 1997. pp. 70-75 [Disponibilità ristretta]
Web of Science: 5 - Scopus: 6
[img]

Articolo di rivista Cena G; Durante L; Sisto R.; Valenzano A (1997)
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks''. In: COMPUTER COMMUNICATIONS, vol. 20, pp. 804-819. - ISSN 0140-3664
Web of Science: 0 - Scopus: 0

Articolo di rivista R.I. Bahar, C. Gaona, E. Frohm, G.D. Hachtel, E. Macii, A. Pardo, F. Somenzi (1997)
Algebraic Decision Diagrams and Their Applications. In: FORMAL METHODS IN SYSTEM DESIGN, vol. 10 n. 2-3, pp. 171-206. - ISSN 0925-9856
Web of Science: 76 - Scopus: 134

Articolo di rivista Macii E; Poncino M. (1997)
An Application of Hopfield Neural Networks to Symbolic Power Analysis of VLSI Digital Circuits. In: INTERNATIONAL JOURNAL OF ENGINEERING SCIENCE, vol. 35, pp. 783-792. - ISSN 0020-7225
Scopus: 2

Articolo in atti di convegno C. Demartini, A. Valenzano, S. Rivoira (1997)
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303. In: 41° Convegno Nazionale ANIPLA, Torino. pp. 117-126

Capitolo di libro Lioy A. (1997)
Aspetti di sicurezza in IPv6. In: IPv6: il nuovo protocollo per Internet e le Intranet / GAI S. McGraw-Hill Italia, MILANO, pp. 139-151. ISBN 9788838632099

Articolo in atti di convegno Benini L.; De Micheli G.; Macii E.; Sciuto D.; Silvano C. (1997)
Asymptotic zero-transition activity encoding for address busses in low-power microprocessor-based systems. In: GLS-VLSI-97: IEEE/ACM 7th Great Lakes Symposium on VLSI, Urbana-Champaign, IL, 13-15 Mar 1997. pp. 77-82 [Disponibilità ristretta]
Web of Science: 100 - Scopus: 198
[img]

Articolo di rivista Macii E; Poncino M. (1997)
An Exact Algorithm for Computing the Entropy of a Logic Circuit. In: INTERNATIONAL JOURNAL OF COMPUTERS AND THEIR APPLICATIONS, vol. 4, pp. 49-55. - ISSN 1076-5204

Articolo in atti di convegno G. Cena; Demartini C.G.; L. Durante; A. Valenzano (1997)
An Express Model for the Description of Fieldbus Devices. In: 2nd IEEE Workshop on Factory Communications Systems. pp. 81-90
Web of Science: 0 - Scopus: 0

Articolo di rivista Sanna A.; Montuschi P.; Fisone A.; Montrucchio B. (1997)
A New Algorithm for the Rendering of CSG Scenes. In: COMPUTER JOURNAL, vol. 40 n. 9, pp. 555-564. - ISSN 0010-4620
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Corno F; Prinetto P; Rebaudengo M; Sonza Reorda M; Squillero G. (1997)
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits. In: International Conference on Computer Design. pp. 381-386
Web of Science: 5 - Scopus: 8

Articolo in atti di convegno G. Cabodi; P. Camurati; A. Lioy; M. Poncino; S. Quer (1997)
A Parallel Approach to Symbolic Traversal Based on Set Partitioning. In: CHARME'97: Correct Hardware Methodologies.

Articolo in atti di convegno Cena G.; Ciminiera L.; Montuschi P.; Sanna A. (1997)
A Q-coder Algorithm with Carry Free Addition. In: 13th IEEE Symposium on Computer Arithmetic. pp. 282-290
Web of Science: 0 - Scopus: 0

Articolo di rivista Cerone V. (1997)
A fast technique for the generation of the spectral set of apolytope of polynomials. In: AUTOMATICA, vol. 33, pp. 277-280. - ISSN 0005-1098
Web of Science: 12 - Scopus: 12

Articolo in atti di convegno F. Corno; P. Prinetto; M. Rebaudengo; M. Sonza Reorda; G. Squillero (1997)
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits. In: ATS '97, 6th Asian Test Symposium, Akita (JPN), 17-19 Nov 1997. pp. 56-61 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 3
[img]

Articolo in atti di convegno A. Benso; P. Prinetto; M. Rebaudengo; M. Sonza Reorda; R. Ubar (1997)
A new approach to build a low-level Malicious Fault List starting from High-level description and Alternative Graphs. In: EDTC '97 Proceedings of the 1997 European conference on Design and Test. pp. 560-565
Web of Science: 2 - Scopus: 1

B

Articolo in atti di convegno F. Bianchi, F. Corno, M. Rebaudengo, M. Sonza Reorda, R. Ansaloni (1997)
Boolean function manipulation on a parallel system using BDDs. In: High-Performance Computing and Networking International Conference and Exhibition, Vienna (AUT), April 28–30, 1997. pp. 916-928 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 4
[img]

Articolo in atti di convegno Chesta C; Laface P.; Ravera F. (1997)
Bottom-up and Top-down State Clustering for Robust Acoustic Modeling. In: Eurospeech 97. pp. 11-14

C

Articolo in atti di convegno Chiusano S.; Corno F.; Prinetto P.; Sonza Reorda M. (1997)
Cellular automata for deterministic sequential test pattern generation. In: IEEE VLSI Test Symposium, April 27-May 1, 1997. pp. 60-67
Web of Science: 9 - Scopus: 13

Articolo di rivista Macii E.; Poncino M. (1997)
Cellular-Automata Models for Reliability Analysis of Systems on Silicon. In: IEEE TRANSACTIONS ON RELIABILITY, vol. 46, pp. 173-183. - ISSN 0018-9529
Web of Science: 2 - Scopus: 3

Articolo in atti di convegno S. Carabelli; C. Delprete; G. Genta; S. Zanolli (1997)
Control of a two active-axes suspension for maglev vehicles. In: ACC'97 American Control Conference, Albuquerque NM (USA), 4-6 Jun 1997. pp. 3962-3966 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 3
[img]

D

Articolo di rivista Baralis E.M.; Ceri S.; Paraboschi S. (1997)
Debugging and Run-time Monitoring of Active Rules. In: JOURNAL OF SYSTEMS INTEGRATION. - ISSN 0925-4676
Scopus: 0

Articolo di rivista Baralis E.M.; Psaila G. (1997)
Designing Templates for Mining Association Rules. In: JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, vol. 9. - ISSN 0925-9902
Scopus: 34

Articolo di rivista Rakesh Agarwal; Giorgio Bruno; Torchiano M. (1997)
Developing Operational Models using O3ML. In: COMPUTER SCIENCE AND INFORMATICS, vol. 27, pp. 1-11. - ISSN 0254-7813

Articolo in atti di convegno G. Cabodi;P. Camurati;L. Lavagno;S. Quer (1997)
Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits. In: Proceedings of the 34th Design Automation Conference. pp. 728-733
Web of Science: 24 - Scopus: 31

E

Articolo in atti di convegno Benini L; Macii E.; Poncino M (1997)
Efficient Controller Design for Telescopic Units. In: ISIS-97: IEEE 1997 International Conference on Innovative Systems in Silicon, Austin, TX. pp. 290-299
Web of Science: 0 - Scopus: 7

Articolo in atti di convegno Bruno G.; Reyneri C.; Torchiano M. (1997)
Enterprise Integration: operational models of business processes and workflow systems. In: Proc. ICEIMT'97 Int.Conf. on Enterprise Integration and Modeling Techniques, 01-FEB-97-.

Libro Cena G., Durante L., Piccolo E., Sisto R., Valenzano A. (1997)
Esercizi di Fondamenti di Informatica. UTET Libreria, Torino, pp. 1-313. ISBN 8877504587

Articolo in atti di convegno M. Baldi, S. Gai, G.P. Picco (1997)
Exploiting Code Mobility in Decentralized and Flexible Network Management. In: First International Workshop on Mobile Agents 97 (MA '97), Berlin. pp. 13-26
Web of Science: 20 - Scopus: 25

Articolo in atti di convegno F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, M. Violante (1997)
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG. In: Test Symposium, 1997. (ATS '97) Proceedings., Sixth Asian, Akita, J, 17-19 Nov 1997. pp. 68-73
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Chiusano S.; Corno F.; Prinetto P.; Rebaudengo M.; Sonza Reorda M. (1997)
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. In: IEEE International Conference on Tools with Artificial Intelligence, 3-8 Nov 1997. pp. 133-140
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno A. Benso, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, J. Raik, R. Ubar (1997)
Exploiting high-level descriptions for circuits fault tolerance assessment. In: Defect and Fault Tolerance in VLSI Systems, 1997. Proceedings., 1997 IEEE International Symposium on, Paris, F, 20-22 Oct 1997. pp. 212-216
Web of Science: 0 - Scopus: 2

F

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M; Scarsi R (1997)
Fast Power Estimation for Deterministic Input Streams. In: ICCAD-97: IEEE/ACM 1997 International Conference on Computer-Aided Design, San Jose,CA. pp. 494-501
Web of Science: 0 - Scopus: 5

Altro Sanna A. (1997)
Fondamenti di Informatica - Raccolta di lucidi. .

Articolo di rivista Macii E.; Plessier B.; Somenzi F (1997)
Formal Verification of Digital Systems by Reduction of Data Paths. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-16, pp. 1136-1156. - ISSN 0278-0070
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno L. Farinetti; G. Malnati; Mezzalama M. (1997)
Formazione continua e didattica a distanza. In: Simposio Didattica e Informatica.

G

Articolo in atti di convegno Baldi M; Corno F; Rebaudengo M; Sonza Reorda M; Squillero G. (1997)
GA-based Performance Analysis of Network Protocols. In: ICTAI, Newport Beach, CA (USA). pp. 118-124
Web of Science: 5 - Scopus: 6

Articolo in atti di convegno Chiusano S.; Corno F.; Prinetto P.; Rebaudengo M.; Sonza Reorda M. (1997)
Guaranteeing Testability in Re-encoding for Low Power. In: IEEE Asian Test Symposium, 17-18 November 1997. pp. 30-35
Web of Science: 1 - Scopus: 4

H

Articolo in atti di convegno Macii E.; Pedram M; Somenzi F (1997)
High-Level Power Modeling, Estimation, and Optimization. In: DAC-34: ACM/IEEE Design Automation Conference, Anaheim, CA. pp. 504-511
Web of Science: 7 - Scopus: 45

Capitolo di libro Macii E. (1997)
High-Level Synthesis for Low Power. In: Low Power Design in Deep Submicron Electronics / MERMET J.; NEBEL W. Kluwer Academic Publishers, DORDRECHT, pp. 381-393. ISBN 9780792345695

Articolo in atti di convegno Chiusano S.; Corno F.; Prinetto P.; Sonza Reorda M. (1997)
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem. In: IEEE European Design and Test Conference, Paris, March 1997. pp. 422-426
Web of Science: 2 - Scopus: 2

I

Altro F. Corno; L. Farinetti; Innocenti M.; F. Maino; M. Sonza Reorda (1997)
Il Politecnico di Torino su Internet: un'esperienza di gestione di un server web universitario. .

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M; Scarsi R (1997)
Integrating Logic-Level Power Management Techniques. In: SASIMI-97: 7th Workshop on Synthesis and System Integration of Mixed Technologies, Osaka, Japan. pp. 59-65

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1997)
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems. In: WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems, Barcelona, Spain, 1-3 October 1997. pp. 71-80
Web of Science: 0 - Scopus: 3

Articolo di rivista Mario Baldi; Davide Bergamasco (1997)
Internetworking ad alte prestazioni: lo scatto di IP switching. In: NETWORKING ITALIA, vol. 6, no. 9. - ISSN 1121-5267

Articolo di rivista Morisio M.; Tsoukias A. (1997)
IusWare: A methodology for the evaluation and selection of software products. In: IEE PROCEEDINGS. SOFTWARE ENGINEERING. - ISSN 1364-5080
Scopus: 57

L

Capitolo di libro Farinetti L.; Malnati G.; Mezzalama M. (1997)
Le nuove esigenze didattiche nella società tecnologica. In: La formazione e il lavoro al tempo delle reti telematiche / TERNA P. Rosenberg&Sellier, TORINO, pp. 149-168.

Articolo in atti di convegno C. Demartini, A. Valenzano, S. Rivoira (1997)
Le tecnologie per la descrizione dei dati di prodotto e la norma ISO 10303. In: 41° Convegno Nazionale ANIPLA, Torino. pp. 93-101

M

Articolo in atti di convegno Baralis E.M.; Paraboschi S.; Teniente E. (1997)
Materialized View Selection in a Multidimensional Database. In: VLDB'97, Proceedings of 23rd International Conference on Very Large Data Bases, Athens, Greece, August 25-29, 1997. pp. 156-165
Web of Science: 83 - Scopus: 215

Articolo di rivista Agarwal R.; Bruno G. (1997)
Modeling the Enterprise Engineering Environment. In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, vol. 44, pp. 20-30. - ISSN 0018-9391
Web of Science: 10 - Scopus: 15

N

Articolo in atti di convegno F. Corno; M. Rebaudengo; P. Prinetto; M. Sonza Reorda (1997)
New Static Compaction Techniques of Test Sequences for Sequential Circuits. In: EDTC '97 Proceedings of the 1997 European conference on Design and Test. pp. 37-43
Web of Science: 26 - Scopus: 35

Articolo in atti di convegno Galliano D.A.; Lioy A.; Maino F. (1997)
Non-intrusive authentication. In: SEC'97: IFIP Int. Information Security Conf. pp. 440-451
Web of Science: 0

O

Articolo in atti di convegno Ajmone Marsan M.; Baldi M.; Bianco A.; Lo Cigno R.; Munafo' M. (1997)
On the Performance of Transport Protocols Over ATM Networks. In: ICCC'97, International Conference for Computer Communications, Cannes, France, November 1997.

Articolo in atti di convegno G. Cena; Demartini C.G.; A. Valenzano (1997)
On the Performances of Two Popular Fieldbuses. In: 2nd IEEE Workshop on Factory Communications Systems. pp. 177-186
Web of Science: 18 - Scopus: 29

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M; Quer S; Sciuto D; Silvano C (1997)
On-Going Research on Address Bus Encoding for Low Power: A Status Report. In: IWLS-97: ACM/IEEE 1997 International Workshop on Logic Synthesis, Lake Tahoe, CA.

Articolo in atti di convegno F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda, S. Bisotto (1997)
Optimizing area loss in flat glass cutting. In: Second International Conference on Genetic Algorithms in Engineering Systems, Glasgow, UK, 2-4 Sept. 1997. pp. 450-455

P

Articolo in atti di convegno Baralis E.M.; Bianco A. (1997)
Performance Evaluation of Rule Execution Semanctics in Active databases. In: 13rd IEEE Int. Conf. on Data Engineering, Birmingham U.K, April 7-11, 1997. pp. 365-374 [Disponibilità ristretta]
Web of Science: 4
[img]

Articolo di rivista Macii E.; Poncino M. (1997)
Predicting the Complexity of Large Combinational Circuits ThroughSymbolic Spectral Analysis of their Functional Specifications. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 144, pp. 343-347. - ISSN 1350-2387
Web of Science: 2 - Scopus: 2

Articolo in atti di convegno Lioy A.; Maino F. (1997)
Providing security to the building licenses delivering process in the city of Torino. In: JENC8: 8th Joint European Networking Conf, May 12-15. 432.1-432.6

Q

Articolo di rivista Mario Baldi; Davide Bergamasco (1997)
Quando la voce viaggia in pacchetti. In: NETWORKING ITALIA, vol. 6, no. 5. - ISSN 1121-5267

Articolo in atti di convegno Benini L; Macii E.; Poncino M; Scarsi R (1997)
Quick Generation of Temporal Power Waveforms for RT-Level Hard Macros. In: ISIS-97: IEEE 1997 International Conference on Innovative Systems in Silicon, Austin, TX. pp. 331-337
Web of Science: 0 - Scopus: 0

R

Capitolo di libro Macii E. (1997)
RT and Algorithmic-Level Optimization for Low Power. In: Low Power Design in Deep Submicron Electronics / MERMET J.; NEBEL W. Kluwer Academic Publishers, DORDRECHTS, pp. 355-379. ISBN 9780792345695

Articolo di rivista Litoiu M; Tadei R. (1997)
Real Time Task Scheduling Allowing Fuzzy Due Dates. In: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, vol. 100, pp. 475-481. - ISSN 0377-2217
Web of Science: 12 - Scopus: 17

Libro Benso A., Corno F., Prinetto P. (1997)
Reti Logiche (Esercizi commentati e risolti). Ed. Esculapio, BOLOGNA.

Articolo in atti di convegno Canale M.; G. Fiorio; M. Milanese; S. Malan; M. Taragna (1997)
Robust tuning of PID controllers via uncertainty model identification. In: European Control Conference, Brusselles, Belgium.
Scopus: 6

S

Articolo in atti di convegno F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda (1997)
SAARA: a simulated annealing algorithm for test pattern generation for digital circuits. In: SAC '97 Proceedings of the 1997 ACM symposium on Applied computing. pp. 228-232
Scopus: 1

Articolo in atti di convegno C. Demartini, A. Valenzano, S. Rivoira (1997)
Scambio di dati di prodotto: un caso di studio. In: 41° Convegno Nazionale ANIPLA, Torino. pp. 139-147

Articolo di rivista Mario Baldi; Davide Bergamasco; Eugenio Guarene (1997)
Scelte architetturali per reti telefoniche a commutazione di pacchetto. Architectural Choices for Packet Switched Telephone Networks. In: CSELT TECHNICAL REPORTS, vol. 25, no. 5, pp. 941-960. - ISSN 0393-2648
Scopus: 0

Articolo in atti di convegno Lioy A.; Maino F.; Mezzalama M. (1997)
Secure document management and distribution in an open network environment. In: Information and Communications Security First International Conference, ICIS '97, Beijing (CHN), November 11–14, 1997. pp. 109-117 [Disponibilità ristretta]
[img]

Capitolo di libro Macii E. (1997)
Sequential Synthesis and Optimization for Low Power. In: Low Power Design in Deep Submicron Electronics / MERMET J.; NEBEL W. Kluwer Academic Publishers, DORDRECHT, pp. 321-353. ISBN 9780792345695

Articolo in atti di convegno Demartini C.G.; S. Rivoira; A. Valenzano (1997)
Sharing Product Information in a Distributed Enterprise. In: 30th Int. Symp. On Automotive Technology & Automation. pp. 139-147

Articolo in atti di convegno Baldi M; Corno F; Prinetto P; Rebaudengo M; Sonza Reorda M; Squillero G. (1997)
Simulation-Based Verification of Network Protocols Performance. In: CHARME. pp. 236-251

Articolo di rivista Cabodi G; Camurati P. (1997)
Symbolic FSM Traversal based on the Transition Relation. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 16, pp. 448-457. - ISSN 0278-0070
Web of Science: 2 - Scopus: 4

Articolo in atti di convegno Benini L., De Micheli G., Macii E., Poncino M., Scarsi R. (1997)
Symbolic Low-Power Re-Synthesis of Large Sequential Circuits Based on Clock Gating Mechanisms. In: ED&TC'97: 1997 European Design and Test Conference.
Web of Science: 12

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M; Scarsi R (1997)
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Control-Oriented Synchronous Networks. In: EDTC-97: IEEE 1997 European Design and Test Conference, Paris, France. pp. 514-520
Web of Science: 12 - Scopus: 12

Articolo di rivista Bahar R.I.; Cho H.; Hachtel G.D.; Macii E.; Somenzi F. (1997)
Symbolic Timing Analysis and Re-Synthesis for Low Power of Combinational Circuits Containing False Paths. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-16, pp. 1101-1115. - ISSN 0278-0070
Web of Science: 1 - Scopus: 3

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M; Quer S (1997)
System-Level Power Optimization of Special Purpose Applications: The Beach Solution. In: ISLPED-97: ACM/IEEE International Symposium on Low Power Electronics and Design, Monterey, CA. pp. 24-29
Web of Science: 29 - Scopus: 61

T

Articolo in atti di convegno Ceri S.;Fraternali P.; Paraboschi S.; Baralis E.; Fravega A. (1997)
The IDEA Tool Set. In: The Thirteenth International Conference on Data Engineering, Birmingham U.K, April 7-11, 1997. p. 579
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M (1997)
Telescopic Units: A New Paradigm for Performance Optimization of VLSI Designs. In: IWLS-97: ACM/IEEE 1997 International Workshop on Logic Synthesis, Lake Tahoe, CA.

Articolo in atti di convegno Benini L; De Micheli G; Macii E.; Poncino M (1997)
Telescopic Units: Increasing the Average Throughput of Pipelined Designs by Adaptive Latency Control. In: DAC-34: ACM/IEEE Design Automation Conference, Anaheim, CA. pp. 22-27
Web of Science: 7

Articolo in atti di convegno Corno F.; Prinetto P.; Sonza Reorda M. (1997)
Testability analysis and ATPG on behavioral RT-level VHDL. In: ITC 1997: IEEE International Test Conference, Washington DC (USA), Nov 1-6, 1997. pp. 753-759
Web of Science: 38 - Scopus: 45

Articolo di rivista Ferrandi F.; Fummi F.; Macii E.; Poncino M.; Sciuto D. (1997)
Testing Core-Based Digital Systems: A Symbolic Methodology. In: IEEE DESIGN & TEST OF COMPUTERS, vol. 13, pp. 69-77. - ISSN 0740-7475
Web of Science: 3 - Scopus: 6

Articolo in atti di convegno Sanna A.; Montuschi P.; Rossi M. (1997)
Two Algorithms for Fast Ray Tracing of Complex Scenes. In: The Fifth International Conference in Central Europe on Computer Graphics and Vi, Plzen, Czech Republic. III465-III474
Web of Science: 0

U

Capitolo di libro Tadei R.; Dellasette M. (1997)
Un sistema informativo per la mobilità ed i trasporti nella città metropolitana. Aspetti metodologici e informativi per la realizzazione di strumenti integrati di supporto alle decisioni. In: Le metodologie delle scienze della città / BERTUGLIA C.S.; VAIO F. FrancoAngeli, MILANO, pp. 67-94.

Articolo in atti di convegno L. Fissore; Laface P.; Ravera F. (1997)
Using Word Temporal Structure in HMM Speech Recognition. In: Int. Conf. on Acoustic Speech and Signal Processing. pp. 975-978
Web of Science: 1

V

Articolo in atti di convegno G. Cabodi;P. Camurati;L. Lavagno;S. Quer (1997)
Verification and synthesis of counters based on symbolic techniques. In: Proceedings European Design and Test Conference. ED & TC 97. pp. 176-181
Web of Science: 4 - Scopus: 4

Questa lista è stata generata il Tue Sep 19 23:46:17 2017 CEST.