Cover Image

Probabilistic Interval Analysis of Unreliable Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Das, Dibyendu, Dey, Soumyajit
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Discrete Mathematics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Theory of Conversion Relations for Prefixed Units of Measure
by: Widemann, Baltasar Trancón y, et al.
Published: (2022)

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

The Unreliable Job Selection and Sequencing Problem
by: Agnetis, Alessandro, et al.
Published: (2025)

Mixed Unit Interval Bigraphs : A Characterization
by: Das, Ashok Kumar, et al.
Published: (2026)

Search for an Immobile Hider on a Binary Tree with Unreliable Locational Information
by: Alpern, Steve, et al.
Published: (2023)

Interval Posets and Polygon Dissections
by: Bagno, Eli, et al.
Published: (2024)

Coloring and Recognizing Directed Interval Graphs
by: Gutowski, Grzegorz, et al.
Published: (2023)

Coloring Mixed and Directional Interval Graphs
by: Gutowski, Grzegorz, et al.
Published: (2022)

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

Probabilistic Methods on Erdos Problems
by: Gilbert, Jesse
Published: (2011)

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

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
by: Zaiser, Fabian, et al.
Published: (2024)

Automatic question generation for propositional logical equivalences
by: Yang, Yicheng, et al.
Published: (2024)

Linear Search with Probabilistic Detection and Variable Speeds
by: Coleman, Jared, et al.
Published: (2025)

Multipacking and broadcast domination on cactus graph and its impact on hyperbolic graph
by: Das, Sandip, et al.
Published: (2023)

An Integer Linear Program for Periodic Scheduling in Universities
by: Moradi, Sina
Published: (2024)

On the Complexity of Hop Domination and 2-Step Domination in Graph Classes
by: Das, Sandip, et al.
Published: (2026)

Parameterized complexity of $r$-Hop, $r$-Step, and $r$-Hop Roman Domination
by: Das, Sandip, et al.
Published: (2026)

On arc-density of pushably $3$-critical oriented graphs
by: Das, Tapas, et al.
Published: (2025)

Growth Rate of the Number of Empty Triangles in the Plane
by: Bhattacharya, Bhaswar B., et al.
Published: (2024)

Monitoring arc-geodetic sets of oriented graphs
by: Das, Tapas, et al.
Published: (2024)

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

On the Cop Number of String Graphs
by: Das, Sandip, et al.
Published: (2024)

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

On Patterns and Languages in 1-11-Representations of Graphs
by: Das, Biswajit, et al.
Published: (2026)

p-complete square-free Word-representation of Word-representable Graphs
by: Das, Biswajit, et al.
Published: (2025)

Representation number of word-representable co-bipartite graph
by: Das, Biswajit, et al.
Published: (2025)

Online Coloring of Short Intervals
by: Chybowska-Sokół, Joanna, et al.
Published: (2018)

A New Notion of Regularity: Finite State Automata Accepting Graphs
by: Meeres, Yvo Ad
Published: (2024)

Reducibility among NP-Hard graph problems and boundary classes
by: Hassan, Syed Mujtaba, et al.
Published: (2024)

Counting Polyominoes in a Rectangle b x h
by: Marin, Louis
Published: (2024)

Differential Tree Automata
by: Manssour, Rida Ait El, et al.
Published: (2024)

Self-descriptive Sequences directed by two Periodic Sequences
by: Akiyama, Shigeki, et al.
Published: (2024)

Modular Decomposition of Hierarchical Finite State Machines
by: Biggar, Oliver, et al.
Published: (2021)

Decidability and Characterization of Expansivity for Group Cellular Automata
by: Castronuovo, Niccolo', et al.
Published: (2025)

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

A Divide and Conquer Algorithm for Deciding Group Cellular Automata Dynamics
by: Castronuovo, Niccolo', et al.
Published: (2025)

Persistent Permutability in Choice Petri Nets
by: Best, Eike, et al.
Published: (2026)

Obstruction characterization of co-TT graphs
by: Das, Ashok Kumar, et al.
Published: (2023)

On powers of circular arc graphs
by: Das, Ashok Kumar, et al.
Published: (2022)