Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « constraint »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
constrained < constraint < constraints  Facettes :

List of bibliographic references indexed by constraint

Number of relevant bibliographic references: 117.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
000563 (2015-04-28) Willy Ugarte Rojas [France] ; Patrice Boizumault [France] ; Bruno Crémilleux [France] ; Alban Lepailleur [France] ; Samir Loudni [France] ; Marc Plantevit [France] ; Chedy Raïssi [France] ; Arnaud Soulet [France]Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems
000851 (2014-12-02) Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
000960 (2014-09-09) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Verifying Modal Workflow Specifications Using Constraint Solving
001270 (2013-03-22) Ivan Enderlin [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France]A Constraint Solver for PHP Arrays
001376 (2013) Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France]Deciding equivalence-based properties using constraint solving
001A52 (2012-06-26) Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada]Security protocols, constraint systems, and group theories
001F85 (2011-11-29) François Prugniel [France] ; Pierre-Etienne Moreau [France] ; Horatiu Cirstea [France]A constraint language for algebraic term based on rewriting theory
002111 (2011-09-19) Tigran Avanesov [France]Resolution of constraint systems for automatic composition of security-aware Web Services
002A32 (2010-10-08) Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France]A Constraint-based Approach to Web Services Provisioning
002D59 (2010-04-09) Nicolas Noury [France] ; Frédéric Sur [France] ; Marie-Odile Berger [France]Determining point correspondences between two views under geometric constraint and photometric consistency
003385 (2009-09-22) Liliana Cucu [France] ; Olivier Buffet [France]Global Multiprocessor Real-Time Scheduling as a Constraint Satisfaction Problem
003584 (2009-06) Helene Kirchner [France] ; Kirchner Florent [France] ; Claude Kirchner [France]Constraint Based Strategies
003E63 (2008-09) Flavia Felicioni [France] ; Ning Jia [France] ; Françoise Simonot-Lion [France] ; Ye-Qiong Song [France]Optimal On-line (m,k)-firm Constraint Assignment for Real-time Control Tasks Based on Plant State Information
004007 (2008-05-19) Eduardo Martin Moraud [France] ; Joshua G. Hale [Japon] ; Gordon Cheng [Japon]Constraint-based Ground contact handling in Humanoid Robotics Simulation
004056 (2008-04) Sylvain Pogodalla [France]Exploring a type-theoretic approach to accessibility constraint modelling
004687 (2007-10-26) Mathieu Grenier [France]Scheduling optimisation under feasibility constraint
004970 (2007-03-29) Ning Jia [France] ; Ye-Qiong Song [France] ; Françoise Simonot-Lion [France]Task Handler Based on (m,k)-firm Constraint Model for Managing a Set of Real-Time Controllers
004A79 (2007) Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France]A Rho-Calculus of explicit constraint application
004B80 (2007) Stephan Frank [Allemagne] ; Petra Hofstedt [Allemagne] ; Peter Pepper [Allemagne] ; Dirk Reckmann [Allemagne]Solution Strategies for Multi-domain Constraint Logic Programs
005020 (2006-09) Jian Li [France] ; Ye-Qiong Song [France]Relaxed (m,k)-firm Constraint to Improve Real-time Streams Admission Rate under Non Pre-emptive Fixed Priority Scheduling

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "constraint" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "constraint" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    constraint
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022