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

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 | J | L | M | N | O | P | Q | R | S | T | U | V
Numero di pubblicazioni : 156.

'

Articolo in atti di convegno Baldini A.; Benso A.; Chiusano S.; Prinetto P. (2000)
'BOND': An Interposition Agents Based Fault Injector for Windows NT. In: IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems, 25-27 October 2000. pp. 387-395
Web of Science: 4 - Scopus: 18

A

Articolo in atti di convegno L. Boves; D. Jouvet; J. Sienel; R. De Mori; F. B_echet; L. Fissore; Laface P. (2000)
ASR for Automatic Directory Assistance: The SMADA Project. In: In ISCA Automatic Speech Recognition. pp. 249-254

Articolo di rivista Casetti C.; Kurose J.; Towsley D. (2000)
An Adaptive Algorithm for Measurement-based Admission Control in Integrated Services Packet Networks. In: COMPUTER COMMUNICATIONS, vol. 23, pp. 1363-1376. - ISSN 0140-3664
Web of Science: 6 - Scopus: 6

Articolo di rivista Mario Baldi; Yoram Ofek (2000)
Adaptive Group Multicast with Time-Driven Priority. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 8, no. 1, pp. 31-43. - ISSN 1063-6692
Web of Science: 14 - Scopus: 17

Articolo in atti di convegno Sanna A; Montrucchio B. (2000)
Adding a scalar value to 2D vector field visualization: the BLIC (Bumped LIC). In: Eurographics'2000, Aug. 2000. pp. 119-124

Articolo in atti di convegno Benini L; Macii A; Macii E.; Poncino M (2000)
Analysis of Energy Dissipation in Cache Memories. In: MELECON-00: 11th IEEE Mediterranean Electrotechnical Conference, Nicosia, Cyprus. pp. 236-239
Scopus: 1

Articolo in atti di convegno L. Benini; Macii A.; E. Macii; M. Poncino (2000)
Analysis of Energy Dissipation in the Memory Hierarchy of Embedded Systems: A Case Study. In: MELECON-00: IEEE Mediterranean Electrotechnical Conference, Cyprus, Maggio 2000. pp. 236-239
Web of Science: 0 - Scopus: 1

Articolo di rivista Morisio M. (2000)
Applying the PSP in Industry. In: IEEE SOFTWARE, pp. 90-95. - ISSN 0740-7459
Web of Science: 15 - Scopus: 23

Articolo in atti di convegno Ajmone Marsan M; Casetti C; Gaeta R; Meo M. (2000)
An Approximate GSPN Model for the Accurate Performance Analysis of Correlated TCP Connections. In: 2000 SCS Symposium on Performance Evaluation of Computer and Telecommunications Systems (SPECTS), July 16-20, 2000.

Articolo di rivista Benini L.; Macii A.; Macii E.; Poncino M.; Scarsi R. (2000)
Architectures and Synthesis Algorithms for Power-Efficient Bus Interfaces. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 19-9, pp. 969-980. - ISSN 0278-0070
Web of Science: 55 - Scopus: 57

Articolo in atti di convegno Corno F; Squillero G. (2000)
Archivi on-line fruibili da utenti inesperti: un'esperienza nel campo della disabilità. In: Didamatica2000. pp. 181-187

Articolo in atti di convegno M. Lajolo, L. Lavagno, M. Rebaudengo, M. Sonza Reorda, M. Violante (2000)
Automatic Test Bench Generation for Simulation-based Validation. In: Hardware/Software Codesign, 2000. CODES 2000. Proceedings of the Eighth International Workshop on, San Diego, CA, USA, 5 May 2000. pp. 136-140

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (2000)
Automatic Validation of Protocol Interfaces Described in VHDL. In: EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh (GBR), April 17, 2000. pp. 205-213 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

Articolo in atti di convegno F. Corno; A. Manzone; A. Pincetti; Sonza Reorda M.; G. Squillero (2000)
Automatic test bench generation for validation of RT-level descriptions: an industrial experience. In: Design, Automation and Test in Europe Conference and Exhibition 2000, Paris (FRA), 27-30 Mar 2000. pp. 385-389 [Disponibilità ristretta]
Scopus: 33
[img]

Articolo in atti di convegno Benso A.; Chiusano S.; Prinetto P.; Tagliaferri L. (2000)
A C/C++ Source-to-Source Compiler for Dependable Applications. In: IEEE International Conference on Dependable Systems and Networks, 25-28 June 2000. pp. 71-78
Web of Science: 4 - Scopus: 67

Capitolo di libro Ajmone Marsan M; Bianco A.; Casetti C; Castelli P; Lo Cigno R; Mellia M; Munafo M (2000)
A CAC Algorithm for ATM Networks Supporting Different QoS Classes. In: Performance Analysis of ATM Networks / D. KOUVATSOS. Kluwer Academic Publishers, pp. 286-305. ISBN 9780412836404

Articolo in atti di convegno Benso A.; Chiusano S.; Prinetto P. (2000)
A COTS Wrapping Toolkit for Fault Tolerant Applications under Windows NT. In: IEEE International On-Line Testing Workshop, 3-5 July 2000. pp. 9-16
Web of Science: 5 - Scopus: 1

Articolo in atti di convegno L. Benini; G. Castelli; Macii A.; E. Macii; M. Poncino; R. Scarsi (2000)
A Discrete-Time Battery Model for High-Level Power Estimation. In: DATE-00: IEEE Design Automation and Test in Europe, Paris, France, Marzo 2000. pp. 35-39
Scopus: 92

Articolo in atti di convegno C. Casetti; De Martin J.C.; M. Meo (2000)
A Framework for the Analysis of Adaptive Voice over IP. In: IEEE Int. Conf. on Communications (ICC), New Orleans, LA, USA, June 2000. pp. 821-826
Web of Science: 0 - Scopus: 7

Articolo in atti di convegno Corno F.; M. Sonza Reorda; G. Squillero; M. Violante (2000)
A Genetic Algorithm-based System for Generating Test Programs for Microprocessor IP Cores. In: International Conference on Tools with Artificial Intelligence, Vancouver, Canada, November 13-15, 2000. pp. 195-198
Web of Science: 3 - Scopus: 8

Articolo di rivista Benso A.; Cataldo S.; Chiusano S.; Prinetto P.; Zorian Y. (2000)
A High-level EDA Environment for the Automatic Insertion of HD-BIST Structures. In: JOURNAL OF ELECTRONIC TESTING, vol. 16 n. 3, pp. 179-184. - ISSN 0923-8174
Web of Science: 3 - Scopus: 5
[img] [img]
Preview

Articolo in atti di convegno Corno F; Farinetti L; Squillero G. (2000)
An Intelligent User Interface oriented to non-expert users. In: WebNet2000. pp. 675-676

Articolo in atti di convegno Schultz D.; Landis L.; Bachman J.; Morisio M.; Godfrey S.; Stark M. (2000)
A Matrix Approach to Software Process Definition. In: in Proc. of the 25th Software Engineering Workshop, November.

Articolo di rivista Benini L.; De Micheli; Macii E.; Poncino M.; Scarsi R. (2000)
A Multi-Level Engine for Fast Power Simulation of Realistic Input Streams. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-19, pp. 470-486. - ISSN 0278-0070
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Casetti C.; Meo M. (2000)
A New Approach to Model the Stationary Behavior of TCP Connections. In: IEEE Infocom 2000, March 26-30, 2000.
Scopus: 91

Articolo di rivista Agarwal R.; Bruno G.; Torchiano M. (2000)
An Operational Approach to the Design of Workflow Systems. In: INFORMATION AND SOFTWARE TECHNOLOGY, vol. 42, pp. 547-555. - ISSN 0950-5849
Web of Science: 15 - Scopus: 14

Articolo in atti di convegno Corno F; Cumani G; Sonza Reorda M; Squillero G. (2000)
An RT-level Fault Model with High Gate Level Correlation. In: NON SPECIFICATO. p. 3
Web of Science: 7 - Scopus: 20

Articolo in atti di convegno L. Benini; Macii A.; M. Poncino (2000)
A Recursive Algorithm for Low-Power Memory Partitioning. In: ISLPED-00: ACM/IEEE International Symposium on Low Power Electronics and Design, Rapallo/Portofino Coast, Luglio 2000. pp. 78-83
Web of Science: 10

Articolo in atti di convegno A. Barberis; C. Casetti; J.C. De Martin; M. Meo (2000)
A Simulation Study of Adaptive Voice Communications for IP Networks. In: 2000 Symposium on Performance Evaluation of Computer and Telecommunication Systems(SPECTS 2000), Vancouver (CAN), July 16-20, 2000. pp. 531-541

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (2000)
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification. In: FORTE/PSTV 2000 Joint Int. Conf, Pisa, October 2000. pp. 155-170

Articolo di rivista Baralis E.M.; Widom J. (2000)
An algebraic approach to static analysis of active database rules. In: ACM TRANSACTIONS ON DATABASE SYSTEMS, vol. 25, pp. 269-332. - ISSN 0362-5915
Web of Science: 33 - Scopus: 63

Articolo in atti di convegno Farinetti L.; Bota F.; Rarau A. (2000)
An authoring tool for building flexible on-line courses using XML. In: XML Europe 2000.

Articolo in atti di convegno Bota F.; Farinetti L.; Rarau A. (2000)
An educational-oriented framework for building on-line courses using XML. In: ICME 2000, IEEE International Conference on Multimedia and Expo.
Web of Science: 2 - Scopus: 10

Articolo in atti di convegno Benso A.; Chiusano S.; Di Carlo S.; Di Natale G.; Lobetti Bodoni M.; Prinetto P. (2000)
An effective distributed BIST architecture for RAMs. In: IEEE European Test Workshop (ETW), Cascais, PT, 23-26 May 2000. pp. 119-124
Web of Science: 3
[img] [img]
Preview

Articolo in atti di convegno Rebaudengo M.; Sonza Reorda M.; Torchiano M.; Violante M. (2000)
An experimental evaluation of the effectiveness of automatic rule-based transformations for safety-critical applications. In: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems. pp. 257-265
Web of Science: 8 - Scopus: 9

Articolo in atti di convegno Benso A; Chiusano S; Di Natale G; Lobetti Bodoni M; Prinetto P. (2000)
A family of Self-Repair SRAM cores. In: IOLTW 2000: IEEE International On-Line Test Workshop, July 2000. pp. 214-218
Web of Science: 5 - Scopus: 19

Articolo in atti di convegno Berbecaru D.; Corradi A.; Lioy A.; Maino F.; Montanari R.; Stefanelli C. (2000)
A flexible management framework for certificate status validation. In: IFIP/SEC-2000: 15th IFIP Int. Conf. on Information Security, Bejing (China), August 22-24, 2000. pp. 481-490
Web of Science: 0

Articolo in atti di convegno Perboli G.; Tadei R; Della Croce F (2000)
A heuristic algorithm for the Auto-Carrier Transportation Problem. In: 17th European Conference on Operational Research, Budapest, Ungheria.

Articolo in atti di convegno Perboli G.; Tadei R; Della Croce F (2000)
A heuristic algorithm for the Auto-Carrier Transportation Problem. In: Odysseus 2000 Freight Transportation and Logistic, Crete, Grecia, Maggio 2000.

Articolo in atti di convegno F. Della Croce; Ghirardi M.; R. Tadei (2000)
A hybrid polynomial heuristic framework for combinatorial optimization problems. In: ECCO XIII Conference Proceedings, Capri, May 2000, 17-18.

Articolo in atti di convegno F. Della Croce; Ghirardi M.; R. Tadei (2000)
A hybrid polynomial heuristic framework for combinatorial optimization problems. In: AIRO 2000, Milan, September 2000.

Articolo in atti di convegno F. Corno; M. Sonza Reorda; G. Squillero (2000)
An improved cellular automata-based BIST architecture for sequential circuits. In: ISCAS2000: IEEE International Symposium on Circuits and Systems, Geneva (CHE), 28-31 May 2000. pp. 76-79 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

Articolo in atti di convegno M. Grangetto; Magli E.; G. Olmo (2000)
A novel low complexity and efficient Progressive Quadtree Wavelet encoder. In: 34th Asilomar Conference on Signals, Systems, and Computers. pp. 1049-1053
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Borodani P.; Fiorio G.; Malan S.; Pisoni E. (2000)
An original approach for the cylinder by cylinder A/F ratio control with a linear oxygen sensor. In: 5th International Symposium on Advanced Vehicle Control.

Articolo in atti di convegno Benso, Alfredo; Di Carlo, Stefano; Di Natale, Giorgio; Prinetto, Paolo Ernesto; Lobetti Bodoni, M. (2000)
A programmable BIST architecture for clusters of Multiple-Port SRAMs. In: IEEE International Test Conference (ITC), Atlantic City (NJ), USA, 3-5 Oct. 2000. pp. 557-566
Web of Science: 16 - Scopus: 23
[img]
Preview
[img]

Articolo in atti di convegno Benso A.; Chiusano S.; Prinetto P. (2000)
A software development kit for dependable applications in embedded systems. In: IEEE International Test Conference, 3-5 October 2000. pp. 170-178
Web of Science: 3 - Scopus: 5

Capitolo di libro Sanna A; Montrucchio B.; Montuschi P (2000)
A survey on visualization of vector fields by texture-based methods. In: RECENT RESEARCH DEVELOPMENT IN PATTERN RECOGNITION / PANDALAI S.G. TRANSWORLD RESEARCH NETWORK, pp. 13-27. ISBN 9788186846612

B

Articolo in atti di convegno Benini L; Castelli G; Macii A; Macii E.; Scarsi R (2000)
Battery-Driven Dynamic Power Management of Portable Systems. In: ISSS-00: IEEE International Symposium on System Synthesis, Madrid, Spain. pp. 25-30
Web of Science: 8 - Scopus: 21

Articolo in atti di convegno M. Lajolo; M. Rebaudengo; M. Sonza-Reorda; M. Violante; Lavagno L. (2000)
Behavioral-level test vector generation for system-on-chip designs. In: NON SPECIFICATO.
Web of Science: 8 - Scopus: 14

C

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G.; Violante M (2000)
CA-CSTP: A new BIST Architecture for Sequential Circuit. In: ETW. pp. 167-172
Web of Science: 1

Brevetto De Martin J.C. (2000)
Concealment of frame erasures for speech transmission and storage system and method. 6775649.

D

Articolo in atti di convegno Lioy A.; Maino F.; Marian M.; Mazzocchi D. (2000)
DNS security. In: TNC-2000: Terena Networking Conf, Lisbon (Portugal), May 22-25, 2000.

Articolo in atti di convegno C. Raibulet; Demartini C.G.; O. Constantin (2000)
Data Specification and Implementation for Industrial Systems Using STEP Technology. In: ISCA 13th International Conference on Computer Applications in Industry and Engi. pp. 228-233
Web of Science: 0

Articolo di rivista Morisio M.; Tully C.; Ezran M. (2000)
Diversity in Reuse Processes. In: IEEE SOFTWARE. - ISSN 0740-7459
Web of Science: 9 - Scopus: 17

Articolo in atti di convegno C. Vair; L. Fissore; Laface P. (2000)
Dynamic Adaptation of Vocabulary Independent HMMsto an Application Environment. In: International Conference on Spoken Language Processing, October. pp. 839-842
Scopus: 0

Capitolo di libro Litoiu M.; Tadei R. (2000)
Dynamic scheduling on distributed real-time systems by self-learning fuzzy algorithms. In: Scheduling under fuzziness / SLOWINSKI R.; HAPKE M. (EDS.). Physica-Verlag, HEIDELBERG-NEW YORK, pp. 23-42.

E

Articolo in atti di convegno M. Lajolo; L. Lavagno; M. Sonza Reorda; M. Violante (2000)
Early Power Estimation for System-on-Chip Designs. In: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen (DEU), Sep. 13-15, 2000. pp. 108-117 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo di rivista Mario Baldi; Fulvio Risso (2000)
Efficiency of Packet Voice with Deterministic Delay. In: IEEE COMMUNICATIONS MAGAZINE, vol. 38, no. 5, pp. 170-177. - ISSN 0163-6804
Web of Science: 8 - Scopus: 19
[img] [img]
Preview

Articolo di rivista Mario Baldi; Yoram Ofek (2000)
End-to-end Delay Analysis of Videoconferencing over Packet Switched Networks. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 8, No. 4, pp. 479-492. - ISSN 1063-6692
Web of Science: 61 - Scopus: 86

Articolo in atti di convegno Bota F.; Corno F.; Farinetti L. (2000)
Enhancing Interactivity for Self-Evaluation in XML-Based Coureware. In: WebNet2000: World Conference on the WWW and Internet, San Antonio, Texas (USA).

Articolo in atti di convegno Agarwal Rakesh; Bruno Giorgio; Torchiano M. (2000)
Enterprise modeling using class models and instance models. In: IEEE 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 3-5 Dicembre. pp. 336-343
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno M. Lajolo; M. Rebaudengo; M. Sonza-Reorda; M. Violante; Lavagno L. (2000)
Evaluating system dependability in a co-design framework. In: NON SPECIFICATO.
Scopus: 6

Articolo in atti di convegno M. Rebaudengo; M. Sonza Reorda; M. Violante; P. Cheynet; B. Nicolescu; R. Velazco (2000)
Evaluating the effectiveness of a Software Fault-Tolerance technique on RISC- and CISC-based architectures. In: On-Line Testing Workshop, 2000. Proceedings. 6th IEEE International, Palma de Mallorca, E, 03-05 Jul 2000. pp. 17-21
Web of Science: 2 - Scopus: 7

Articolo in atti di convegno Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (2000)
Evolving Cellular Automata for Self-Testing Hardware. In: Third International Conference, ICES 2000, Edinburgh (GBR), April 17–19, 2000. pp. 31-40 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 9
[img]

Articolo di rivista P. Cheynet; B. Nicolescu; R. Velazco; Rebaudengo M.; M. Sonza Reorda; M. Violante (2000)
Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors. In: IEEE TRANSACTIONS ON NUCLEAR SCIENCE, vol. 47, pp. 2231-2236. - ISSN 0018-9499
Web of Science: 54 - Scopus: 77

Articolo di rivista Cabodi G.; Camurati P; Passerone C; Quer S (2000)
Exploiting Timed Transition Relations in Sequential Cycle-Based Simulation of Embedded Systems. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 147, pp. 305-312. - ISSN 1350-2387
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno F. Corno; M. Sonza Reorda; G. Squillero (2000)
Exploiting the selfish gene algorithm for evolving cellular automata. In: IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Como (ITA), 24-27 Jul 2000. pp. 577-581 [Disponibilità ristretta]
Web of Science: 4 - Scopus: 11
[img]

Articolo in atti di convegno Morisio M.; Travassos G.H; Stark M. (2000)
Extending UML to Support Domain Analysis. In: 15th IEEE International Conference on Automated Software Engineering, September.
Web of Science: 12 - Scopus: 29

F

Articolo in atti di convegno Davide Bosetto; Olmo G. (2000)
Feedforward DOA Estimation in CDMA with Uniform Linear Antenna Array Receivers. In: 34th Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA , USA, October 29-November 1, 2000.
Web of Science: 0 - Scopus: 0

Curatela Tadei R. (2000)
Fifteenth EURO Summer Institute - Production Scheduling. Deterministic, stochastic and fuzzy approaches - Feature Issue of European Journal of Operational Research. [Curatela]

Articolo in atti di convegno Marco Grangetto; Enrico Magli; Olmo G. (2000)
Finite precision wavelets for image coding: lossy and lossless compression performance evaluation. In: ICIP 2000 - IEEE International Conference on Image Processing, Vancouver, Canada, September 2000. pp. 206-209
Web of Science: 0 - Scopus: 3

G

Capitolo di libro Baldi M.; Corno F.; Rebaudengo M.; Sonza Reorda M.; Squillero G. (2000)
GA-Based Verification of Network Protocols Performance. In: Telecommunications Optimizations: Heuristic and Adaptive Techniques / CORNE D.; OATES M. Wiley and Sons, NEW YORK, pp. 185-198. ISBN 9780471988557

Articolo di rivista Benini L.; De Micheli G.; Macii A.; Macii E.; Poncino M. (2000)
Glitch power minimization by selective gate freezing. In: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, vol. 8 n. 3, pp. 287-298. - ISSN 1063-8210 [Disponibilità ristretta]
Web of Science: 19 - Scopus: 28
[img]

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (2000)
Graphic LOTOS specification of an EN50254 system. In: IEEE WFCS2000, WIP Proceedings, September 2000. pp. 43-46

H

Articolo in atti di convegno Benso, Alfredo; Chiusano, Silvia Anna; Di Carlo, Stefano; Prinetto, Paolo Ernesto; Ricciato, F.; Spadari, M.; Zorian, Y. (2000)
HD2BIST: a hierarchical framework for BIST scheduling, data patterns delivering and diagnosis in SoCs. In: IEEE International Test Conference (ITC), Atlantic City (NJ), USA, 3-5 Oct. 2000. pp. 892-901
Web of Science: 19 - Scopus: 25
[img]
Preview

Articolo in atti di convegno Enrico Magli; Olmo G.; Fabrice Moscheni; Jean-Philippe Thiran (2000)
HELINET: an integrated network of unmanned aerial vehicles for optical Earth surveillance. In: SPIE's 45th Annual Meeting, Airborne Reconnaissance XXIV, San Diego, USA, July 2000. pp. 68-75
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Dovis, Fabio; Lo Presti, Letizia; Magli, Enrico; Olmo, Gabriella; Fabrizio, Sellone (2000)
HeliNet: a network of UAV-HAVE stratospheric platforms. System concepts and applications to environmental surveillance. In: DASIA 2000 - Data Systems in Aerospace, Montreal, Canada, 22-26 May, 2000. pp. 551-556 [Disponibilità ristretta]
Web of Science: 0
[img]

Articolo in atti di convegno Fabio Dovis; Gorazd Kandus; Enrico Magli; Gabriella Olmo (2000)
HeliNet: integration of stratospheric platforms within the GNSS2 system. In: GNSS 2000 International Conference, Edinburgh, Scotland, UK, 1-4 May 2000. pp. 1337-1344 [Disponibilità ristretta]
[img]

Articolo in atti di convegno Olmo G.; Lo Presti L.; Bosetto D. (2000)
High Performance Estimation Algorithm for PSK frequency recovery. In: EUSIPCO 2000, 5 - 8 Settembre.
Scopus: 0

Articolo in atti di convegno Corno F.; M. Sonza Reorda; G. Squillero (2000)
High-Level Observability for Effective High-Level ATPG. In: VLSI Test Symposium, Montreal, Canada, May 2000. pp. 411-416
Scopus: 23

Articolo di rivista S. Carabelli; F. Maddaleno; M. Muzzarelli (2000)
High-efficiency linear power amplifier for active magnetic bearings. In: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, vol. 47 n. 1, pp. 17-24. - ISSN 0278-0046 [Disponibilità ristretta]
Web of Science: 12 - Scopus: 22
[img]

I

Articolo in atti di convegno De Martin J.C.; T. Unno; V. Viswanathan (2000)
Improved Frame Erasure Concealment for CELP-Based Coders. In: IEEE ICASSP, Istanbul, Turkey, June 2000. pp. 1483-1486
Web of Science: 0 - Scopus: 16

Articolo in atti di convegno Coleman G.; Mcgowan C.; Escala D.; Morisio M.; Mercier C.; O'Connor R.; Duncan H.; Wang Y. (2000)
Improving individual software engineering skills. In: European Software Process Improvement Conference, November.

Articolo di rivista Cabodi G.; Camurati P; Quer S (2000)
Improving symbolic reachability analysis by means of activity profiles. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 19, pp. 1065-1075. - ISSN 0278-0070
Web of Science: 6 - Scopus: 7

Articolo di rivista Benini L.; Macii A.; Macii E.; Poncino M. (2000)
Increasing Energy Efficiency of Embedded Systems by Application-Specific Memory Hierarchy Generation. In: IEEE DESIGN & TEST OF COMPUTERS, vol. 17, pp. 74-85. - ISSN 0740-7475
Web of Science: 35 - Scopus: 60

Libro Sanna A; Montrucchio B.; Montuschi P; Maggiora M (2000)
Informatica grafica e multimedialita`. Celid, TORINO. ISBN 9788876614156

Altro Sanna A.; Montrucchio B.; Montuschi P.; Maggiora M. (2000)
Informatica grafica e multimedialità. .

Articolo in atti di convegno Bruno Giorgio; Torchiano M.; Agarwal Rakesh (2000)
Instance modeling - beyond object-oriented modeling. In: 3rd Int. Conference on Information Technology (CIT 2000), 21-23 Dicembre. pp. 196-201

Articolo in atti di convegno Enrico Magli; Olmo G. (2000)
Integrated compression and linear feature detection in the wavelet domain. In: ICIP 2000 - IEEE International Conference on Image Processing, Vancouver, Canada, September 2000. pp. 889-892
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Morisio M.; Seaman C.; Parra A.; Basili V.; Kraft S.; Condon S. (2000)
Investigating and Improving a COTS-Based Software Development Process. In: 22nd IEEE/ACM International Conference on Software Engineering, June.
Scopus: 86

J

Articolo in atti di convegno Marco Grangetto; Enrico Magli; Olmo G. (2000)
Joint denoising and lossless/lossy compression of SAR images. In: EUSIPCO 2000 - X European Signal Processing Conference, Tampere, Finland, September 2000.
Scopus: 0

Articolo di rivista G. Olmo; Magli E.; L. Lo Presti (2000)
Joint statistical signal detection and estimation. Part I: theoretical aspects of the problem. In: SIGNAL PROCESSING, vol. 80, pp. 57-73. - ISSN 0165-1684
Web of Science: 15 - Scopus: 12

Articolo di rivista E. Magli; Olmo G.; L. Lo Presti (2000)
Joint statistical signal detection and estimation. Part II: a high performance closed-loop technique. In: SIGNAL PROCESSING, vol. 80, pp. 773-786. - ISSN 0165-1684
Web of Science: 2 - Scopus: 3

L

Articolo in atti di convegno Benini L; Castelli G; Macii A; Macii E.; Poncino M; Scarsi R (2000)
Life-Time Analysis of Batteries used in Portable Digital Systems. In: MELECON-00: 11th IEEE Mediterranean Electrotechnical Conference, Nicosia, Cyprus. pp. 240-243
Web of Science: 0 - Scopus: 3

Articolo di rivista Casetti C.; Lo Cigno R.; Mellia M. (2000)
Load-Balancing Solutions for Static Routing Schemes in ATM Networks. In: COMPUTER NETWORKS, vol. 34, pp. 169-180. - ISSN 1389-1286
Web of Science: 2 - Scopus: 2

Articolo in atti di convegno Corno F.; M. Rebaudengo; M. Sonza Reorda; G. Squillero; M. Violante (2000)
Low Power BIST via Hybrid Cellular Automata. In: VLSI Test Symposium, Montreal, Canada, May 2000. pp. 29-34
Scopus: 65

Articolo in atti di convegno Corno F; Rebaudengo M; Sonza Reorda M; Squillero G.; Violante M (2000)
Low Power BIST via Non-Linear Hybrid Cellular Automata. In: VTS. pp. 29-34
Scopus: 65

M

Articolo di rivista G. Olmo; F. Laterza; L. Lo Presti (2000)
Matched wavelet approach in stretching analysis of electrically evoked surface EMG signal. In: SIGNAL PROCESSING, vol. 80 n. 4, pp. 671-684. - ISSN 0165-1684 [Disponibilità ristretta]
Web of Science: 13 - Scopus: 18
[img]

Articolo in atti di convegno Marco Grangetto; Enrico Magli; Olmo G. (2000)
Minimally non-linear integer wavelets for image coding. In: ICASSP 2000 - IEEE International conference on acoustics, speech and signal processing, Istanbul, Turkey, June 2000. pp. 2039-2042
Web of Science: 0 - Scopus: 7

Articolo di rivista Della Croce Di Dojola F.; Gupta; Tadei (2000)
Minimizing Tardy jobs in a Flowshop with common due date. In: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, vol. 120, pp. 375-381. - ISSN 0377-2217
Web of Science: 21 - Scopus: 36

Articolo di rivista C. Raibulet; Demartini C.G. (2000)
Mobile Agent Technology for the Management of Distributed Systems - aCase Study. In: COMPUTER NETWORKS, vol. 34, pp. 823-830. - ISSN 1389-1286
Web of Science: 11 - Scopus: 13

Articolo in atti di convegno C. Raibulet; Demartini C.G. (2000)
Mobile Agent Technology for the Management of Distributed Systems - aCase Study. In: TERENA Networking Conference 2000. pp. 12-13
Scopus: 13

N

Articolo in atti di convegno B. Parrotta; M. Rebaudengo; M. Sonza Reorda; M. Violante (2000)
New Techniques for Accelerating Fault Injection in VHDL descriptions. In: On-Line Testing Workshop, 2000. Proceedings. 6th IEEE International, Palma de Mallorca, 3 - 5 Jul 2000. pp. 61-66
Web of Science: 12 - Scopus: 43

Articolo in atti di convegno Chiusano S.; Prinetto P.; Wunderlich H.-J. (2000)
Non-intrusive BIST for systems-on-a-chip. In: IEEE International Test Conference, 3-5 October 2000. pp. 644-651
Web of Science: 18 - Scopus: 22

O

Articolo in atti di convegno Benso, Alfredo; Di Carlo, Stefano; Chiusano, Silvia Anna; Prinetto, Paolo Ernesto; Ricciato, F.; Lobetti Bodoni, M.; Spadari, M. (2000)
On integrating a proprietary and a commercial architecture for optimal BIST performances in SoCs. In: IEEE International Conference on Computer Design (ICCD), Austin (TX), USA, 17-20 Sept. 2000. pp. 539-540
Web of Science: 0 - Scopus: 0
[img]
Preview
[img]
Preview

Articolo in atti di convegno M. Grangetto; Magli E.; G. Olmo (2000)
On the improvement of the Radon transform performance via image denoising. In: ISITA 2000 - International Symposium on Information Theory and its Applications.

Articolo in atti di convegno M. Grangetto; Magli E.; G. Olmo (2000)
On the performance of integer wavelets for the lossy compression of smooth images. In: SPIE's 45th Annual Meeting, Wavelet applications in signal and image processing. pp. 950-958
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
On the specification of source level properties in Java. In: 1st Int. Workshop on Automated Program Analysis, Testing and Verification, June 2000. pp. 83-88

Articolo in atti di convegno Farinetti L. (2000)
Open and distance learning activities and results at Politecnico di Torino. In: First Research Workshop of EDEN, European Distance Education Network.

Articolo in atti di convegno Cataldo S.; Chiusano S.; Prinetto P.; Wunderlich H.-J. (2000)
Optimal Hardware Pattern Generation for Functional BIST. In: IEEE Design, Automation and Test in Europe, 27-30 March 2000. pp. 292-297
Scopus: 15

Articolo in atti di convegno G. Cabodi; Quer S.; F. Somenzi (2000)
Optimizing Sequential Verification by Retiming Transformations. In: DAC--37: 37st ACM/IEEE Design Automation Conference, Los Angeles, USA, June. pp. 601-606
Web of Science: 4 - Scopus: 8

P

Capitolo di libro Sparavigna A; Mello A; Montrucchio B. (2000)
Pattern recognition in the microscopy of liquid crystals: Description, comparison and choice. In: Recent Research Development in Pattern Recognition / PANDALAI S.G. TRANSWORLD RESEARCH NETWORK, pp. 29-40. ISBN 9788186846612

Articolo di rivista Ajmone Marsan M.G.; C. Casetti; R. Gaeta; M. Meo (2000)
Performance Analysis of TCP Connections Sharing a Congested Internet Link. In: PERFORMANCE EVALUATION, vol. 42, pp. 109-127. - ISSN 0166-5316
Web of Science: 8 - Scopus: 9

Articolo in atti di convegno L. Benini; M. Ferrero; Macii A.; E. Macii; M. Poncino (2000)
Power Analysis of Software-Implemented Digital Filters: A Case Study. In: MELECON-00: IEEE Mediterranean Electrotechnical Conference, Cyprus, Maggio 2000. pp. 595-598
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Rossello M; Zafalon R; Macii E.; Poncino M (2000)
Power Macromodeling for an High-Quality RT-Level Power Estimation. In: ISQED-00: IEEE International Symposium on Quality of Electronic Design, San Jose, CA. pp. 59-63
Scopus: 7

Articolo in atti di convegno Bogliolo A; Macii E.; Mihailovici V; Poncino M (2000)
Power Models for Semi-Autonomous RTL Macros. In: Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000, Göttingen (DEU), September 13–15, 2000. pp. 14-23 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Benini L; Ferrero M; Macii A; Macii E.; Poncino M (2000)
Power/Performance Trade-Offs in the Implementation of Digital Filters: A Case Study. In: MELECON-00: 11th IEEE Mediterranean Electrotechnical Conference, Nicosia, Cyprus. pp. 595-598
Scopus: 0

Articolo in atti di convegno F. Corno; M. Rebaudengo; M. Sonza Reorda; M. Violante (2000)
Prediction of Power Requirements for High-Speed Circuits. In: EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh (GBR), April 17, 2000. pp. 247-254 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Bruno Giorgio; Torchiano M. (2000)
Process Enabled Information Systems. In: 2nd Int. Conf. on Enterprise Information Systems (ICEIS 2000), 4-7 Luglio. pp. 32-37

Articolo di rivista Fornaro C.; Sanna A. (2000)
Public Key Watermarking for Authentication of CSG Models. In: COMPUTER AIDED DESIGN, vol. 32, pp. 727-735. - ISSN 0010-4485 [Disponibilità ristretta]
Web of Science: 30 - Scopus: 35
[img]

Q

Articolo in atti di convegno Marco Grangetto; Enrico Magli; Olmo G. (2000)
Q-Wave: a flexible and low complexity quadtree wavelet encoder. In: SPIE's 45th Annual Meeting, Wavelet applications in signal and image processing VII, San Diego, USA, July 2000. pp. 942-949
Web of Science: 0 - Scopus: 0

Capitolo di libro Casetti C; Lo Cigno R; Mellia M.; Munafo' M; Zsoka Z (2000)
QoS Routing Strategies when Link State Information is Out-of-Date. In: Performance Analysis of ATM Networks / D.KOUVATSOS. Kluwer Academic, DORDRECHT. ISBN 9780954015114

Articolo in atti di convegno Casetti C; Lo Cigno R; Mellia M; Munafo' M.; Zsoka Z (2000)
QoS Routing Strategies when Link State Information is Out-of-Date. In: Eighth IFIP Workshop on Performance Modelling and Evaluation of ATM & IP Networks, Ilkley, West Yorkshire, U.K, July 17-19, 2000.

R

Articolo in atti di convegno Corno F.; G. Cumani; M. Sonza Reorda; G. Squillero (2000)
RT-level Fault Simulation Techniques based on Simulation Command Scripts. In: XV Conference on Design of Circuits and Integrated Systems, Montpellier (F), November 21-24, 2000. pp. 825-830

Articolo di rivista Corno F.; M. Sonza Reorda; G. Squillero (2000)
RT-level ITC'99 benchmarks and first ATPG results. In: IEEE DESIGN & TEST OF COMPUTERS, vol. 17 n. 3, pp. 44-53. - ISSN 0740-7475 [Disponibilità ristretta]
Web of Science: 115 - Scopus: 242
[img]

Articolo in atti di convegno Anton C; Bogliolo A.; Civera P; Colonescu I; Macii E.; Poncino M (2000)
RTL Estimation of Steering Logic Power. In: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen (DEU), September 13–15, 2000. pp. 36-45 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Benini L; Bogliolo A; Macii E.; Poncino M; Surmei M (2000)
Regression-Based RTL Power Models for Controllers. In: GLS-VLSI-00: IEEE/ACM 10th Great Lakes Symposium on VLSI, Evanston, IL. pp. 147-152
Scopus: 1

Articolo in atti di convegno C. Raibulet; Demartini C.G. (2000)
Representation of Data in Industrial Systems Using STEP - a case study. In: IEEE International Workshop on Factory Communication Systems: WFCS-2000. pp. 58-61

Libro Macii A.; Macii E. (2000)
Reti ed Applicazioni Telematiche. Editrice Esculapio, BOLOGNA. ISBN 9788886524469

Altro De Martin J.C. (2000)
Review of "Speech and Audio Signal Processing", by Ben Gold and Nelson Morgan, John Wiley and Sons. .

S

Articolo in atti di convegno Baltatu M.; Lioy A.; Mazzocchi D. (2000)
Security Policy System: status and perspective. In: ICON-2000: IEEE Int. Conf. On Networks, Singapore, September 5-8, 2000. pp. 278-284
Web of Science: 2 - Scopus: 8

Articolo in atti di convegno Baltatu M.; Lioy A.; Maino F.; Mazzocchi D. (2000)
Security issues in control, management and routing protocols. In: TNC-2000: Terena Networking Conference 2000, Lisbon (Portugal), May 22-25, 2000.
Web of Science: 10 - Scopus: 14

Articolo di rivista Baltatu M.; Lioy A.; Maino F.; Mazzocchi D. (2000)
Security issues in control, management, and routing protocols. In: COMPUTER NETWORKS, vol. 34, no.6, pp. 881-894. - ISSN 1389-1286
Web of Science: 10 - Scopus: 14

Capitolo di libro E. Magli; G. Olmo; L. Lo Presti (2000)
Selection and compression of images of interest based on the Radon transform. In: Recent Research Developments in Pattern Recognition / AAVV. Transworld Research Network, pp. 1-11. ISBN 9788186846612

Articolo in atti di convegno Benso A; Chiusano S; Prinetto P.; Simonotti P; Ugo G (2000)
Self-repairing in a micro-programmed processor for dependable applications. In: DFT 2000: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Yamanashi, Japan, 25-27 Sept. 2000. pp. 231-239
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno B. Parrotta; M. Rebaudengo; M. Sonza Reorda; M. Violante (2000)
Speeding-up Fault Injection Campaigns in VHDL models. In: Computer Safety, Reliability and Security 19th International Conference, SAFECOMP 2000, Rotterdam (NLD), October 24–27, 2000. pp. 27-36 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 3
[img]

Libro M. Mezzalama, F. Corno, L. Farinetti, M. Sonza Reorda (2000)
Struttura, organizzazione e progetto dei calcolatori. Interdipendenza fra hardware e software - Seconda Edizione. Jackson Libri, Bresso (MI). ISBN 8825615175

Articolo in atti di convegno Bota F.; Farinetti L.; Corno F. (2000)
Student knowledge evaluation in Internet environments. In: Romanian Internet Learning Workshop on Internet as a Vehicle for Teaching.

Articolo in atti di convegno Stark M; Morisio M.; Mccomas D. (2000)
Supporting Development of Satellite's Guidance Navigation and Control Software: A Product Line Approach. In: in Proc. of the 25th Software Engineering Workshop, November.

Articolo in atti di convegno L.A. Bertolero, S. Rivoira (2000)
Supporting product development in distributed heterogeneous environments. In: 7th ISPE International Conference on Concurrent Engineering, Lyon.

Articolo in atti di convegno L. Benini; M. Ferrero; A. Macii; E. Macii; M. Poncino (2000)
Supporting system-level power exploration for DSP applications. In: 10th Great Lakes Symposium on VLSI, Evanston ILL (USA), March 2-4, 2000. pp. 17-22 [Disponibilità ristretta]
Scopus: 1
[img]

Articolo di rivista G. Cabodi; Camurati P.; S. Quer (2000)
Symbolic Forward/Backward Traversals of Large Finite State Machines. In: JOURNAL OF SYSTEMS ARCHITECTURE, vol. 46, pp. 1137-1158. - ISSN 1383-7621
Web of Science: 5 - Scopus: 6

Articolo di rivista Ferrandi F.; Fummi F.; Macii E.; Poncino M.; Sciuto D. (2000)
Symbolic Optimization of FSM Networks Based on Redundancy Identification and Removal. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 19. - ISSN 0278-0070

Articolo in atti di convegno R. Gemello; L. Moisa; Laface P. (2000)
Synergy of Spectral and Perceptual Features in Multi-source Connectionist Speech Recognition. In: International Conference on Spoken Language Processing, October. pp. 843-846
Scopus: 0
[img]
Preview

Articolo in atti di convegno L. Benini; A. Macii; E. Macii; M. Poncino (2000)
Synthesis of application-specific memories for power optimization in embedded systems. In: DAC-37: ACM/IEEE Design Automation Conference, Los Angeles CA (USA), June 5-9, 2000. pp. 300-303 [Disponibilità ristretta]
Web of Science: 14 - Scopus: 24
[img]

Articolo di rivista Carabelli S.; Tonoli A. (2000)
System properties of flexible structures with self-sensing piezoelectric transducers. In: JOURNAL OF SOUND AND VIBRATION, vol. 235 n. 1, pp. 1-23. - ISSN 0022-460X [Disponibilità ristretta]
Web of Science: 17 - Scopus: 25
[img]

Articolo in atti di convegno M. Lajolo; M. Rebaudengo; M. Sonza-Reorda; M. Violante; Lavagno L. (2000)
System-level test bench generation in a co-design framework. In: NON SPECIFICATO.
Web of Science: 0

T

Articolo in atti di convegno Tim Tozer; Olmo G.; David Grace (2000)
The European Helinet Project. In: 3rd International Airship Convention, Friedrichshafen, Germany, July 2000.

Articolo in atti di convegno Casetti C.; Gerla M.; Lee S.S.; Mascolo S.; Sanadidi M. (2000)
TCP with Faster Recovery. In: IEEE Military Communications Conference MILCOM 2000, October 2000.
Web of Science: 0 - Scopus: 19

Articolo in atti di convegno Berbecaru D., Lioy A.,Mazzocchi D., Maino F., Ramunno G. (2000)
Towards concrete application of electronic signature. In: AICA conference 2000, Taormina (Italy), 27-30 September 2000. pp. 543-561

Articolo di rivista L. Lo Presti; Olmo G.; D. Bosetto (2000)
Turbo Estimation Algorithms: General Principles, and Applications to Modal Analysis. In: SIGNAL PROCESSING, vol. 80, pp. 2567-2578. - ISSN 0165-1684 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 2
[img]

U

Articolo di rivista Sisto R. (2000)
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols. In: COMPUTER NETWORKS, vol. 32 (1), pp. 81-98. - ISSN 1389-1286
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
Using Garbage Collection in Model Checking. In: 7th International SPIN Workshop, Stanford, CA (USA), August 30 - September 1, 2000. pp. 20-33 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 10
[img]

Articolo in atti di convegno Bruzzone F.; Farinetti L. (2000)
Utilizzo di XML per l'interoperabilità fra applicazioni Internet. In: XML Italia 2000.

V

Articolo di rivista S. Quer; G. Cabodi; P. Camurati; L. Lavagno; E.M. Sentovich; R.K. Brayton (2000)
Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks. In: FORMAL METHODS IN SYSTEM DESIGN, vol. 17 n. 2, pp. 107-134. - ISSN 0925-9856 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 1
[img]

Articolo in atti di convegno A. Sanna; B. Montrucchio; Arina R. (2000)
Visualizing Unsteady Flows by Adaptive Streaklines. In: WSCG'2000 The 8-th International Conference in Central Europe on Computer Graphi, February 2000. pp. 84-91

Questa lista è stata generata il Fri Feb 16 22:55:05 2018 CET.