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 : 100.

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: 80 - 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: 102 - Scopus: 198
[img]

Articolo in atti di convegno Argondizza A.; Bona B.; Carabelli S. (1997)
Automatic control teaching with Matlab and MatDSP. In: European Control Conference ECC 97, Brussel, 1-4 July 1997.
Scopus: 1

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 in atti di convegno B. Bona; S. Carabelli; Chiaberge M.; E. Miranda; L.M. Reyneri (1997)
A Neuro-Fuzzy Core for DSP-Based Controls of Complex Systems. In: SMC'97, International Conference on Systems, Man and Cybernetics, Orlando, USA, October 12-15, 1997. pp. 3522-3527
Web of Science: 0 - Scopus: 1

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: 2 - 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: 3 - Scopus: 5
[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 Bona B; Calafiore G; Carabelli S; Tonoli A. (1997)
Computation and phisical interpretation of multivariate transmission zeros for lumped parameters colocated systems. In: 13th IFAC World Congress, San Francisco, CA, USA, 30 Giugno-5 Luglio 1996. pp. 7-12

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 in atti di convegno Bona B.; Calafiore G.; Indri M. (1997)
Determination of Optimal Trajectories for Robot Dynamic Calibration Using Evolutionary Techniques. In: 41st ANIPLA National Conference. pp. 565-575

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

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

Articolo di rivista Bona B.; Indri M.; Tornambe' A. (1997)
Flexible Piezoelectric Structures: Approximate Motion Equations and Control Algorithms. In: IEEE TRANSACTIONS ON AUTOMATIC CONTROL, vol. 42(1), pp. 94-101. - ISSN 0018-9286
Web of Science: 3 - Scopus: 8

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

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

Articolo di rivista Bona B. (1997)
L. Reznik: Fuzzy Controllers (Book review). In: AUTOMATICA, vol. 37 n. 2, pp. 319-321. - ISSN 0005-1098

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: 85 - Scopus: 221

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 B. Bona; S. Carabelli; M. Chiaberge; E. Miranda; Reyneri L.M. (1997)
Neuro-Fuzzy Hardware and DSPs: a Promising Marriage for Control of Complex Systems. In: MICRONEURO 97, Int. Conf. on Microelectronics for Neural Networks and Fuzzy Systems, Dresden (Germany), September 1997. pp. 113-120

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: 27 - Scopus: 36

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

Articolo in atti di convegno Calafiore G.C.; B. Bona (1997)
Notes on Total-Least-Squares Fitting of Flats to a Set of n-dimensional Points. In: 41-esimo Convegno Nazionale ANIPLA - Automazione '97, Milano, 5-7 novembre 1997. pp. 513-519

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 Bona B.; Calafiore G. (1997)
Optimal Matching of Three-Dimensional Features under Geometrical Constraints. In: 36th IEEE Conference on Decision and Control, San Diego, 10-12 Dec 1997. pp. 1936-1941
Web of Science: 0 - Scopus: 1

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 di rivista Greco C., Rulla M. (1997)
Prototipazione rapida di controllori Real-Time. In: AUTOMAZIONE E STRUMENTAZIONE, pp. 191-200. - ISSN 0005-1284

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: 13 - Scopus: 17

Articolo in atti di convegno Calafiore G.C.; B. Bona (1997)
Recognition of Multidimensional Affine Patterns Using a Constrained GA. In: IEEE International Conference on Neural Networks, Houston, Texas, 9-12 Jun 1997. pp. 1235-1239
Web of Science: 0 - Scopus: 0

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 Calafiore G.; Carabelli S.; Bona B. (1997)
Structural interpretation of transmission zeros for matrix second order systems. In: AUTOMATICA, vol. 33, pp. 745-748. - ISSN 0005-1098 [Disponibilità ristretta]
Web of Science: 11 - Scopus: 10
[img]

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: 30 - 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 di rivista B. Bona; E. Brusa; S. Carabelli; Chiaberge M.; C. Delprete; G. Genta; F. Maddaleno; A. Tonoli (1997)
The Mechatronics Laboratory at the Politecnico di Torino. In: MECHATRONICS, vol. 7(5), pp. 413-427. - ISSN 0957-4158
Web of Science: 4 - Scopus: 3

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

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