3836 search results - page 325 / 768 » Optimizing the Use of High Performance Software Libraries |
185
click to vote
INTENSIVE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
269
click to vote
CISIS
2011
IEEE
14 years 5 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...
159
click to vote
EUROCAST
2007
Springer
15 years 9 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
134
click to vote
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
— Heterogeneous Chip Multiprocessors (HMPs), such as the Cell Broadband Engine, offer a new design optimization opportunity by allowing designers to provide accelerators for appl...
128
Voted
CSREASAM
2006
15 years 6 months ago
2006
- The emergence of middleware solutions and new services even on small devices will need adapted distributed management solutions which address these specificities, both in terms o...