3584 search results - page 299 / 717 » Parallel Computing of Thermoelasticity Problems |
132
click to vote
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A protein is identified by a finite sequence of aminoacids, each of them chosen from a set of 20 elements. The Protein Structure Prediction Problem is the problem of predicting t...
123
click to vote
SC
2003
ACM
15 years 8 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
122
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
121
click to vote
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this work we study the portfolio problem which is to find a good combination of multiple heuristics to solve given instances on parallel resources in minimum time. The resou...
129
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Optical Multistage Interconnection Networks (MINs) suffer from optical-loss during switching and crosstalk problem in the switches. The crosstalk problem is solved by routing mess...