476 search results - page 6 / 96 » The Complexity of Equality Constraint Languages |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Multicarrier transmission is an established technique for radio transmission systems and it can be considered as a promising approach for next generation wireless syste...
PLDI
2009
ACM
14 years 8 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
CP
2009
Springer
13 years 5 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
ICDE
1997
IEEE
14 years 9 months ago
1997
IEEE
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...