Sciweavers

3274 search results - page 431 / 655
» Access Support in Object Bases
Sort
View
ADC
2004
Springer
156views Database» more  ADC 2004»
15 years 11 months ago
Multiresolution Amalgamation: Dynamic Spatial Data Cube Generation
Aggregating spatial objects is a necessary step in generating spatial data cubes to support roll-up/drill-down operations. Current approaches face performance bottleneck issues wh...
Sham Prasher, Xiaofang Zhou
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 11 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
POPL
1999
ACM
15 years 10 months ago
Type-Safe Linking and Modular Assembly Language
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
Neal Glew, J. Gregory Morrisett
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 10 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
ECOOP
2006
Springer
15 years 9 months ago
Statement Annotations for Fine-Grained Advising
AspectJ-like languages are currently ineffective at modularizing heterogeneous concerns that are tightly coupled to the source code of the base program, such as logging, invariant...
Marc Eaddy, Alfred V. Aho