Sciweavers

1984 search results - page 18 / 397
» The colourful feasibility problem
Sort
View
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
14 years 4 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
14 years 4 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
CORR
2010
Springer
142views Education» more  CORR 2010»
13 years 8 months ago
Budget Feasible Mechanisms
We study a novel class of mechanism design problems in which the outcomes are constrained by the payments. This basic class of mechanism design problems captures many common econom...
Christos H. Papadimitriou, Yaron Singer
MICAI
2004
Springer
14 years 3 months ago
Simple Feasibility Rules and Differential Evolution for Constrained Optimization
In this paper, we propose a differential evolution algorithm to solve constrained optimization problems. Our approach uses three simple selection criteria based on feasibility to g...
Efrén Mezura-Montes, Carlos A. Coello Coell...
PODS
2003
ACM
151views Database» more  PODS 2003»
14 years 10 months ago
Feasible itemset distributions in data mining: theory and application
Computing frequent itemsets and maximally frequent itemsets in a database are classic problems in data mining. The resource requirements of all extant algorithms for both problems...
Ganesh Ramesh, William Maniatty, Mohammed Javeed Z...