Fummi, F.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

[IEEE 2012 17th IEEE European Test Symposium (ETS) - Annecy, France (2012.05.28-2012.05.31)] 2012 17TH IEEE EUROPEAN TEST SYMPOSIUM (ETS) - Combining dynamic slicing and mutation operators for ESL correction

Repinski, Urmas, Hantson, Hanno, Jenihhin, Maksim, Raik, Jaan, Ubar, Raimund, Di Guglielmo, Giuseppe, Pravadelli, Graziano, Fummi, Franco

Year:

2012

Language:

english

File:

PDF, 335 KB

english, 2012

52

[IEEE 1994 IEEE International Conference on Neural Networks (ICNN'94) - Orlando, FL, USA (27 June-2 July 1994)] Proceedings of 1994 IEEE International Conference on Neural Networks (ICNN'94) - Behavioral testability and test pattern generation of the Hopfield network model

Alippi, C., Fummi, F., Piuri, R., Sami, M., Sciuto, D.

Year:

1994

Language:

english

File:

PDF, 531 KB

english, 1994

53

[IEEE Comput. Soc Design, Automation and Test in Europe - Paris, France (23-26 Feb. 1998)] Proceedings Design, Automation and Test in Europe - Power estimation of behavioral descriptions

Ferrandi, F., Fummi, F., Macii, E., Poncino, M., Sciuto, D.

Year:

1998

Language:

english

File:

PDF, 169 KB

english, 1998

54

[IEEE Comput. Soc Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings - Munich, Germany (9-12 March 1999)] Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078) - Symbolic functional vector generation for VHDL specifications

Ferrandi, F., Fummi, F., Gerli, L., Sciuto, D.

Year:

1999

Language:

english

File:

PDF, 228 KB

english, 1999

55

[ACM IEEE 9th International Workshop on Hardware Software C-Design/CASHE - Copenhagen, Denmark (25-27 April 2001)] Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571) - SystemC: a homogenous environment to test embedded systems

Fin, A., Fummi, F., Martignano, M., Signoretto, M.

Year:

2001

Language:

english

File:

PDF, 502 KB

english, 2001

56

[IEEE Comput. Soc. Press Proceedings. 15th IEEE VLSI Test Symposium (Cat. No.97TB100125) - Monterey, CA, USA (27 April-1 May 1997)] Proceedings. 15th IEEE VLSI Test Symposium (Cat. No.97TB100125) - Implicit test pattern generation constrained to cellular automata embedding

Fummi, F., Sciuto, D.

Year:

1997

Language:

english

File:

PDF, 659 KB

english, 1997

57

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - A Mutation Model for the SystemC TLM 2.0 Communication Interfaces

Bombieri, Nicola, Fummi, Franco, Pravadelli, Graziano

Year:

2008

Language:

english

File:

PDF, 369 KB

english, 2008

58

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - On the use of a high-level fault model to analyze logical consequence of properties

Brait, S., Fummi, F., Pravadelli, G.

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

59

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Symbolic optimization of FSM networks based on sequential ATPG techniques

Ferrandi, Fabrizio, Fummi, Franco, Macii, Enrico, Poncino, Massimo, Sciuto, Donatella

Year:

1996

Language:

english

File:

PDF, 169 KB

english, 1996

60

[ACM Press the 2nd IEEE/ACM/IFIP international conference - Stockholm, Sweden (2004.09.08-2004.09.10)] Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '04 - A timing-accurate HW/SW co-simulation of an ISS with SystemC

Formaggio, Luca, Fummi, Franco, Pravadelli, Graziano

Year:

2004

Language:

english

File:

PDF, 238 KB

english, 2004

61

A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications

Bombieri, Nicola, Fummi, Franco, Vinco, Sara

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2015

Language:

english

File:

PDF, 3.48 MB

english, 2015

62

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - SAGA

Vinco, Sara, Chatterjee, Debapriya, Bertacco, Valeria, Fummi, Franco

Year:

2012

Language:

english

File:

PDF, 836 KB

english, 2012

63

[ACM Press the 54th Annual Design Automation Conference 2017 - Austin, TX, USA (2017.06.18-2017.06.22)] Proceedings of the 54th Annual Design Automation Conference 2017 on - DAC '17 - Power-aware Performance Tuning of GPU Applications Through Microbenchmarking

Bombieri, Nicola, Busato, Federico, Fummi, Franco

Year:

2017

Language:

english

File:

PDF, 14.70 MB

english, 2017

64

[IEEE 2019 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB) - Siena, Italy (2019.7.9-2019.7.11)] 2019 IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB) - Automatic Parameterization of the Purine Metabolism Pathway through Discrete Event-based Simulation

Caligola, Simone, Carlucci, Tommaso, Fummi, Franco, Laudanna, Carlo, Constantin, Gabriela, Bombieri, Nicola, Giugno, Rosalba

Year:

2019

Language:

english

File:

PDF, 671 KB

english, 2019

65

SystemC cosimulation and emulation of multiprocessor SoC designs

Benini, L., Bertozzi, D., Bruni, D., Drago, N., Fummi, F., Poncino, M.

Journal:

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

66

[IEEE The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services - San Diego, CA, USA (2005.07.17-2005.07.21)] The Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services - Embedded SW design issues for distributed applications on mobile terminals

Fummi, F., Martini, S., Perbellini, G., Ricciato, F., Turolla, M.

Year:

2005

Language:

english

File:

PDF, 153 KB

english, 2005

67

[IEEE 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09) - Nice (2009.04.20-2009.04.24)] 2009 Design, Automation & Test in Europe Conference & Exhibition - Flexible energy-aware simulation of heterogenous wireless sensor networks

Fummi, F., Perbellini, G., Quaglia, D., Acquaviva, A.

Year:

2009

Language:

english

File:

PDF, 3.18 MB

english, 2009

68

[IEEE 1993 IEEE International Symposium on Circuits and Systems - Chicago, IL, USA (3-6 May 1993)] 1993 IEEE International Symposium on Circuits and Systems - Functional Testing And Constrained Synthesis Of Sequential Architectures

Buonanno, G., Fummi, F., Sciuto, D.

Year:

1993

Language:

english

File:

PDF, 449 KB

english, 1993

69

[IEEE 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2017.1.16-2017.1.19)] 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling

Lora, Michele, Fraccaroli, Enrico, Fummi, Franco

Year:

2017

Language:

english

File:

PDF, 537 KB

english, 2017

70

On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation

Bombieri, Nicola, Ebeid, Emad, Fummi, Franco, Lora, Michele

Journal:

Journal of Electronic Testing

Year:

2013

Language:

english

File:

PDF, 1.67 MB

english, 2013

71

[IEEE 2008 23rd IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFTVS) - Cambridge, MA, USA (2008.10.1-2008.10.3)] 2008 IEEE International Symposium on Defect and Fault Tolerance of VLSI Systems - Network Fault Model for Dependability Assessment of Networked Embedded Systems

Fummi, Franco, Quaglia, Davide, Stefanni, Francesco

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

72

[IEEE Design, Automation & Test in Europe Conference - Nice, France (2007.04.16-2007.04.20)] 2007 Design, Automation & Test in Europe Conference & Exhibition - A Smooth Refinement Flow for Co-designing HW and SW Threads

Destro, Paolo, Fummi, Franco, Pravadelli, Graziano

Year:

2007

Language:

english

File:

PDF, 179 KB

english, 2007

73

[IEEE 1993 IEEE International Symposium on Circuits and Systems - Chicago, IL, USA (3-6 May 1993)] 1993 IEEE International Symposium on Circuits and Systems - Functional testing and constrained synthesis of sequential architectures

Buonanno, G., Fummi, F., Sciuto, D.

Year:

1993

Language:

english

File:

PDF, 449 KB

english, 1993

74

[IEEE 2014 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS) - Marseille, France (2014.12.7-2014.12.10)] 2014 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS) - Multi-domain simulation as a foundation for the engineering of smart systems: Challenges and the SMAC vision

Gillon, Renaud, Gangemi, Giuliana, Grosso, Michelangelo, Fummi, Franco, Poncino, Massimo

Year:

2014

Language:

english

File:

PDF, 728 KB

english, 2014

75

[IEEE 2003. Design Automation Conference - Anaheim, CA, USA (2-6 June 2003)] Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) - A timing-accurate modeling and simulation environment for networked embedded systems

Fummi, F., Perbellini, G., Gallo, P., Poncino, M., Martini, S., Ricciato, F.

Year:

2003

Language:

english

File:

PDF, 652 KB

english, 2003

76

A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors

Vinco, Sara, Bombieri, Nicola, Pagliari, Daniele Jahier, Fummi, Franco, Macii, Enrico, Poncino, Massimo

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2019

Language:

english

File:

PDF, 2.01 MB

english, 2019

77

Properties Incompleteness Evaluation by Functional Verification

Fedeli, A., Fummi, F., Pravadelli, G.

Journal:

IEEE Transactions on Computers

Year:

2007

Language:

english

File:

PDF, 2.47 MB

english, 2007

78

[IEEE Conference Publications Design Automation and Test in Europe - Dresden, Germany (2014.03.24-2014.03.28)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 - A cross-level verification methodology for digital IPs augmented with embedded timing monitors

Guarnieri, V., Petricca, M., Sassone, A., Vinco, S., Bombieri, N., Fummi, F., Macii, E., Poncino, M.

Year:

2014

Language:

english

File:

PDF, 286 KB

english, 2014

79

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - A HW/SW co-simulation framework for the verification of multi-CPU systems

Cordibella, S., Fummi, F., Perbellini, G., Quaglia, D.

Year:

2008

Language:

english

File:

PDF, 468 KB

english, 2008

80

[IEEE Comput. Soc 1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - Paris, France (20-22 Oct. 1997)] 1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - Configuration-specific test pattern extraction for field programmable gate arrays

Ferrandi, F., Fummi, F., Pozzi, L., Sami, M.G.

Year:

1997

Language:

english

File:

PDF, 434 KB

english, 1997

81

[IEEE Comput. Soc. Press 1993 IEEE International Conference on Computer Design ICCD'93 - Cambridge, MA, USA (3-6 Oct. 1993)] Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 - Functional fault models and gate level coverage for sequential architectures

Buonanno, G., Fummi, F., Sciuto, D.

Year:

1993

Language:

english

File:

PDF, 480 KB

english, 1993

82

[ACM Press the 25th edition - Pittsburgh, Pennsylvania, USA (2015.05.20-2015.05.22)] Proceedings of the 25th edition on Great Lakes Symposium on VLSI - GLSVLSI '15 - A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology

Distefano, Rosario, Fummi, Franco, Laudanna, Carlo, Bombieri, Nicola, Giugno, Rosalba

Year:

2015

Language:

english

File:

PDF, 906 KB

english, 2015

83

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - A timing-accurate modeling and simulation environment for networked embedded systems

Fummi, Franco, Perbellini, Giovanni, Gallo, Paolo, Poncino, Massimo, Martini, Stefano, Ricciato, Fabio

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

84

[ACM Press the 4th international conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 4th international conference on Hardware/software codesign and system synthesis - CODES+ISSS '06 - TLM/network design space exploration for networked embedded systems

Bombieri, N., Fummi, F., Quaglia, D.

Year:

2006

Language:

english

File:

PDF, 353 KB

english, 2006

85

[IEEE 2015 Forum on Specification and Design Languages (FDL) - Barcelona, Spain (2015.9.14-2015.9.16)] 2015 Forum on Specification and Design Languages (FDL) - Extensions to the UML profile for MARTE for distributed embedded systems

Ebeid, Emad, Medina, Julio, Quaglia, Davide, Fummi, Franco

Year:

2015

Language:

english

File:

PDF, 758 KB

english, 2015

86

[IEEE Comput. Soc 1999 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - Albuquerque, NM, USA (1-3 Nov. 1999)] Proceedings 1999 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (EFT'99) - Increase the behavioral fault model accuracy using high-level synthesis information

Brera, M., Ferrandi, F., Sciuto, D., Fummi, F.

Year:

1999

Language:

english

File:

PDF, 37 KB

english, 1999

87

Conference Reports: Recap of DATE 2019 in Florence, Italy

Teich, Jurgen, Fummi, Franco

Journal:

IEEE Design and Test

Year:

2019

Language:

english

File:

PDF, 394 KB

english, 2019

88

Symbolic optimization of interacting controllers based on redundancy identification and removal

Ferrandi, F., Fummi, F., Macii, E., Poncino, M., Sciuto, D.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2000

Language:

english

File:

PDF, 330 KB

english, 2000

89

[IEEE 2013 18th IEEE European Test Symposium (ETS) - Avignon, France (2013.05.27-2013.05.30)] 2013 18TH IEEE EUROPEAN TEST SYMPOSIUM (ETS) - Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software

Di Guglielmo, Giuseppe, Ferraretto, Davide, Fummi, Franco, Pravadelli, Graziano

Year:

2013

Language:

english

File:

PDF, 453 KB

english, 2013

90

[IEEE Comput. Soc. Press ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors - Austin, TX, USA (2-4 Oct. 1995)] Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors - Synthesis for testability of large complexity controllers

Fummi, F., Sciuto, D., Serro, M.

Year:

1995

Language:

english

File:

PDF, 729 KB

english, 1995

91

[IEEE Design Languages (FDL) - Stuttgart (2008.09.23-2008.09.25)] 2008 Forum on Specification, Verification and Design Languages - A SystemC-based framework for modeling and simulation of networked embedded systems

Fummi, F., Quaglia, D., Stefanni, F.

Year:

2008

Language:

english

File:

PDF, 431 KB

english, 2008

92

[IEEE 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Tallinn, Estonia (2012.04.18-2012.04.20)] 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - On the use of assertions for embedded-software dynamic verification

Di Guglielmo, Giuseppe, Di Guglielmo, Luigi, Fummi, Franco, Pravadelli, Graziano

Year:

2012

Language:

english

File:

PDF, 256 KB

english, 2012

93

[IEEE Comput. Soc. Press European Design and Test Conference EDAC-ETC-EUROASIC - Paris, France (28 Feb.-3 March 1994)] Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC - From behavioral description to systolic array based architectures

Balboni, A., Costi, C., Fummi, F., Sciuto, D.

Year:

1994

Language:

english

File:

PDF, 117 KB

english, 1994

94

[IEEE 14th Annual IEEE International ASIC/SOC Conference - Arlington, VA, USA (12-15 Sept. 2001)] Proceedings 14th Annual IEEE International ASIC/SOC Conference (IEEE Cat. No.01TH8558) - The use of SystemC for design verification and integration test of IP-cores

Fin, A., Fummi, F., Signoretto, D.

Year:

2001

Language:

english

File:

PDF, 535 KB

english, 2001

95

[IEEE 2010 IEEE International Conference on Computer Design (ICCD 2010) - Amsterdam, Netherlands (2010.10.3-2010.10.6)] 2010 IEEE International Conference on Computer Design - DDPSL: An easy way of defining properties

Di Guglielmo, Luigi, Fummi, Franco, Orlandi, Nicola, Pravadelli, Graziano

Year:

2010

Language:

english

File:

PDF, 788 KB

english, 2010

96

[IEEE 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09) - Nice (2009.04.20-2009.04.24)] 2009 Design, Automation & Test in Europe Conference & Exhibition - Networked embedded system applications design driven by an abstract middleware environment

Fummi, F., Perbellini, G., Roncolato, N.

Year:

2009

Language:

english

File:

PDF, 243 KB

english, 2009

97

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Generation of VHDL Code from UML/MARTE Sequence Diagrams for Verification and Synthesis

Ebeid, Emad, Quaglia, Davide, Fummi, Franco

Year:

2012

Language:

english

File:

PDF, 1.08 MB

english, 2012

98

[IEEE 2008 International Biennial Baltic Electronics Conference (BEC2008) - Tallinn (2008.10.6-2008.10.8)] 2008 11th International Biennial Baltic Electronics Conference - Automatic generation of EFSMs and HLDDs for functional ATPG

Chepurov, A., Di Guglielmo, G., Fummi, F., Pravadelli, G., Raik, J., Ubar, R., Viilukas, T.

Year:

2008

Language:

english

File:

PDF, 266 KB

english, 2008

99

[ACM Press the 16th ACM Great Lakes symposium - Philadelphia, PA, USA (2006.04.30-2006.05.01)] Proceedings of the 16th ACM Great Lakes symposium on VLSI - GLSVLSI '06 - ISS-centric modular HW/SW co-simulation

Fummi, Franco, Perbellini, Giovanni, Loghi, Mirko, Poncino, Massimo

Year:

2006

Language:

english

File:

PDF, 153 KB

english, 2006

100

[IEEE 2014 10th International Conference on Advanced Semiconductor Devices & Microsystems (ASDAM) - Smolenice, Slovakia (2014.10.20-2014.10.22)] The Tenth International Conference on Advanced Semiconductor Devices and Microsystems - Design and simulation of an integrated optical CMOS heart rate sensor

He, D., Liu, C., Trachanis, D., Hese, J. V., Drogoudis, D., Fummi, F., Stefanni, F., Guamieri, V., Morgan, S. P., Hayes-Gill, B. R.

Year:

2014

Language:

english

File:

PDF, 267 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски