Publications associées à Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Moment Semantics for Reversible Rule-Based Systems

Sandro Stucki

We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the ‘no-dangling-edge’ con ...

Springer International Publishing2015

Majority Logic Representation and Satisfiability

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Majority logic is a powerful generalization of common AND/OR logic. Original two-level and multi-level logic networks can use majority operators as primitive connective, in place of AND/ORs. In such a way, Boolean functions have novel means for compact rep ...

2014

Generating Fast Indulgent Algorithms

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Synchronous distributed algorithms are easier to design and prove correct than algorithms that tolerate asynchrony. Yet, in the real world, networks experience asynchrony and other timing anomalies. In this paper, we address the question of how to efficien ...

Springer Verlag2012

A Dual Algorithm for $ L _{ 1 } $ -Regularized Reconstruction of Vector Fields

Michaël Unser, Emrah Bostan, Pouya Dehghani Tafti

Recent advances in vector-field imaging have brought to the forefront the need for efficient denoising and reconstruction algorithms that take the physical properties of vector fields into account and can be applied to large volumes of data. With these req ...

IEEE2012

Generating Fast Indulgent Algorithms

Rachid Guerraoui, Seth Gilbert, Dan Alistarh

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Building a Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...

Springer2010

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Graph Chatbot

Chattez avec Graph Search

Moment Semantics for Reversible Rule-Based Systems

Majority Logic Representation and Satisfiability

Algebraic algorithms for network information flow

Generating Fast Indulgent Algorithms

A Dual Algorithm for $ L _{ 1 } $ -Regularized Reconstruction of Vector Fields

Generating Fast Indulgent Algorithms

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Ordered Sets in the Calculus of Data Structures

Pre-Synthesis Optimization of Arithmetic Circuits

Building a Calculus of Data Structures

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Moment Semantics for Reversible Rule-Based Systems

Algebraic algorithms for network information flow

Generating Fast Indulgent Algorithms

Generating Fast Indulgent Algorithms

A Dual Algorithm for $ L _{ 1 } $ -Regularized Reconstruction of Vector Fields

Pre-Synthesis Optimization of Arithmetic Circuits

Ordered Sets in the Calculus of Data Structures

Building a Calculus of Data Structures

Majority Logic Representation and Satisfiability