Buchumschlag

Probabilistic Interval Analysis of Unreliable Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Das, Dibyendu, Dey, Soumyajit
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Discrete Mathematics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Theory of Conversion Relations for Prefixed Units of Measure
von: Widemann, Baltasar Trancón y, et al.
Veröffentlicht: (2022)

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
von: Bieniusa, Annette, et al.
Veröffentlicht: (2024)

The Unreliable Job Selection and Sequencing Problem
von: Agnetis, Alessandro, et al.
Veröffentlicht: (2025)

Mixed Unit Interval Bigraphs : A Characterization
von: Das, Ashok Kumar, et al.
Veröffentlicht: (2026)

Search for an Immobile Hider on a Binary Tree with Unreliable Locational Information
von: Alpern, Steve, et al.
Veröffentlicht: (2023)

Interval Posets and Polygon Dissections
von: Bagno, Eli, et al.
Veröffentlicht: (2024)

Coloring and Recognizing Directed Interval Graphs
von: Gutowski, Grzegorz, et al.
Veröffentlicht: (2023)

Coloring Mixed and Directional Interval Graphs
von: Gutowski, Grzegorz, et al.
Veröffentlicht: (2022)

Sequential composition of answer set programs
von: Antić, Christian
Veröffentlicht: (2021)

Probabilistic Methods on Erdos Problems
von: Gilbert, Jesse
Veröffentlicht: (2011)

Counting the minimum number of arcs in an oriented graph having weak diameter 2
von: Das, Sandip, et al.
Veröffentlicht: (2023)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
von: Zaiser, Fabian, et al.
Veröffentlicht: (2024)

Automatic question generation for propositional logical equivalences
von: Yang, Yicheng, et al.
Veröffentlicht: (2024)

Linear Search with Probabilistic Detection and Variable Speeds
von: Coleman, Jared, et al.
Veröffentlicht: (2025)

Multipacking and broadcast domination on cactus graph and its impact on hyperbolic graph
von: Das, Sandip, et al.
Veröffentlicht: (2023)

An Integer Linear Program for Periodic Scheduling in Universities
von: Moradi, Sina
Veröffentlicht: (2024)

On the Complexity of Hop Domination and 2-Step Domination in Graph Classes
von: Das, Sandip, et al.
Veröffentlicht: (2026)

Parameterized complexity of $r$-Hop, $r$-Step, and $r$-Hop Roman Domination
von: Das, Sandip, et al.
Veröffentlicht: (2026)

On arc-density of pushably $3$-critical oriented graphs
von: Das, Tapas, et al.
Veröffentlicht: (2025)

Growth Rate of the Number of Empty Triangles in the Plane
von: Bhattacharya, Bhaswar B., et al.
Veröffentlicht: (2024)

Monitoring arc-geodetic sets of oriented graphs
von: Das, Tapas, et al.
Veröffentlicht: (2024)

Unbounded length minimal synchronizing words for quantum channels over qutrits
von: Kjos-Hanssen, Bjørn, et al.
Veröffentlicht: (2026)

On the Cop Number of String Graphs
von: Das, Sandip, et al.
Veröffentlicht: (2024)

On Obtaining New MUBs by Finding Points on Complete Intersection Varieties over $\mathbb{R}$
von: Banerjee, Arindam, et al.
Veröffentlicht: (2025)

On Patterns and Languages in 1-11-Representations of Graphs
von: Das, Biswajit, et al.
Veröffentlicht: (2026)

p-complete square-free Word-representation of Word-representable Graphs
von: Das, Biswajit, et al.
Veröffentlicht: (2025)

Representation number of word-representable co-bipartite graph
von: Das, Biswajit, et al.
Veröffentlicht: (2025)

Online Coloring of Short Intervals
von: Chybowska-Sokół, Joanna, et al.
Veröffentlicht: (2018)

A New Notion of Regularity: Finite State Automata Accepting Graphs
von: Meeres, Yvo Ad
Veröffentlicht: (2024)

Reducibility among NP-Hard graph problems and boundary classes
von: Hassan, Syed Mujtaba, et al.
Veröffentlicht: (2024)

Counting Polyominoes in a Rectangle b x h
von: Marin, Louis
Veröffentlicht: (2024)

Differential Tree Automata
von: Manssour, Rida Ait El, et al.
Veröffentlicht: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
von: Akiyama, Shigeki, et al.
Veröffentlicht: (2024)

Modular Decomposition of Hierarchical Finite State Machines
von: Biggar, Oliver, et al.
Veröffentlicht: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
von: Castronuovo, Niccolo', et al.
Veröffentlicht: (2025)

Algebraic Characterization of Reversible First Degree Cellular Automata over $\mathbb{Z}_d$
von: J., Baby C., et al.
Veröffentlicht: (2026)

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
von: Castronuovo, Niccolo', et al.
Veröffentlicht: (2025)

Persistent Permutability in Choice Petri Nets
von: Best, Eike, et al.
Veröffentlicht: (2026)

Obstruction characterization of co-TT graphs
von: Das, Ashok Kumar, et al.
Veröffentlicht: (2023)

On powers of circular arc graphs
von: Das, Ashok Kumar, et al.
Veröffentlicht: (2022)