21324 search results - page 248 / 4265 » Making the case for computing |
148
click to vote
CLADE
2004
IEEE
15 years 7 months ago
2004
IEEE
A key challenge faced by large-scale, distributed applications in Grid environments is efficient, seamless data management. In particular, for applications that can benefit from a...
120
click to vote
ACMIDC
2008
15 years 6 months ago
2008
Given the fracturing of virtual and physical spaces, young people are less involved in their local surrounding spaces. Yet, investing the community space is related to sense of co...
159
click to vote
CW
2005
IEEE
15 years 6 months ago
2005
IEEE
In the recent years, the usage of 3D cyberworlds for educational purposes has increased. The metaphors behind the design of virtual places are quite diverse, from replication of r...
120
click to vote
PVM
2010
Springer
15 years 2 months ago
2010
Springer
MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
132
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...