Publications associées à Constraint Based System-Level Diagnosis of Multiprocessors

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.

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

Boi Faltings, Thomas Léauté

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

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

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

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

Chattez avec 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

Protecting Privacy through Distributed Computation in Multi-agent Decision Making

Multi-objective optimization of regenerator placement using Constraint Programming

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

A Multipath Sparse Beamfroming Method

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

Constraints as Control

Constraints as Control