1810 search results - page 41 / 362 » Type Systems for Distributed Data Structures |
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
SLIP
2009
ACM
14 years 3 months ago
2009
ACM
New technologies such as 3D integration are becoming a new force that is keeping Moore’s law in effect in today’s nano era. By adding a third dimension in current 2D circuits...
SIAMSC
2011
12 years 11 months ago
2011
Abstract. An efficient parallel algorithm is presented and tested for computing selected components of H−1 where H has the structure of a Hamiltonian matrix of two-dimensional la...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
ICDE
1994
IEEE
14 years 28 days ago
1994
IEEE
We describe the design of Mariposa, an experimental distributed data management system that provides high performance in an environment of high data mobility and heterogeneous hos...