Sciweavers

17129 search results - page 438 / 3426
» Applied Computing
Sort
View
CIE
2010
Springer
15 years 7 months ago
Computable Ordered Abelian Groups and Fields
Abstract. We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, w...
Alexander G. Melnikov
CIE
2007
Springer
16 years 1 months ago
Speed-Up Theorems in Type-2 Computation
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
Chung-Chih Li
DISCO
1993
156views Hardware» more  DISCO 1993»
15 years 11 months ago
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
Peter Fritzson, Vadim Engelson, Lars Viklund
HPCN
1999
Springer
15 years 11 months ago
Computational Experiments using Distributed Tools in a Web-Based Electronic Notebook Environment
Abstract. Computational environments used by scientists should provide high-level support for scientific processes that involve the integrated ematic use of familiar abstractions f...
Allen D. Malony, Jenifer L. Skidmore, Matthew J. S...
ICCS
2005
Springer
16 years 10 days ago
Super-Scalable Algorithms for Computing on 100, 000 Processors
In the next five years, the number of processors in high-end systems for scientific computing is expected to rise to tens and even hundreds of thousands. For example, the IBM Blu...
Christian Engelmann, Al Geist