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

'

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: 3 - 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 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: 14 - Scopus: 23

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: 47 - Scopus: 55

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: 32
[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

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

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

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 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: 6 - 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: 9

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

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 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 A.; Di Carlo S.; Di Natale G.; Prinetto P.; 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: 14 - Scopus: 23
[img] [img]
Preview

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: 2 - 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]
Preview
[img]

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

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: 51 - Scopus: 76

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

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

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 A.; Chiusano S.; Di Carlo S.; Prinetto P.; 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: 24
[img]
Preview

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: 11 - Scopus: 21
[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: 59

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

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

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

M

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

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 A.; Di Carlo S.; Chiusano S.; Prinetto P.; 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 Scarsi R; Macii E. (2000)
On the Benefits of Kernel Extraction During Logic Optimization. In: MELECON-00: 11th IEEE Mediterranean Electrotechnical Conference, Nicosia, Cyprus. pp. 53-56
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 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 di rivista Kumthekar B.; Benini L.; Macii E.; Somenzi F. (2000)
Power Optimization of FPGA-Based Designs without Re-Wiring. In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES, vol. 147, pp. 167-174. - ISSN 1350-2387
Web of Science: 4 - Scopus: 8

Articolo di rivista Bahar I.; Lampe E.; Macii E. (2000)
Power Optimization of Technology-Dependent Circuits Based on Symbolic Computation of Logic Implications. In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, vol. 5, pp. 267-293. - ISSN 1084-4309
Web of Science: 2 - Scopus: 1

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: 28 - Scopus: 34
[img]

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: 107 - Scopus: 226
[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

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 di rivista Ferrandi F.; Fummi F.; Macii E.; Poncino M.; Sciuto D. (2000)
Symbolic Optimization of Interacting Controllers Based on Redundancy Identification and Removal. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-19, pp. 60-772. - ISSN 0278-0070
Web of Science: 10 - Scopus: 12

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

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 Sep 22 23:38:35 2017 CEST.