| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996546854703316 |
|
|
Titolo |
Implementation and Application of Automata [[electronic resource] ] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / / edited by Benedek Nagy |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (313 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 14151 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Artificial intelligence |
Information storage and retrieval systems |
Algorithms |
Computer science - Mathematics |
Discrete mathematics |
Theory of Computation |
Computer Science Logic and Foundations of Programming |
Artificial Intelligence |
Information Storage and Retrieval |
Discrete Mathematics in Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Finite automata as verifiers -- Binary Coded Unary Regular Languages -- A Survey on Automata with Translucent Letters -- Earliest Query Answering for Deterministic Stepwise Hedge Automata -- Constrained Multi-Tildes -- On the smallest synchronizing terms of finite tree automata -- Universal First-Order Quantification over Automata -- Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions -- Sweep complexity revisited -- The Pumping Lemma for Regular Languages is Hard -- M-equivalence of Parikh Matrix over a Ternary Alphabet -- Operational Complexity in Subregular Classes -- When Is Context-Freeness Distinguishable from Regularity? An Extension of Parikh's Theorem -- Enhanced Ternary Fibonacci Codes -- |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sweeping Input-Driven Pushdown Automata -- Verified Verifying: SMT-LIB for Strings in Isabelle -- Weighted Bottom-up and Top-down Tree Transformations Are Incomparable -- Deciding whether an Attributed Translation can be realized by a Top-Down Transducer -- A time to cast away stones -- Two-way Machines and de Bruijn Words -- Transduction of Automatic Sequences and Applications -- Measuring Power of Generalised Definite Languages -- Smaller Representation of Compiled Regular Expressions. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19–22, 2023. The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910427670503321 |
|
|
Titolo |
Job Scheduling Strategies for Parallel Processing : 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers / / edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 163 p. 77 illus., 45 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12326 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer engineering |
Computer networks |
Microprogramming |
Computer input-output equipment |
Artificial intelligence |
Software Engineering |
Computer Engineering and Networks |
Control Structures and Microprogramming |
Input/Output and Data Communications |
Artificial Intelligence |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Towards Interference-aware Dynamic Scheduling in Virtualized Environments -- Towards Hybrid Isolation for Shared Multicore Systems -- Improving Resource Isolation of Critical Tasks in a Workload -- Optimizing Biomedical Ultrasound Workflow Scheduling Using Cluster Simulations -- Evaluating Controlled Memory Request Injection to Counter PREM Memory Underutilization -- Accelerating 3-way Epistasis Detection with CPU+GPU processing -- Walltime Prediction and its Impact on Job Scheduling Performance and Predictability -- PDAWL: Profile-based Iterative Dynamic Adaptive WorkLoad Balance on Heterogeneous Architectures. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2020, held in New Orleans, LA, USA, in May 2020.* The 6 revised full papers presented were carefully reviewed and selected from 8 submissions. In addition to this, one invited paper and one keynote pare were included in the workshop. The papers cover topics within the fields of resource management and scheduling. They focus on several interesting problems such as resource contention and workload interference, new scheduling policy, scheduling ultrasound simulation workflows, and walltime prediction. * The conference was held virtually due to the COVID-19 pandemic. |
|
|
|
|
|
|
|
| |