5683 search results - page 1043 / 1137 » Interactive Schedulability Analysis |
136
click to vote
HPDC
2005
IEEE
15 years 10 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...
167
click to vote
ICPADS
2005
IEEE
15 years 10 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...
141
click to vote
TPHOL
2005
IEEE
15 years 9 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...
135
click to vote
VISUALIZATION
2005
IEEE
15 years 9 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...
143
click to vote
DIGRA
2005
Springer
15 years 9 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 ...