17541 search results - page 384 / 3509 » Complexity in scalable computing |
158
click to vote
CASCON
2001
15 years 6 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
128
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
One of the most important open problems of parallel LTL model-checking is to design an on-the-fly scalable parallel algorithm with linear time complexity. Such an algorithm would g...
134
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...
125
click to vote
RECOMB
2002
Springer
16 years 5 months ago
2002
Springer
It is widely anticipated that the study of variation in the human genome will provide a means of predicting risk of a variety of complex diseases. Single nucleotide polymorphisms (...
220
click to vote
ICDE
1999
IEEE
16 years 6 months ago
1999
IEEE
Traditional techniques for a distributed web server design rely on manipulation of central resources, such as routers or DNS services, to distribute requests designated for a sing...