Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor)
| Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor) |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XII, 267 p.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer input-output equipment
Software architecture Computer programs - Verification |
| Soggetto non controllato |
Verification
Hardware Software |
| ISBN | 3-540-77966-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless -- Scaling Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking for Testing -- Hardware Verification -- On the Characterization of Until as a Fixed Point Under Clocked Semantics -- Reactivity in SystemC Transaction-Level Models -- Model Checking -- Verifying Parametrised Hardware Designs Via Counter Automata -- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison -- Dynamic Hardware Verification -- Constraint Patterns and Search Procedures for CP-Based Random Test Generation -- Using Virtual Coverage to Hit Hard-To-Reach Events -- Merging Formal and Testing -- Test Case Generation for Ultimately Periodic Paths -- Dynamic Testing Via Automata Learning -- Formal Verification for Software -- On the Architecture of System Verification Environments -- Exploiting Shared Structure in Software Verification Conditions -- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code Coverage -- GenUTest: A Unit Test and Mock Aspect Generation Tool. |
| Record Nr. | UNISA-996466044003316 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hardware and Software: Verification and Testing [[electronic resource] ] : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
| Hardware and Software: Verification and Testing [[electronic resource] ] : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 169 p.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-19237-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466046603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High-Performance Modelling and Simulation for Big Data Applications [[electronic resource] ] : Selected Results of the COST Action IC1406 cHiPSet / / edited by Joanna Kołodziej, Horacio González-Vélez
| High-Performance Modelling and Simulation for Big Data Applications [[electronic resource] ] : Selected Results of the COST Action IC1406 cHiPSet / / edited by Joanna Kołodziej, Horacio González-Vélez |
| Autore | Kołodziej Joanna |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 352 p. 63 illus., 55 illus. in color.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Electronic digital computers—Evaluation
Computer networks Microprocessors Computer architecture Application software Logic design Operating systems (Computers) System Performance and Evaluation Computer Communication Networks Processor Architectures Computer and Information Systems Applications Logic Design Operating Systems |
| ISBN | 3-030-16272-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why High-Performance Modelling and Simulation for Big Data Applications Matters -- Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems -- Tail Distribution and Extreme Quantile Estimation using Non-Parametric Approaches -- Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challenges -- Big Data in 5G Distributed Applications -- Big Data Processing, Analysis and Applications in Mobile Cellular Networks -- Medical Data Processing and Analysis for Remote Health and Activities Monitoring -- Towards human cell simulation -- Cloud-based High Throughput Virtual Screening in Novel Drug Discovery -- Ultra Wide Band Body Area Networks: Design and integration with Computational Clouds -- Survey on AI-based multimodal methods for emotion detection -- Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-oriented Survey of the State-of-the-Art in the Cloud Era. |
| Record Nr. | UNISA-996466075403316 |
Kołodziej Joanna
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet / / edited by Joanna Kołodziej, Horacio González-Vélez
| High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet / / edited by Joanna Kołodziej, Horacio González-Vélez |
| Autore | Kołodziej Joanna |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 352 p. 63 illus., 55 illus. in color.) |
| Disciplina |
004.24
004.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Electronic digital computers—Evaluation
Computer networks Microprocessors Computer architecture Application software Logic design Operating systems (Computers) System Performance and Evaluation Computer Communication Networks Processor Architectures Computer and Information Systems Applications Logic Design Operating Systems |
| ISBN | 3-030-16272-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Why High-Performance Modelling and Simulation for Big Data Applications Matters -- Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems -- Tail Distribution and Extreme Quantile Estimation using Non-Parametric Approaches -- Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challenges -- Big Data in 5G Distributed Applications -- Big Data Processing, Analysis and Applications in Mobile Cellular Networks -- Medical Data Processing and Analysis for Remote Health and Activities Monitoring -- Towards human cell simulation -- Cloud-based High Throughput Virtual Screening in Novel Drug Discovery -- Ultra Wide Band Body Area Networks: Design and integration with Computational Clouds -- Survey on AI-based multimodal methods for emotion detection -- Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-oriented Survey of the State-of-the-Art in the Cloud Era. |
| Record Nr. | UNINA-9910337580503321 |
|
Kołodziej Joanna
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICPE '17 : companion of the 2017 ACM/SPEC International Conference on Performance Engineering : April 22-26, 2017, L'Aquila, Italy / / Association for Computing Machinery
| ICPE '17 : companion of the 2017 ACM/SPEC International Conference on Performance Engineering : April 22-26, 2017, L'Aquila, Italy / / Association for Computing Machinery |
| Pubbl/distr/stampa | New York New York : , : The Association for Computing Machinery, , 2017 |
| Descrizione fisica | 1 online resource (234 pages) : illustrations |
| Disciplina | 004.24 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375783603321 |
| New York New York : , : The Association for Computing Machinery, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICPE '21 : Proceedings of the ACM/SPEC International Conference on Performance Engineering / / Johann Bourcier [and three others]
| ICPE '21 : Proceedings of the ACM/SPEC International Conference on Performance Engineering / / Johann Bourcier [and three others] |
| Autore | Bourcier Johann |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (301 pages) |
| Disciplina | 004.24 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510491203321 |
|
Bourcier Johann
|
||
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICPE '22 : proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering : April 9-13, 2022, Beijing, China / / sponsors: ACM SIGMETRICS, ACM SIGSOFT, & SPEC ; general co-chairs: Dan Feng, Huazhong University of Science & Technology, Steffen Becker, University of Stuttgart ; program chairs: Nikolas Herbst, University of Würzburg, Philipp Leitner, Chalmers and University of Gothenburg ; proceedings chair: Alessandro Papadopoulos, Mälardalen University
| ICPE '22 : proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering : April 9-13, 2022, Beijing, China / / sponsors: ACM SIGMETRICS, ACM SIGSOFT, & SPEC ; general co-chairs: Dan Feng, Huazhong University of Science & Technology, Steffen Becker, University of Stuttgart ; program chairs: Nikolas Herbst, University of Würzburg, Philipp Leitner, Chalmers and University of Gothenburg ; proceedings chair: Alessandro Papadopoulos, Mälardalen University |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2022 |
| Descrizione fisica | 1 online resource (242 pages) : illustrations |
| Disciplina | 004.24 |
| Altri autori (Persone) | FengDan |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability Software engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering
2022 ACM/SPEC International Conference on Performance Engineering ICPE 2022 ICPE'22 |
| Record Nr. | UNINA-9910555230503321 |
| New York : , : Association for Computing Machinery, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICPE'17 : proceedings of the 2017 ACM/SPEC International Conference on Performance Engineering : April 22-26, 2017, L'Aquila, Italy / / Walter Binder [and four others]
| ICPE'17 : proceedings of the 2017 ACM/SPEC International Conference on Performance Engineering : April 22-26, 2017, L'Aquila, Italy / / Walter Binder [and four others] |
| Autore | Binder Walter |
| Pubbl/distr/stampa | New York, New York : , : The Association for Computing Machinery, , 2017 |
| Descrizione fisica | 1 online resource (438 pages) : illustrations |
| Disciplina | 004.24 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375776403321 |
|
Binder Walter
|
||
| New York, New York : , : The Association for Computing Machinery, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ICPE'20 : proceedings of the ACM/SPEC International Conference on Performance Engineering : April 20--24, 2020, Edmonton, Canada / / J. Nelson Amaral [and three others]
| ICPE'20 : proceedings of the ACM/SPEC International Conference on Performance Engineering : April 20--24, 2020, Edmonton, Canada / / J. Nelson Amaral [and three others] |
| Autore | Amaral J. Nelson |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica | 1 online resource (319 pages) |
| Disciplina | 004.24 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412336503321 |
|
Amaral J. Nelson
|
||
| New York : , : Association for Computing Machinery, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The IDA pro book [[electronic resource] ] : the unofficial guide to the world's most popular disassembler / / Chris Eagle
| The IDA pro book [[electronic resource] ] : the unofficial guide to the world's most popular disassembler / / Chris Eagle |
| Autore | Eagle Chris |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | San Francisco, : No Starch Press, 2011 |
| Descrizione fisica | 1 online resource (954 p.) |
| Disciplina |
004.2/4
004.24 005.14 |
| Soggetto topico |
Disassemblers (Computer programs)
Debugging in computer science |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-59327-395-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
The IDA Pro Book; PRAISE FOR THE FIRST EDITION OF THE IDA PRO BOOK; Acknowledgments; Introduction; I. Introduction to IDA; 1. Introduction to Disassembly; Disassembly Theory; The What of Disassembly; The Why of Disassembly; Malware Analysis; Vulnerability Analysis; Software Interoperability; Compiler Validation; Debugging Displays; The How of Disassembly; A Basic Disassembly Algorithm; Linear Sweep Disassembly; Recursive Descent Disassembly; Sequential Flow Instructions; Conditional Branching Instructions; Unconditional Branching Instructions; Function Call Instructions; Return Instructions
Summary2. Reversing and Disassembly Tools; Classification Tools; file; PE Tools; PEiD; Summary Tools; nm; ldd; objdump; otool; dumpbin; c++filt; Deep Inspection Tools; strings; Disassemblers; Summary; 3. IDA Pro Background; Hex-Rays' Stance on Piracy; Obtaining IDA Pro; IDA Versions; IDA Licenses; Purchasing IDA; Upgrading IDA; IDA Support Resources; Your IDA Installation; Windows Installation; OS X and Linux Installation; IDA and SELinux; 32-bit vs. 64-bit IDA; The IDA Directory Layout; Thoughts on IDA's User Interface; Summary; II. Basic IDA Usage; 4. Getting Started with IDA; Launching IDA IDA File LoadingUsing the Binary File Loader; IDA Database Files; IDA Database Creation; Closing IDA Databases; Reopening a Database; Introduction to the IDA Desktop; Desktop Behavior During Initial Analysis; IDA Desktop Tips and Tricks; Reporting Bugs; Summary; 5. IDA Data Displays; The Principal IDA Displays; The Disassembly Window; IDA Graph View; IDA Text View; The Functions Window; The Output Window; Secondary IDA Displays; The Hex View Window; The Exports Window; The Imports Window; The Structures Window; The Enums Window; Tertiary IDA Displays; The Strings Window; The Names Window The Segments WindowThe Signatures Window; The Type Libraries Window; The Function Calls Window; The Problems Window; Summary; 6. Disassembly Navigation; Basic IDA Navigation; Double-Click Navigation; Jump to Address; Navigation History; Stack Frames; Calling Conventions; The C Calling Convention; The Standard Calling Convention; The fastcall Convention for x86; C++ Calling Conventions; Other Calling Conventions; Local Variable Layout; Stack Frame Examples; IDA Stack Views; Searching the Database; Text Searches; Binary Searches; Summary; 7. Disassembly Manipulation; Names and Naming Parameters and Local VariablesNamed Locations; Register Names; Commenting in IDA; Regular Comments; Repeatable Comments; Anterior and Posterior Lines; Function Comments; Basic Code Transformations; Code Display Options; Formatting Instruction Operands; Manipulating Functions; Creating New Functions; Deleting Functions; Function Chunks; Function Attributes; Stack Pointer Adjustments; Converting Data to Code (and Vice Versa); Basic Data Transformations; Specifying Data Sizes; Working with Strings; Specifying Arrays; Summary; 8. Datatypes and Data Structures; Recognizing Data Structure Use Array Member Access |
| Record Nr. | UNINA-9910457535903321 |
|
Eagle Chris
|
||
| San Francisco, : No Starch Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
