2477 search results - page 316 / 496 » Parallelizing Functional Programs by Generalization |
187
click to vote
HPDC
2000
IEEE
15 years 10 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
173
click to vote
REX
1991
15 years 9 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
179
click to vote
ARCS
2008
Springer
15 years 8 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...
263
click to vote
DCAI
2008
15 years 8 months ago
2008
Abstract. Social assistance constitutes an increasing problem in developed countries, which can be considered from two dimensions: the home and the hospital frameworks. Anyway, mos...
177
Voted
WSCG
2003
15 years 7 months ago
2003
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...