1511 search results - page 68 / 303 » Relational Parametricity for Computational Effects |
119
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Vector prefix and reduction are collective communication primitives in which all processors must cooperate. We present two parallel algorithms, the direct algorithm and the split ...
146
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
On-Line Analytical Processing techniques are used for data analysis and decision support systems. The multidimensionality of the underlying data is well represented by multidimens...
128
click to vote
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
123
Voted
ECIS
2000
15 years 5 months ago
2000
In most medical regimens, drug therapy is essential. Drugs are used for preventing diseases, treating diseases as well as minimising the effects related to diseases that can not b...
241
click to vote
TARK
2009
Springer
15 years 11 months ago
2009
Springer
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...