10213 search results - page 376 / 2043 » An Experimental Analysis of Parallel |
151
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
118
click to vote
IJBC
2010
15 years 1 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
112
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we discuss the problem of calculating the reachable states of a dynamical system de ned by ordinary di erential equations or inclusions. We present a protot...
139
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
156
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Despite considerable efforts within the microarray community for standardising data format, content and description, microarray technologies present major challenges i...