799 search results - page 82 / 160 » Bound Performance Models of Heterogeneous Parallel Processin... |
179
click to vote
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
140
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. Our work involves the development of a prototype Geographical Information System GIS as an example of the use of process networks as a well-de ned high-level semantic mod...
115
click to vote
GECCO
2009
Springer
15 years 8 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
133
click to vote
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
140
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...