Publications related to Constraint Based System-Level Diagnosis of Multiprocessors

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

As large-scale theft of data from corporate servers is becoming increasingly common, it becomes interesting to examine alternatives to the paradigm of centralizing sensitive data into large databases. Instead, one could use cryptography and distributed com ...

AI Access Foundation2013

A Multipath Sparse Beamfroming Method

Hervé Bourlard, Volkan Cevher, Afsaneh Asaei

A novel formulation of beamforming is proposed for acquisition of the signals in reverberant acoustic clutter of interferences and noise. We derive the beamforming methods which incorporate the sparsity structure pertained to the acoustic source distributi ...

2013

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

2012

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

ACM Order Department, P O Box 64145, Baltimore, MD 21264 Usa2012

Stochastic Model Predictive Control: Controlling the Average Number of Constraint Violations

Colin Neil Jones, Milan Korda

This paper considers linear discrete-time systems with additive bounded disturbances subject to hard control input bounds and constraints on the expected number of state-constraint violations averaged over time, or, equivalently, constraints on the probabi ...

2012

Multi-objective optimization of regenerator placement using Constraint Programming

Sébastien Rumley, Christian Gaumier

In translucent optical networks, connections bypass most intermediate nodes transparently. However, their signal quality is affected by the traveled distance and/or the bypass operations. Hence, they might require optical-electrical-optical conversions at ...

2011

Input Filter Design for Feasibility in Constraint-Adaptation Schemes

Dominique Bonvin, Grégory François, Gene Bunin

The subject of real-time, steady-state optimization under significant uncertainty is addressed in this paper. Specifically, the use of constraint-adaptation schemes is reviewed, and it is shown that, in general, such schemes cannot guarantee process feasib ...

2011

MDD propagators with explanation

Radoslaw Szymanek

Multi-valued decision diagrams (MDDs) are a convenient approach to representing many kinds of constraints including table constraints, regular constraints, complex set and multiset constraints, as well as ad-hoc problem specific constraints. This paper int ...

2011

NxN Coupling Matrix Synthesis of Dissipative Microwave Filters

Michael Mattes, Francisco Edén Sorolla Rosario, Diego Navarro Tapia

In this communication, the coupling matrix synthesis of dissipative microwave filters is analyzed and compared to the synthesis of lossless filters. A modified definition of the vector matrix product allows using the same synthesis procedure in both cases. ...

2011

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 ...

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

Constraint Based System-Level Diagnosis of Multiprocessors

Graph Chatbot

Chat with Graph Search

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

A Multipath Sparse Beamfroming Method

Constraints as Control

Constraints as Control

Stochastic Model Predictive Control: Controlling the Average Number of Constraint Violations

Multi-objective optimization of regenerator placement using Constraint Programming

Input Filter Design for Feasibility in Constraint-Adaptation Schemes

MDD propagators with explanation

NxN Coupling Matrix Synthesis of Dissipative Microwave Filters

Ordered Sets in the Calculus of Data Structures

Multi-objective optimization of regenerator placement using Constraint Programming

Input Filter Design for Feasibility in Constraint-Adaptation Schemes

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

MDD propagators with explanation

NxN Coupling Matrix Synthesis of Dissipative Microwave Filters

Constraints as Control

Constraints as Control

A Multipath Sparse Beamfroming Method

Stochastic Model Predictive Control: Controlling the Average Number of Constraint Violations

Ordered Sets in the Calculus of Data Structures