1511 search results - page 275 / 303 » Relational Parametricity for Computational Effects |
139
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
127
click to vote
COMPLEX
2009
Springer
15 years 8 months ago
2009
Springer
Online Social Networks (OSN) are experiencing an explosive growth rate and are becoming an increasingly important part of people's lives. There is an increasing desire to aid ...
134
click to vote
GRID
2007
Springer
15 years 8 months ago
2007
Springer
We propose strategies to efficiently execute a query workload, which consists of multiple related queries submitted against a scientific dataset, on a distributed-memory system in...
152
click to vote
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
153
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. QoS-aware distributed applications such as certain Multimedia and Ubiquitous Computing applications can benefit greatly from the provision of QoS guarantees from the unde...