1984 search results - page 193 / 397 » The colourful feasibility problem |
143
click to vote
SERA
2005
Springer
16 years 19 days ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
204
click to vote
TACAS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
200
click to vote
GECCO
2005
Springer
16 years 18 days ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
143
click to vote
COMPGEOM
2004
ACM
16 years 17 days ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...
161
click to vote
FMCAD
2004
Springer
16 years 16 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...