9110 search results - page 260 / 1822 » Formally-Based Design Evaluation |
172
click to vote
IEEEPACT
2003
IEEE
15 years 11 months ago
2003
IEEE
Graphics and media processing is quickly emerging to become one of the key computing workloads. Programmable graphics processors give designers extra flexibility by running a sma...
173
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
UPC is an explicit parallel extension of ANSI C, which has been gaining rising attention from vendors and users. In this work, we consider the low-level monitoring and experimenta...
162
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
169
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
Knowledge-intensive activities can typically not be modeled sufficiently by classical, static process models and workflows. To enable a process-oriented knowledge management appro...
188
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Science is becoming data-intensive, requiring new software architectures that can exploit resources at all scales: local GPUs for interactive visualization, server-side multi-core ...