Pubblicazioni la cui area disciplinare è "Area 09 - Ingegneria industriale e dell'informazione > SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI" e l'anno è "2000"

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

'

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

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

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

D

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

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

G

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]

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

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

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

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

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 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: 5 - 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: 3 - Scopus: 2

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

R

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

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]

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

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]

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]

Questa lista è stata generata il Mon Feb 19 22:20:12 2018 CET.