Sciweavers

1052 search results - page 2 / 211
» Foundations for Virtual Types
Sort
View
163
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
117
Voted
TOPLAS
2010
93views more  TOPLAS 2010»
15 years 26 days ago
Semantic foundations for typed assembly languages
Amal Ahmed, Andrew W. Appel, Christopher D. Richar...
OOPSLA
2010
Springer
15 years 12 days ago
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
Stefan Marr
JUCS
2010
154views more  JUCS 2010»
15 years 28 days ago
SimCon: A Tool to Support Rapid Evaluation of Smart Building Application Design using Context Simulation and Virtual Reality
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
Kris McGlinn, Eleanor O'Neill, Alan Gibney, Declan...