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.
Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer Systems / / Konstantinos Psounis, Association for Computing Machinery-Digital Library
| Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer Systems / / Konstantinos Psounis, Association for Computing Machinery-Digital Library |
| Autore | Psounis Konstantinos |
| Pubbl/distr/stampa | New York NY : , : ACM, , [2018] |
| Descrizione fisica | 1 online resource (143 pages) : illustrations |
| Disciplina | 004.24 |
| Collana | ACM Conferences |
| Soggetto topico | Computer systems - Evaluation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375969103321 |
Psounis Konstantinos
|
||
| New York NY : , : ACM, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstracts of the 2019 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems / / edited by Erich Nahum
| Abstracts of the 2019 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems / / edited by Erich Nahum |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2019 |
| Descrizione fisica | 1 online resource (101 pages) : illustrations |
| Disciplina | 004.24 |
| Collana | ACM Conferences |
| Soggetto topico | Computer systems - Evaluation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412136103321 |
| New York : , : Association for Computing Machinery, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems / / Edmund Yeh
| Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems / / Edmund Yeh |
| Autore | Yeh Edmund |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica | 1 online resource (124 pages) : illustrations |
| Disciplina | 004.24 |
| Collana | ACM Conferences |
| Soggetto topico | Computer systems - Evaluation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412136003321 |
|
Yeh Edmund
|
||
| New York : , : Association for Computing Machinery, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced backend code optimization / / Sid Touati, Benoit Dupont de Dinechin
| Advanced backend code optimization / / Sid Touati, Benoit Dupont de Dinechin |
| Autore | Touati Sid |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | London ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2014 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina | 004.24 |
| Collana | Computer Engineering Series |
| Soggetto topico | Compilers (Computer programs) |
| ISBN |
1-118-62544-7
1-118-64895-1 1-118-64894-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Contents; Introduction; Part 1. Prolog: Optimizing Compilation; Chapter 1. On The Decidability Of Phase Ordering In Optimizing Compilation; 1.1. Introduction to the phase ordering problem; 1.2. Background on phase ordering; 1.2.1. Performance modeling and prediction; 1.2.2. Some attempts in phase ordering; 1.3. Toward a theoretical model for the phase ordering problem; 1.3.1. Decidability results; 1.3.2. Another formulation of the phase ordering problem; 1.4. Examples of decidable simplified cases; 1.4.1. Models with compilation costs
1.4.2. One-pass generative compilers1.5. Compiler optimization parameter space exploration; 1.5.1. Toward a theoretical model; 1.5.2. Examples of simplified decidable cases; 1.6. Conclusion on phase ordering in optimizing compilation; Part 2. Instruction Scheduling; Chapter 2. Instruction Scheduling Problems And Overview; 2.1. VLIW instruction scheduling problems; 2.1.1. Instruction scheduling and register allocation in a code generator; 2.1.2. The block and pipeline VLIW instruction scheduling problems; 2.2. Software pipelining; 2.2.1. Cyclic, periodic and pipeline scheduling problems 2.2.2. Modulo instruction scheduling problems and techniques2.3. Instruction scheduling and register allocation; 2.3.1. Register instruction scheduling problem solving approaches; Chapter 3. Applications Of Machine Scheduling To Instruction Scheduling; 3.1. Advances in machine scheduling; 3.1.1. Parallel machine scheduling problems; 3.1.2. Parallel machine scheduling extensions and relaxations; 3.2. List scheduling algorithms; 3.2.1. List scheduling algorithms and list scheduling priorities; 3.2.2. The scheduling algorithm of Leung, Palem and Pnueli 3.3. Time-indexed scheduling problem formulations3.3.1. The non-preemptive time-indexed RCPSP formulation; 3.3.2. Time-indexed formulation for the modulo RPISP; Chapter 4. Instruction Scheduling Before Register Allocation; 4.1. Instruction scheduling for an ILP processor: case of a VLIW architecture; 4.1.1. Minimum cumulative register lifetime modulo scheduling; 4.1.2. Resource modeling in instruction scheduling problems; 4.1.3. The modulo insertion scheduling theorems; 4.1.4. Insertion scheduling in a backend compiler 4.1.5. Example of an industrial production compiler from STMicroelectronics4.1.6. Time-indexed formulation of the modulo RCISP; 4.2. Large neighborhood search for the resource-constrained modulo scheduling problem; 4.3. Resource-constrained modulo scheduling problem; 4.3.1. Resource-constrained cyclic scheduling problems; 4.3.2. Resource-constrained modulo scheduling problem statement; 4.3.3. Solving resource-constrained modulo scheduling problems; 4.4. Time-indexed integer programming formulations; 4.4.1. The non-preemptive time-indexed RCPSP formulation 4.4.2. The classic modulo scheduling integer programming formulation |
| Record Nr. | UNINA-9910132198403321 |
|
Touati Sid
|
||
| London ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced backend code optimization / / Sid Touati, Benoit Dupont de Dinechin
| Advanced backend code optimization / / Sid Touati, Benoit Dupont de Dinechin |
| Autore | Touati Sid |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | London ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2014 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina | 004.24 |
| Collana | Computer Engineering Series |
| Soggetto topico | Compilers (Computer programs) |
| ISBN |
1-118-62544-7
1-118-64895-1 1-118-64894-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Contents; Introduction; Part 1. Prolog: Optimizing Compilation; Chapter 1. On The Decidability Of Phase Ordering In Optimizing Compilation; 1.1. Introduction to the phase ordering problem; 1.2. Background on phase ordering; 1.2.1. Performance modeling and prediction; 1.2.2. Some attempts in phase ordering; 1.3. Toward a theoretical model for the phase ordering problem; 1.3.1. Decidability results; 1.3.2. Another formulation of the phase ordering problem; 1.4. Examples of decidable simplified cases; 1.4.1. Models with compilation costs
1.4.2. One-pass generative compilers1.5. Compiler optimization parameter space exploration; 1.5.1. Toward a theoretical model; 1.5.2. Examples of simplified decidable cases; 1.6. Conclusion on phase ordering in optimizing compilation; Part 2. Instruction Scheduling; Chapter 2. Instruction Scheduling Problems And Overview; 2.1. VLIW instruction scheduling problems; 2.1.1. Instruction scheduling and register allocation in a code generator; 2.1.2. The block and pipeline VLIW instruction scheduling problems; 2.2. Software pipelining; 2.2.1. Cyclic, periodic and pipeline scheduling problems 2.2.2. Modulo instruction scheduling problems and techniques2.3. Instruction scheduling and register allocation; 2.3.1. Register instruction scheduling problem solving approaches; Chapter 3. Applications Of Machine Scheduling To Instruction Scheduling; 3.1. Advances in machine scheduling; 3.1.1. Parallel machine scheduling problems; 3.1.2. Parallel machine scheduling extensions and relaxations; 3.2. List scheduling algorithms; 3.2.1. List scheduling algorithms and list scheduling priorities; 3.2.2. The scheduling algorithm of Leung, Palem and Pnueli 3.3. Time-indexed scheduling problem formulations3.3.1. The non-preemptive time-indexed RCPSP formulation; 3.3.2. Time-indexed formulation for the modulo RPISP; Chapter 4. Instruction Scheduling Before Register Allocation; 4.1. Instruction scheduling for an ILP processor: case of a VLIW architecture; 4.1.1. Minimum cumulative register lifetime modulo scheduling; 4.1.2. Resource modeling in instruction scheduling problems; 4.1.3. The modulo insertion scheduling theorems; 4.1.4. Insertion scheduling in a backend compiler 4.1.5. Example of an industrial production compiler from STMicroelectronics4.1.6. Time-indexed formulation of the modulo RCISP; 4.2. Large neighborhood search for the resource-constrained modulo scheduling problem; 4.3. Resource-constrained modulo scheduling problem; 4.3.1. Resource-constrained cyclic scheduling problems; 4.3.2. Resource-constrained modulo scheduling problem statement; 4.3.3. Solving resource-constrained modulo scheduling problems; 4.4. Time-indexed integer programming formulations; 4.4.1. The non-preemptive time-indexed RCPSP formulation 4.4.2. The classic modulo scheduling integer programming formulation |
| Record Nr. | UNINA-9910814716003321 |
|
Touati Sid
|
||
| London ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani
| Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani |
| Autore | Gelenbe E. <1945-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | London, : Imperial College Press, c2010 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | MitraniI |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Electronic digital computers - Evaluation
Queuing theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-75992-2
9786612759925 1-84816-396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface to the Second Edition; Contents; 1. Basic Tools of Probabilistic Modelling; 2. The Queue with Server of Walking Type and Its Applications to Computer System Modelling; 3. Queuing Network Models; 4. Queuing Networks with Multiple Classes of Positive and Negative Customers and Product Form Solution; 5. Markov-Modulated Queues; 6. Diffusion Approximation Methods for General Queuing Networks; 7. Approximate Decomposition and Iterative Techniques for Closed Model Solution; 8. Synthesis Problems in Single-Resource Systems: Characterisation and Control of Achievable Performance
9. Control of Performance in Multiple-Resource Systems 10. A Queue with Server of Walking Type; Index |
| Record Nr. | UNINA-9910456123803321 |
|
Gelenbe E. <1945->
|
||
| London, : Imperial College Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani
| Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani |
| Autore | Gelenbe E. <1945-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | London, : Imperial College Press, c2010 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | MitraniI |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Electronic digital computers - Evaluation
Queuing theory |
| ISBN |
1-282-75992-2
9786612759925 1-84816-396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface to the Second Edition; Contents; 1. Basic Tools of Probabilistic Modelling; 2. The Queue with Server of Walking Type and Its Applications to Computer System Modelling; 3. Queuing Network Models; 4. Queuing Networks with Multiple Classes of Positive and Negative Customers and Product Form Solution; 5. Markov-Modulated Queues; 6. Diffusion Approximation Methods for General Queuing Networks; 7. Approximate Decomposition and Iterative Techniques for Closed Model Solution; 8. Synthesis Problems in Single-Resource Systems: Characterisation and Control of Achievable Performance
9. Control of Performance in Multiple-Resource Systems 10. A Queue with Server of Walking Type; Index |
| Record Nr. | UNINA-9910780880803321 |
|
Gelenbe E. <1945->
|
||
| London, : Imperial College Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani
| Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani |
| Autore | Gelenbe E. <1945-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | London, : Imperial College Press, c2010 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | MitraniI |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Electronic digital computers - Evaluation
Queuing theory |
| ISBN |
1-282-75992-2
9786612759925 1-84816-396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface to the Second Edition; Contents; 1. Basic Tools of Probabilistic Modelling; 2. The Queue with Server of Walking Type and Its Applications to Computer System Modelling; 3. Queuing Network Models; 4. Queuing Networks with Multiple Classes of Positive and Negative Customers and Product Form Solution; 5. Markov-Modulated Queues; 6. Diffusion Approximation Methods for General Queuing Networks; 7. Approximate Decomposition and Iterative Techniques for Closed Model Solution; 8. Synthesis Problems in Single-Resource Systems: Characterisation and Control of Achievable Performance
9. Control of Performance in Multiple-Resource Systems 10. A Queue with Server of Walking Type; Index |
| Record Nr. | UNINA-9910809103903321 |
|
Gelenbe E. <1945->
|
||
| London, : Imperial College Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cacti 0.8 [[electronic resource] ] : beginner's guide : learn Cacti and design a robust network operations center / / Thomas Urban
| Cacti 0.8 [[electronic resource] ] : beginner's guide : learn Cacti and design a robust network operations center / / Thomas Urban |
| Autore | Urban Thomas |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Olton, Birmingham, : Packt Pub. Ltd., 2011 |
| Descrizione fisica | 1 online resource (571 p.) |
| Disciplina |
004.24
005.8 |
| Soggetto topico | Computer graphics |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-37674-1
9786613376749 1-84951-393-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cacti 0.8; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Support files, eBooks, discount offers and more; Why Subscribe?; Free Access for Packt account holders; Preface; What is Cacti?; System architecture of Cacti; Cacti is more than performance measurement; What this book covers; What you need for this book; Who this book is for; Conventions; Time for action - heading; What just happened?; Pop quiz - heading; Have a go hero - heading; Reader feedback; Customer support; Errata; Piracy; Questions; 1. Installing Cacti; Preparing the system-basic prerequisites
Web serverPHP; MySQL database; NET-SNMP package; Installing Cacti on a CentOS 5 system; Preparing the system; Time for action - installing the missing packages; What just happened?; Downloading and extracting Cacti; Time for action - downloading Cacti; What just happened?; Creating the database; Time for action - creating the database; What just happened?; Configuring Cacti; Time for action - configuring Cacti; What just happened?; Creating the poller cron entry and Cacti's system user; Time for action - creating the poller's cron entry and Cacti's system account; What just happened? Installing the Spine pollerTime for action - installing Spine; What just happened?; Differences between source and APT/Yum installations; Have a go hero - remote server for database hosting; Installing Cacti on a Windows system; The community-built Windows Installer; Time for action - starting the Windows setup; What just happened?; Installing the Spine poller under Windows; Upgrading Cacti; Time for action - upgrading Cacti; What just happened?; Using Cacti for the first time; Time for action - configuring Cacti; What just happened?; The Cacti web interface explained; The Console tab Create sectionManagement section; Collection methods section; Templates section; Import/export section; Configuration section; Utilities section; The Graphs tab; Before we continue; Pop quiz - a few questions about Chapter 1; Summary; 2. Using Graphs to Monitor Networks and Devices; An introduction to Cacti graphs and the RRDtool; Creating graphs with the RRDtool; Basic RRDtool graph creation; Advanced RRDtool graph creation; Adding a label and title to the graph; Adding a legend to the graph; Adding a threshold line to the graph; Adding threshold breaches to the graph; Further reading Have a go hero - creating a yellow warning areaAdding devices to Cacti; Creating a device; Time for action - creating a new device in Cacti; What just happened?; Selecting host templates for the device; Time for action - adding a host template to the device; What just happened?; Adding graphs to the device; Time for action - adding graphs to the device; What just happened?; Adding interface graphs to a device; Time for action - adding interface graphs to a device; What just happened?; Adding devices to the Cacti tree; Creating a tree; Time for action - creating a Cacti tree What just happened? |
| Record Nr. | UNINA-9910460202703321 |
|
Urban Thomas
|
||
| Olton, Birmingham, : Packt Pub. Ltd., 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cacti 0.8 [[electronic resource] ] : beginner's guide : learn Cacti and design a robust network operations center / / Thomas Urban
| Cacti 0.8 [[electronic resource] ] : beginner's guide : learn Cacti and design a robust network operations center / / Thomas Urban |
| Autore | Urban Thomas |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Olton, Birmingham, : Packt Pub. Ltd., 2011 |
| Descrizione fisica | 1 online resource (571 p.) |
| Disciplina |
004.24
005.8 |
| Soggetto topico | Computer graphics |
| ISBN |
1-283-37674-1
9786613376749 1-84951-393-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cacti 0.8; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Support files, eBooks, discount offers and more; Why Subscribe?; Free Access for Packt account holders; Preface; What is Cacti?; System architecture of Cacti; Cacti is more than performance measurement; What this book covers; What you need for this book; Who this book is for; Conventions; Time for action - heading; What just happened?; Pop quiz - heading; Have a go hero - heading; Reader feedback; Customer support; Errata; Piracy; Questions; 1. Installing Cacti; Preparing the system-basic prerequisites
Web serverPHP; MySQL database; NET-SNMP package; Installing Cacti on a CentOS 5 system; Preparing the system; Time for action - installing the missing packages; What just happened?; Downloading and extracting Cacti; Time for action - downloading Cacti; What just happened?; Creating the database; Time for action - creating the database; What just happened?; Configuring Cacti; Time for action - configuring Cacti; What just happened?; Creating the poller cron entry and Cacti's system user; Time for action - creating the poller's cron entry and Cacti's system account; What just happened? Installing the Spine pollerTime for action - installing Spine; What just happened?; Differences between source and APT/Yum installations; Have a go hero - remote server for database hosting; Installing Cacti on a Windows system; The community-built Windows Installer; Time for action - starting the Windows setup; What just happened?; Installing the Spine poller under Windows; Upgrading Cacti; Time for action - upgrading Cacti; What just happened?; Using Cacti for the first time; Time for action - configuring Cacti; What just happened?; The Cacti web interface explained; The Console tab Create sectionManagement section; Collection methods section; Templates section; Import/export section; Configuration section; Utilities section; The Graphs tab; Before we continue; Pop quiz - a few questions about Chapter 1; Summary; 2. Using Graphs to Monitor Networks and Devices; An introduction to Cacti graphs and the RRDtool; Creating graphs with the RRDtool; Basic RRDtool graph creation; Advanced RRDtool graph creation; Adding a label and title to the graph; Adding a legend to the graph; Adding a threshold line to the graph; Adding threshold breaches to the graph; Further reading Have a go hero - creating a yellow warning areaAdding devices to Cacti; Creating a device; Time for action - creating a new device in Cacti; What just happened?; Selecting host templates for the device; Time for action - adding a host template to the device; What just happened?; Adding graphs to the device; Time for action - adding graphs to the device; What just happened?; Adding interface graphs to a device; Time for action - adding interface graphs to a device; What just happened?; Adding devices to the Cacti tree; Creating a tree; Time for action - creating a Cacti tree What just happened? |
| Record Nr. | UNINA-9910789610203321 |
|
Urban Thomas
|
||
| Olton, Birmingham, : Packt Pub. Ltd., 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
