5356 search results - page 831 / 1072 » Adventures in time and space |
ICTAI
2003
IEEE
15 years 7 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
111
click to vote
ICTAI
2003
IEEE
15 years 7 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
117
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Fine-grained parallel applications require all their processes to run simultaneously on distinct processors to achieve good efficiency. This is typically accomplished by space sl...
128
Voted
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several meth...
102
click to vote
IV
2003
IEEE
15 years 7 months ago
2003
IEEE
In the paper, we suggest a set of visualization-based exploratory tools to support analysis and comparison of different spatial development scenarios, such as results of simulatio...