1029 search results - page 30 / 206 » An Architecture for Problem Solving with Diagrams |
148
click to vote
SBACPAD
2003
IEEE
15 years 11 months ago
2003
IEEE
— A radiative transfer solver that implements the LTSn method was optimized and parallelized using the MPI message passing communication library. Timing and profiling informatio...
178
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- We present a new heuristic algorithm for hazard-free minimization of two-level logic. On nearly all examples, the algorithm finds an exactly minimum-cost cover. It also solves s...
149
click to vote
ICADL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we discuss the problem of handling many classification schemes within the context of a single digital library concurrently, which we term multischeming. We...
178
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
143
click to vote
APSCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Data sharing is one of the most important research areas in data grid. Distributed data resource and heterogeneous data schema bring difficulties to data Access and sharing. This ...