Sciweavers

3303 search results - page 439 / 661
» Multidimensional Access Methods
Sort
View
IEEEPACT
2009
IEEE
16 years 1 months ago
Interprocedural Load Elimination for Dynamic Optimization of Parallel Programs
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
Rajkishore Barik, Vivek Sarkar
ERCIMDL
2009
Springer
132views Education» more  ERCIMDL 2009»
16 years 1 months ago
Matching Multi-lingual Subject Vocabularies
Most libraries and other cultural heritage institutions use controlled knowledge organisation systems, such as thesauri, to describe their collections. Unfortunately, as most of th...
Shenghui Wang, Antoine Isaac, Balthasar A. C. Scho...
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 1 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
CVPR
2008
IEEE
16 years 1 months ago
Bayesian tactile face
Computer users with visual impairment cannot access the rich graphical contents in print or digital media unless relying on visual-to-tactile conversion, which is done primarily b...
Zheshen Wang, Xinyu Xu, Baoxin Li
KBSE
2008
IEEE
16 years 1 months ago
Swarm Verification
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce