5683 search results - page 1043 / 1137 » Interactive Schedulability Analysis |
105
click to vote
HPDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
140
click to vote
ICPADS
2005
IEEE
15 years 7 months ago
2005
IEEE
Data warehouses store large volumes of data according to a multidimensional model with dimensions representing different axes of analysis. OLAP systems (OnLine Analytical Processi...
111
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
107
click to vote
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
Understanding and analyzing complex volumetrically varying data is a difficult problem. Many computational visualization techniques have had only limited success in succinctly po...
113
click to vote
DIGRA
2005
Springer
15 years 7 months ago
2005
Springer
In this essay, I examine differences between individual and social play and, in particular, the differences between individual and social play within digital media forms designed ...