Sciweavers

1052 search results - page 28 / 211
» Foundations for Virtual Types
Sort
View
PLDI
2006
ACM
14 years 1 months ago
SAFECode: enforcing alias analysis for weakly typed languages
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve
GIS
2009
ACM
14 years 5 days 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
HICSS
2006
IEEE
108views Biometrics» more  HICSS 2006»
14 years 1 months ago
On the Nature of Knowledge: Rethinking Popular Assumptions
Knowledge management (KM) has been an increasing focus for both researchers and practitioners for more than a decade. The discussions generally have viewed the goal of KM as the a...
Brian T. Keane, Robert M. Mason
HPDC
2006
IEEE
14 years 1 months ago
Autonomic Adaptation of Virtual Distributed Environments in a Multi-Domain Infrastructure
By federating resources from multiple domains, a shared infrastructure provides aggregated computation resources to a large number of users. With rapid advances in virtualization ...
Dongyan Xu, Paul Ruth, Junghwan Rhee, Rick Kennell...
EUROPAR
2003
Springer
14 years 23 days ago
RECSY - A High Performance Library for Sylvester-Type Matrix Equations
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
Isak Jonsson, Bo Kågström