Sciweavers

1464 search results - page 225 / 293
» On optimal anonymization for l -diversity
Sort
View
IPPS
2007
IEEE
16 years 15 days ago
A Comparative Study of Parallel Metaheuristics for Protein Structure Prediction on the Computational Grid
A comparative study of parallel metaheuristics executed in grid environments is proposed, having as case study a genetic algorithm, a simulated annealing algorithm and a random se...
Alexandru-Adrian Tantar, Nouredine Melab, El-Ghaza...
IPPS
2007
IEEE
16 years 15 days ago
Adaptive Distributed Database Replication Through Colonies of Pogo Ants
We address the problem of optimizing the distribution of partially replicated databases over a computer network. Replication is used to increase data availability in the presence ...
Sarah Abdul-Wahid, Razvan Andonie, Joseph Lemley, ...
IROS
2007
IEEE
411views Robotics» more  IROS 2007»
16 years 15 days ago
Experimental kinematics for wheeled skid-steer mobile robots
— This work aims at improving real-time motion control and dead-reckoning of wheeled skid-steer vehicles by considering the effects of slippage, but without introducing the compl...
Anthony Mandow, Jorge L. Martínez, Jes&uacu...
ISPDC
2007
IEEE
16 years 14 days ago
On Grid-based Matrix Partitioning for Heterogeneous Processors
The problem of optimal matrix partitioning for parallel linear algebra on p heterogeneous processors is typically reduced to the geometrical problem of partitioning a unit square ...
Alexey L. Lastovetsky
CAV
2007
Springer
116views Hardware» more  CAV 2007»
16 years 11 days ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill