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.
Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors
| Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (398 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Petri nets |
| ISBN | 3-031-06653-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478872203316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors
| Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (398 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Petri nets |
| ISBN | 3-031-06653-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910574859703321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany / / Bernd-Holger Schlingloff, Thomas Vogel, and Andrzej Skowron, editors
| Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany / / Bernd-Holger Schlingloff, Thomas Vogel, and Andrzej Skowron, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (234 pages) |
| Disciplina | 005.2 |
| Collana | Studies in Computational Intelligence Series |
| Soggetto topico |
Computer programming
Computer multitasking |
| ISBN | 3-031-26651-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Natural Language Processing for Requirements Formalization: How to Derive New Approaches? -- Left Recursion by Recursive Ascent -- An Example of Computation in Interactive Granular Computing -- Extended Future in Testing Semantics for Time Petri Nets -- Toward Recommender Systems Scalability and Efficacy. |
| Record Nr. | UNINA-9910720064603321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hands-on concurrency with Rust : confidently build memory-safe, parallel, and efficient software in Rust / / Brian L. Troutwine
| Hands-on concurrency with Rust : confidently build memory-safe, parallel, and efficient software in Rust / / Brian L. Troutwine |
| Autore | Troutwine Brian L. |
| Pubbl/distr/stampa | Birmingham, UK : , : Packt Publishing, , 2018 |
| Descrizione fisica | 1 online resource (1 volume) : illustrations |
| Soggetto topico |
Application software - Development
Computer multitasking Programming languages (Electronic computers) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-78847-835-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910466618703321 |
Troutwine Brian L.
|
||
| Birmingham, UK : , : Packt Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hands-on concurrency with Rust : confidently build memory-safe, parallel, and efficient software in Rust / / Brian L. Troutwine
| Hands-on concurrency with Rust : confidently build memory-safe, parallel, and efficient software in Rust / / Brian L. Troutwine |
| Autore | Troutwine Brian L. |
| Pubbl/distr/stampa | Birmingham, UK : , : Packt Publishing, , 2018 |
| Descrizione fisica | 1 online resource (1 volume) : illustrations |
| Soggetto topico |
Application software - Development
Computer multitasking Programming languages (Electronic computers) |
| ISBN | 1-78847-835-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910796825603321 |
|
Troutwine Brian L.
|
||
| Birmingham, UK : , : Packt Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hands-on concurrency with Rust : confidently build memory-safe, parallel, and efficient software in Rust / / Brian L. Troutwine
| Hands-on concurrency with Rust : confidently build memory-safe, parallel, and efficient software in Rust / / Brian L. Troutwine |
| Autore | Troutwine Brian L. |
| Pubbl/distr/stampa | Birmingham, UK : , : Packt Publishing, , 2018 |
| Descrizione fisica | 1 online resource (1 volume) : illustrations |
| Soggetto topico |
Application software - Development
Computer multitasking Programming languages (Electronic computers) |
| ISBN | 1-78847-835-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910812061403321 |
|
Troutwine Brian L.
|
||
| Birmingham, UK : , : Packt Publishing, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern concurrency on apple platforms : using async/await with swift / / Andrés Ibañez Kautsch
| Modern concurrency on apple platforms : using async/await with swift / / Andrés Ibañez Kautsch |
| Autore | Kautsch Andrés Ibañez |
| Pubbl/distr/stampa | Berkeley, California : , : Apress, , [2022] |
| Descrizione fisica | 1 online resource (213 pages) |
| Disciplina | 005.3 |
| Soggetto topico |
Swift (Computer program language)
Application program interfaces (Computer software) Application software - Development Computer multitasking |
| ISBN | 1-4842-8695-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Introduction to Concurrency -- Chapter 2: Async/Await Basics -- Chapter 3: Introducing Structured Concurrency -- Chapter 4: The Task Tree -- Chapter 5: Task Groups -- Chapter 6: Unstructured Concurrency -- Chapter 7: Actors and Global Actors -- Chapter 8: Final Bits -- Chapter 9: AsyncSequence -- Chapter 10: @TaskLocal. |
| Record Nr. | UNINA-9910733719503321 |
|
Kautsch Andrés Ibañez
|
||
| Berkeley, California : , : Apress, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Task scheduling for parallel systems [[electronic resource] /] / Oliver Sinnen
| Task scheduling for parallel systems [[electronic resource] /] / Oliver Sinnen |
| Autore | Sinnen Oliver <1971-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2007 |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina |
004.35
004/.35 |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer multitasking Computer scheduling |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-90109-8
9786610901098 0-470-12117-3 0-470-12116-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
TASK SCHEDULING FOR PARALLEL SYSTEMS; CONTENTS; Preface; Acknowledgments; 1. Introduction; 1.1 Overview; 1.2 Organization; 2. Parallel Systems and Programming; 2.1 Parallel Architectures; 2.1.1 Flynn's Taxonomy; 2.1.2 Memory Architectures; 2.1.3 Programming Paradigms and Models; 2.2 Communication Networks; 2.2.1 Static Networks; 2.2.2 Dynamic Networks; 2.3 Parallelization; 2.4 Subtask Decomposition; 2.4.1 Concurrency and Granularity; 2.4.2 Decomposition Techniques; 2.4.3 Computation Type and Program Formulation; 2.4.4 Parallelization Techniques; 2.4.5 Target Parallel System
2.5 Dependence Analysis2.5.1 Data Dependence; 2.5.2 Data Dependence in Loops; 2.5.3 Control Dependence; 2.6 Concluding Remarks; 2.7 Exercises; 3. Graph Representations; 3.1 Basic Graph Concepts; 3.1.1 Computer Representation of Graphs; 3.1.2 Elementary Graph Algorithms; 3.2 Graph as a Program Model; 3.2.1 Computation and Communication Costs; 3.2.2 Comparison Criteria; 3.3 Dependence Graph (DG); 3.3.1 Iteration Dependence Graph; 3.3.2 Summary; 3.4 Flow Graph (FG); 3.4.1 Data-Driven Execution Model; 3.4.2 Summary; 3.5 Task Graph (DAG); 3.5.1 Graph Transformations and Conversions 3.5.2 Motivations and Limitations3.5.3 Summary; 3.6 Concluding Remarks; 3.7 Exercises; 4. Task Scheduling; 4.1 Fundamentals; 4.2 With Communication Costs; 4.2.1 Schedule Example; 4.2.2 Scheduling Complexity; 4.3 Without Communication Costs; 4.3.1 Schedule Example; 4.3.2 Scheduling Complexity; 4.4 Task Graph Properties; 4.4.1 Critical Path; 4.4.2 Node Levels; 4.4.3 Granularity; 4.5 Concluding Remarks; 4.6 Exercises; 5. Fundamental Heuristics; 5.1 List Scheduling; 5.1.1 Start Time Minimization; 5.1.2 With Dynamic Priorities; 5.1.3 Node Priorities; 5.2 Scheduling with Given Processor Allocation 5.2.1 Phase Two5.3 Clustering; 5.3.1 Clustering Algorithms; 5.3.2 Linear Clustering; 5.3.3 Single Edge Clustering; 5.3.4 List Scheduling as Clustering; 5.3.5 Other Algorithms; 5.4 From Clustering to Scheduling; 5.4.1 Assigning Clusters to Processors; 5.4.2 Scheduling on Processors; 5.5 Concluding Remarks; 5.6 Exercises; 6. Advanced Task Scheduling; 6.1 Insertion Technique; 6.1.1 List Scheduling with Node Insertion; 6.2 Node Duplication; 6.2.1 Node Duplication Heuristics; 6.3 Heterogeneous Processors; 6.3.1 Scheduling; 6.4 Complexity Results; 6.4.1 α|β|γ Classification 6.4.2 Without Communication Costs6.4.3 With Communication Costs; 6.4.4 With Node Duplication; 6.4.5 Heterogeneous Processors; 6.5 Genetic Algorithms; 6.5.1 Basics; 6.5.2 Chromosomes; 6.5.3 Reproduction; 6.5.4 Selection, Complexity, and Flexibility; 6.6 Concluding Remarks; 6.7 Exercises; 7. Communication Contention in Scheduling; 7.1 Contention Awareness; 7.1.1 End-Point Contention; 7.1.2 Network Contention; 7.1.3 Integrating End-Point and Network Contention; 7.2 Network Model; 7.2.1 Topology Graph; 7.2.2 Routing; 7.2.3 Scheduling Network Model; 7.3 Edge Scheduling 7.3.1 Scheduling Edge on Route |
| Record Nr. | UNINA-9910143405503321 |
|
Sinnen Oliver <1971->
|
||
| Hoboken, N.J., : Wiley-Interscience, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Task scheduling for parallel systems [[electronic resource] /] / Oliver Sinnen
| Task scheduling for parallel systems [[electronic resource] /] / Oliver Sinnen |
| Autore | Sinnen Oliver <1971-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2007 |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina |
004.35
004/.35 |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer multitasking Computer scheduling |
| ISBN |
1-280-90109-8
9786610901098 0-470-12117-3 0-470-12116-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
TASK SCHEDULING FOR PARALLEL SYSTEMS; CONTENTS; Preface; Acknowledgments; 1. Introduction; 1.1 Overview; 1.2 Organization; 2. Parallel Systems and Programming; 2.1 Parallel Architectures; 2.1.1 Flynn's Taxonomy; 2.1.2 Memory Architectures; 2.1.3 Programming Paradigms and Models; 2.2 Communication Networks; 2.2.1 Static Networks; 2.2.2 Dynamic Networks; 2.3 Parallelization; 2.4 Subtask Decomposition; 2.4.1 Concurrency and Granularity; 2.4.2 Decomposition Techniques; 2.4.3 Computation Type and Program Formulation; 2.4.4 Parallelization Techniques; 2.4.5 Target Parallel System
2.5 Dependence Analysis2.5.1 Data Dependence; 2.5.2 Data Dependence in Loops; 2.5.3 Control Dependence; 2.6 Concluding Remarks; 2.7 Exercises; 3. Graph Representations; 3.1 Basic Graph Concepts; 3.1.1 Computer Representation of Graphs; 3.1.2 Elementary Graph Algorithms; 3.2 Graph as a Program Model; 3.2.1 Computation and Communication Costs; 3.2.2 Comparison Criteria; 3.3 Dependence Graph (DG); 3.3.1 Iteration Dependence Graph; 3.3.2 Summary; 3.4 Flow Graph (FG); 3.4.1 Data-Driven Execution Model; 3.4.2 Summary; 3.5 Task Graph (DAG); 3.5.1 Graph Transformations and Conversions 3.5.2 Motivations and Limitations3.5.3 Summary; 3.6 Concluding Remarks; 3.7 Exercises; 4. Task Scheduling; 4.1 Fundamentals; 4.2 With Communication Costs; 4.2.1 Schedule Example; 4.2.2 Scheduling Complexity; 4.3 Without Communication Costs; 4.3.1 Schedule Example; 4.3.2 Scheduling Complexity; 4.4 Task Graph Properties; 4.4.1 Critical Path; 4.4.2 Node Levels; 4.4.3 Granularity; 4.5 Concluding Remarks; 4.6 Exercises; 5. Fundamental Heuristics; 5.1 List Scheduling; 5.1.1 Start Time Minimization; 5.1.2 With Dynamic Priorities; 5.1.3 Node Priorities; 5.2 Scheduling with Given Processor Allocation 5.2.1 Phase Two5.3 Clustering; 5.3.1 Clustering Algorithms; 5.3.2 Linear Clustering; 5.3.3 Single Edge Clustering; 5.3.4 List Scheduling as Clustering; 5.3.5 Other Algorithms; 5.4 From Clustering to Scheduling; 5.4.1 Assigning Clusters to Processors; 5.4.2 Scheduling on Processors; 5.5 Concluding Remarks; 5.6 Exercises; 6. Advanced Task Scheduling; 6.1 Insertion Technique; 6.1.1 List Scheduling with Node Insertion; 6.2 Node Duplication; 6.2.1 Node Duplication Heuristics; 6.3 Heterogeneous Processors; 6.3.1 Scheduling; 6.4 Complexity Results; 6.4.1 α|β|γ Classification 6.4.2 Without Communication Costs6.4.3 With Communication Costs; 6.4.4 With Node Duplication; 6.4.5 Heterogeneous Processors; 6.5 Genetic Algorithms; 6.5.1 Basics; 6.5.2 Chromosomes; 6.5.3 Reproduction; 6.5.4 Selection, Complexity, and Flexibility; 6.6 Concluding Remarks; 6.7 Exercises; 7. Communication Contention in Scheduling; 7.1 Contention Awareness; 7.1.1 End-Point Contention; 7.1.2 Network Contention; 7.1.3 Integrating End-Point and Network Contention; 7.2 Network Model; 7.2.1 Topology Graph; 7.2.2 Routing; 7.2.3 Scheduling Network Model; 7.3 Edge Scheduling 7.3.1 Scheduling Edge on Route |
| Record Nr. | UNINA-9910830218803321 |
|
Sinnen Oliver <1971->
|
||
| Hoboken, N.J., : Wiley-Interscience, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Task scheduling for parallel systems [[electronic resource] /] / Oliver Sinnen
| Task scheduling for parallel systems [[electronic resource] /] / Oliver Sinnen |
| Autore | Sinnen Oliver <1971-> |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley-Interscience, c2007 |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina |
004.35
004/.35 |
| Collana | Wiley series on parallel and distributed computing |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer multitasking Computer scheduling |
| ISBN |
1-280-90109-8
9786610901098 0-470-12117-3 0-470-12116-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
TASK SCHEDULING FOR PARALLEL SYSTEMS; CONTENTS; Preface; Acknowledgments; 1. Introduction; 1.1 Overview; 1.2 Organization; 2. Parallel Systems and Programming; 2.1 Parallel Architectures; 2.1.1 Flynn's Taxonomy; 2.1.2 Memory Architectures; 2.1.3 Programming Paradigms and Models; 2.2 Communication Networks; 2.2.1 Static Networks; 2.2.2 Dynamic Networks; 2.3 Parallelization; 2.4 Subtask Decomposition; 2.4.1 Concurrency and Granularity; 2.4.2 Decomposition Techniques; 2.4.3 Computation Type and Program Formulation; 2.4.4 Parallelization Techniques; 2.4.5 Target Parallel System
2.5 Dependence Analysis2.5.1 Data Dependence; 2.5.2 Data Dependence in Loops; 2.5.3 Control Dependence; 2.6 Concluding Remarks; 2.7 Exercises; 3. Graph Representations; 3.1 Basic Graph Concepts; 3.1.1 Computer Representation of Graphs; 3.1.2 Elementary Graph Algorithms; 3.2 Graph as a Program Model; 3.2.1 Computation and Communication Costs; 3.2.2 Comparison Criteria; 3.3 Dependence Graph (DG); 3.3.1 Iteration Dependence Graph; 3.3.2 Summary; 3.4 Flow Graph (FG); 3.4.1 Data-Driven Execution Model; 3.4.2 Summary; 3.5 Task Graph (DAG); 3.5.1 Graph Transformations and Conversions 3.5.2 Motivations and Limitations3.5.3 Summary; 3.6 Concluding Remarks; 3.7 Exercises; 4. Task Scheduling; 4.1 Fundamentals; 4.2 With Communication Costs; 4.2.1 Schedule Example; 4.2.2 Scheduling Complexity; 4.3 Without Communication Costs; 4.3.1 Schedule Example; 4.3.2 Scheduling Complexity; 4.4 Task Graph Properties; 4.4.1 Critical Path; 4.4.2 Node Levels; 4.4.3 Granularity; 4.5 Concluding Remarks; 4.6 Exercises; 5. Fundamental Heuristics; 5.1 List Scheduling; 5.1.1 Start Time Minimization; 5.1.2 With Dynamic Priorities; 5.1.3 Node Priorities; 5.2 Scheduling with Given Processor Allocation 5.2.1 Phase Two5.3 Clustering; 5.3.1 Clustering Algorithms; 5.3.2 Linear Clustering; 5.3.3 Single Edge Clustering; 5.3.4 List Scheduling as Clustering; 5.3.5 Other Algorithms; 5.4 From Clustering to Scheduling; 5.4.1 Assigning Clusters to Processors; 5.4.2 Scheduling on Processors; 5.5 Concluding Remarks; 5.6 Exercises; 6. Advanced Task Scheduling; 6.1 Insertion Technique; 6.1.1 List Scheduling with Node Insertion; 6.2 Node Duplication; 6.2.1 Node Duplication Heuristics; 6.3 Heterogeneous Processors; 6.3.1 Scheduling; 6.4 Complexity Results; 6.4.1 α|β|γ Classification 6.4.2 Without Communication Costs6.4.3 With Communication Costs; 6.4.4 With Node Duplication; 6.4.5 Heterogeneous Processors; 6.5 Genetic Algorithms; 6.5.1 Basics; 6.5.2 Chromosomes; 6.5.3 Reproduction; 6.5.4 Selection, Complexity, and Flexibility; 6.6 Concluding Remarks; 6.7 Exercises; 7. Communication Contention in Scheduling; 7.1 Contention Awareness; 7.1.1 End-Point Contention; 7.1.2 Network Contention; 7.1.3 Integrating End-Point and Network Contention; 7.2 Network Model; 7.2.1 Topology Graph; 7.2.2 Routing; 7.2.3 Scheduling Network Model; 7.3 Edge Scheduling 7.3.1 Scheduling Edge on Route |
| Record Nr. | UNINA-9910840615303321 |
|
Sinnen Oliver <1971->
|
||
| Hoboken, N.J., : Wiley-Interscience, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
