Sciweavers

6897 search results - page 66 / 1380
» Parallelization of Modular Algorithms
Sort
View
SIGSOFT
2010
ACM
13 years 6 months ago
Building scalable software systems in the multicore era
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
Hridesh Rajan
TR
2010
158views Hardware» more  TR 2010»
13 years 3 months ago
Multi-Objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
Zai Wang, Ke Tang, Xin Yao
SAS
2010
Springer
175views Formal Methods» more  SAS 2010»
13 years 6 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch...
IRREGULAR
1995
Springer
14 years 8 days ago
Parallel Search for Combinatorial Optimization: Genetic Algorithms, Simulated Annealing, Tabu Search and GRASP
In this paper, we review parallel search techniques for approximating the global optimal solution of combinatorial optimization problems. Recent developments on parallel implementa...
Panos M. Pardalos, Leonidas S. Pitsoulis, Thelma D...