Sciweavers

2020 search results - page 137 / 404
» PAPER - Accelerating parallel evaluations of ROCS
Sort
View
LPAR
2010
Springer
15 years 3 months ago
Partitioning SAT Instances for Distributed Solving
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
132
Voted
IPPS
2006
IEEE
15 years 11 months ago
Using stochastic Petri nets for performance modelling of application servers
Application servers have been widely adopted as distributed infrastructure (or middleware) for developing distributed systems. Current approaches for performance evaluation of app...
F. N. Souza, R. D. Arteiro, Nelson S. Rosa, Paulo ...
IPPS
2006
IEEE
15 years 11 months ago
Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...
Riad Ben Mouhoub, Omar Hammami
EGC
2005
Springer
15 years 10 months ago
A Service Oriented Architecture for Decision Making in Engineering Design
Abstract. Decision making in engineering design can be effectively addressed by using genetic algorithms to solve multi-objective problems. These multi-objective genetic algorithm...
Alex Shenfield, Peter J. Fleming
IPPS
2003
IEEE
15 years 10 months ago
Performance Prediction of Paging Workloads Using Lightweight Tracing
A trace of a workload’s system calls can be obtained with minimal interference, and can be used to drive repeatable experiments to evaluate system configuration alternatives. R...
Ariel N. Burton, Paul H. J. Kelly