28888 search results - page 2 / 5778 » Computability and complexity in analysis |
CSL
2005
Springer
13 years 10 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
CSCWD
2008
Springer
13 years 7 months ago
2008
Springer
Design is a complex process often described as a collaboration between a designer and herself. In architectural design, a designer must consider the selection of a subset of actio...
MASCOTS
2004
13 years 6 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
CADE
2008
Springer
13 years 7 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...
JC
2006
13 years 5 months ago
2006
