Sciweavers

8824 search results - page 403 / 1765
» On the Complexity of Real Functions
Sort
View
TC
2010
15 years 1 months ago
Speculatively Redundant Continued Logarithm Representation
Continued logarithms, as originally introduced by Gosper, represent a means for exact rational arithmetic, but their application to exact real arithmetic is limited by the uniquene...
Tomas Brabec
PVM
2007
Springer
16 years 1 months ago
A Virtual Test Environment for MPI Development: Quick Answers to Many Small Questions
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...
Wolfgang Schnerring, Christian Kauhaus, Dietmar Fe...
CASC
2006
Springer
106views Mathematics» more  CASC 2006»
15 years 10 months ago
Simplicial Perturbation Techniques and Effective Homology
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
Rocío González-Díaz, Bel&eacu...
AMAST
2008
Springer
15 years 9 months ago
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
WSC
1998
15 years 8 months ago
TAYLOR II Manufacturing Simulation Software
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
William B. Nordgren