5583 search results - page 274 / 1117 » Application of Micro-Genetic Algorithm for Task Based Comput... |
184
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
179
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses concept lattices and some of their applications in component library development and compiler optimizations. Ongoing work on concept-based userextensible simp...
211
click to vote
JDCTA
2010
15 years 1 months ago
2010
Web service technology is one of the trend technologies in computer science now, and recently with the rapid growth of web services deployed with the same functionality, many rese...
223
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Crowdsourcing has recently become popular among machine learning researchers and social scientists as an effective way to collect large-scale experimental data from distributed w...
203
click to vote
CLUSTER
2003
IEEE
15 years 12 months ago
2003
IEEE
Debugging the performance of parallel and distributed systems remains a difficult task despite the widespread use of middleware packages for automatic distribution, communication...