Sciweavers

1810 search results - page 7 / 362
» Type Systems for Distributed Data Structures
Sort
View
161
Voted
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 6 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
ECOOP
2010
Springer
15 years 7 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
Mandana Vaziri, Frank Tip, Julian Dolby, Christian...
USENIX
1994
15 years 3 months ago
Concert/C: A Language for Distributed Programming
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...
Joshua S. Auerbach, Arthur P. Goldberg, Germ&aacut...
123
Voted
OSDI
2000
ACM
15 years 3 months ago
Scalable, Distributed Data Structures for Internet Service Construction
Steven D. Gribble, Eric A. Brewer, Joseph M. Helle...
123
Voted
ESOP
2006
Springer
15 years 5 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam