306 search results - page 15 / 62 » Constructive analysis, types and exact real numbers |
ADBIS
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. In this paper we consider the dictionary problem in the scalable distributed data structure paradigm introduced by Litwin, Neimat and Schneider and analyze costs for inse...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
IESS
2007
Springer
14 years 1 months ago
2007
Springer
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
BMCBI
2008
13 years 7 months ago
2008
Background: Despite the widespread usage of DNA microarrays, questions remain about how best to interpret the wealth of gene-by-gene transcriptional levels that they measure. Rece...
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper we look at the problem of accurately reconstructing distributed signals through the collection of a small number of samples at a data gathering point. The techniqu...