1154 search results - page 46 / 231 » Mathematizing C concurrency |
SIGCSE
2008
ACM
13 years 9 months ago
2008
ACM
: The generalized problem of placing n queens on an n-by-n board provides an "embarrassingly parallel" problem for parallel solution. This paper expands on the discussion...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
APPML
2006
13 years 9 months ago
2006
This paper proposes some estimators for the population mean using the ratio estimators presented in [C. Kadilar, H. Cingi, Ratio estimators in simple random sampling, Applied Math...
ITA
2008
13 years 9 months ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...
IJAC
2007
13 years 9 months ago
2007
A limit group is a finitely generated subgroup of a residually free group. We prove the result announced in the tittle. 2000 Mathematics Subject Classification: 20E06, 20E08, 20...