4513 search results - page 736 / 903 » Logic programming with satisfiability |
113
Voted
DOOD
1989
Springer
15 years 7 months ago
1989
Springer
This paper attempts to de ne an object-oriented database system. It describes the main features and characteristics that a system must have to qualify as an objectoriented databas...
139
Voted
CAV
2009
Springer
15 years 7 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
138
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
Structured ASICs have recently emerged as an exciting alternative to ASIC or FPGA design style as they provide a new trade-off between the high performance of ASIC design and low ...
162
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a genetic algorithm based method to solve the capacity and routing assignment problem arising in the design of selfhealing networks using the Virtual Path (VP)...
146
Voted
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...