17185 search results - page 250 / 3437 » Computational and Quantitative Studies |
191
click to vote
DSN
2004
IEEE
15 years 11 months ago
2004
IEEE
Software configuration problems are a major source of failures in computer systems. In this paper, we present a new framework for categorizing configuration problems. We apply thi...
191
click to vote
WSC
1998
15 years 8 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
202
click to vote
SIGMOD
2002
ACM
15 years 7 months ago
2002
ACM
Mobile computing technology is developing rapidly due to the advantages of information access through mobile devices and the need to retrieve information at remote locations. Howe...
138
click to vote
COCOON
2005
Springer
16 years 25 days ago
2005
Springer
Recently, several studies taking into account the ability for a gene to be absent or to have some copies in genomes have been proposed, as the examplar distance [11, 6] or the gene...
182
click to vote
CDC
2009
IEEE
16 years 4 hour ago
2009
IEEE
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...