Sciweavers

5578 search results - page 843 / 1116
» Base Class Injection
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Generic Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
Naouel Moha, Vincent Mahé, Olivier Barais, ...
OOPSLA
2009
Springer
16 years 1 months ago
Grace: safe multithreaded programming for C/C++
The shift from single to multiple core architectures means that programmers must write concurrent, multithreaded programs in order to increase application performance. Unfortunate...
Emery D. Berger, Ting Yang, Tongping Liu, Gene Nov...
PSIVT
2009
Springer
400views Multimedia» more  PSIVT 2009»
16 years 1 months ago
Local Image Descriptors Using Supervised Kernel ICA
PCA-SIFT is an extension to SIFT which aims to reduce SIFT’s high dimensionality (128 dimensions) by applying PCA to the gradient image patches. However PCA is not a discriminati...
Masaki Yamazaki, Sidney Fels
SAT
2009
Springer
95views Hardware» more  SAT 2009»
16 years 1 months ago
Finding Lean Induced Cycles in Binary Hypercubes
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leop...
SAT
2009
Springer
109views Hardware» more  SAT 2009»
16 years 1 months ago
A Compact Representation for Syntactic Dependencies in QBFs
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
Florian Lonsing, Armin Biere