Sciweavers

3394 search results - page 60 / 679
» Regular Object Types
Sort
View
95
Voted
GIS
2009
ACM
15 years 5 months ago
Data structures and intersection algorithms for 3D spatial data types
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...
Tao Chen, Markus Schneider
105
Voted
LCR
2000
Springer
129views System Software» more  LCR 2000»
15 years 4 months ago
Run-Time Support for Distributed Sharing in Typed Languages
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wall...
104
Voted
ICCAD
2010
IEEE
216views Hardware» more  ICCAD 2010»
14 years 10 months ago
Stress-driven 3D-IC placement with TSV keep-out zone and regularity study
Through-silicon via (TSV) fabrication causes tensile stress around TSVs which results in significant carrier mobility variation in the devices in their neighborhood. Keep-out zone ...
Krit Athikulwongse, Ashutosh Chakraborty, Jae-Seok...
92
Voted
VLDB
1993
ACM
142views Database» more  VLDB 1993»
15 years 4 months ago
Collections of Objects in SQL3
SQL3generalizestherelationalmodelinto anobjectmodel abstract data types, multiple inheritance, and dynamic polymorphism. Tables may then contain collections (multisets) of objects...
David Beech
ENTCS
2007
100views more  ENTCS 2007»
15 years 16 days ago
Type-Safe Code Transformations in Haskell
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
Louis-Julien Guillemette, Stefan Monnier