Copertina

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Pham, Long, Hoffmann, Jan
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Programming Languages Distributed, Parallel, and Cluster Computing Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
di: Yao, Shucai, et al.
Pubblicazione: (2025)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
di: Shapiro, Ehud
Pubblicazione: (2025)

Proceedings 18th Interaction and Concurrency Experience
di: Aubert, Clément, et al.
Pubblicazione: (2025)

Proceedings 17th Interaction and Concurrency Experience
di: Aubert, Clément, et al.
Pubblicazione: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
di: Yanakieva, Elena, et al.
Pubblicazione: (2026)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
di: Agarwal, Shubham, et al.
Pubblicazione: (2026)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
di: Mathur, Umang, et al.
Pubblicazione: (2022)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
di: Esterhuyse, Christopher A., et al.
Pubblicazione: (2025)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
di: Ambal, Guillaume, et al.
Pubblicazione: (2025)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
di: Shapiro, Ehud
Pubblicazione: (2026)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
di: Schreiber, Dominik
Pubblicazione: (2025)

Types for Grassroots Logic Programs
di: Shapiro, Ehud
Pubblicazione: (2026)

Deciding Serializability in Network Systems
di: Amir, Guy, et al.
Pubblicazione: (2026)

Fair Mutual Exclusion for N Processes (extended version)
di: Hafidi, Yousra, et al.
Pubblicazione: (2021)

A Note on an Inferentialist Approach to Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Concurrent Data Structures Made Easy (Extended Version)
di: Le, Callista, et al.
Pubblicazione: (2024)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
di: Schultz, William, et al.
Pubblicazione: (2024)

Bisimulation for Impure Simplicial Complexes
di: Bílková, Marta, et al.
Pubblicazione: (2024)

Self-Correcting Gossip Protocols
di: Cignarale, Giorgio, et al.
Pubblicazione: (2026)

Application Placement with Constraint Relaxation
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

Distributed Knowledge in Simplicial Models
di: Goubault, Éric, et al.
Pubblicazione: (2026)

A categorical and logical framework for iterated protocols
di: Goubault, Eric, et al.
Pubblicazione: (2025)

Complexity of Verification and Synthesis of Threshold Automata
di: Balasubramanian, A. R., et al.
Pubblicazione: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
di: Bartl, Lukas, et al.
Pubblicazione: (2025)

Impure Simplicial Complexes: Complete Axiomatization
di: Randrianomentsoa, Rojo, et al.
Pubblicazione: (2022)

Verifying the Hashgraph Consensus Algorithm
di: Crary, Karl
Pubblicazione: (2021)

Knowledge and simplicial complexes
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2020)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
di: Borrill, Paul
Pubblicazione: (2026)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
di: Altisen, Karine, et al.
Pubblicazione: (2025)

Regular Model Checking Upside-Down: An Invariant-Based Approach
di: Esparza, Javier, et al.
Pubblicazione: (2022)

Modelling the Raft Distributed Consensus Protocol in mCRL2
di: Bora, Parth, et al.
Pubblicazione: (2024)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
di: Singh, Ajay, et al.
Pubblicazione: (2025)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
di: Brandt, Sebastian, et al.
Pubblicazione: (2022)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
di: Guillou, Lucie, et al.
Pubblicazione: (2023)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
di: Coget, Isabelle, et al.
Pubblicazione: (2026)

VerIso: Verifiable Isolation Guarantees for Database Transactions
di: Ghasemirad, Shabnam, et al.
Pubblicazione: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
di: Cignarale, Giorgio, et al.
Pubblicazione: (2025)

From descriptive to distributed
di: Grebík, Jan, et al.
Pubblicazione: (2025)

On the Duality of Task and Actor Programming Models
di: Yadav, Rohan, et al.
Pubblicazione: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
di: Martins, Eduardo M., et al.
Pubblicazione: (2025)