Sciweavers

570 search results - page 87 / 114
» The Complexity of Reasoning with Global Constraints
Sort
View
ECAI
1994
Springer
15 years 1 months ago
Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS
For large problems the ATMS often becomes the main resource consumer in any reasoning system. We propose an architecture (the 2vATMS) that combines the advantages of two techniques...
Mugur M. Tatar
76
Voted
IPPS
2008
IEEE
15 years 4 months ago
Parallel performance wizard: A performance analysis tool for partitioned global-address-space programming
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
Hung-Hsun Su, Max Billingsley, Alan D. George
GRAPHITE
2005
ACM
15 years 3 months ago
Selective component-based rendering
The computational requirements of full global illumination rendering are such that it is still not possible to achieve high-fidelity graphics of very complex scenes in a reasonab...
Kurt Debattista, Veronica Sundstedt, Luís P...
CAISE
2004
Springer
15 years 3 months ago
Agents to foster conscious design and reuse in architecture
In architecture companies, work is very often performed by several individuals. From conceptual design to the construction of a final product, the object passes through many hands,...
Daniel Pinho, Adriana Santarosa Vivacqua, Sé...
58
Voted
DAC
1996
ACM
15 years 1 months ago
A Probability-Based Approach to VLSI Circuit Partitioning
Iterative-improvement 2-way min-cut partitioning is an important phase in most circuit partitioning tools. Most iterative improvement techniques for circuit netlists like the Fidd...
Shantanu Dutt, Wenyong Deng