Sciweavers

7225 search results - page 277 / 1445
» On the Computational Power of Biochemistry
Sort
View
DEXAW
2003
IEEE
86views Database» more  DEXAW 2003»
15 years 12 months ago
Towards an Autonomic Distributed Computing System
Increasing hardware performance of desktop computers accounts for a low-cost computing potential that is waiting to be efficiently used. However, the complexity of installation a...
Zoran Constantinescu
ICPPW
2005
IEEE
16 years 8 days ago
Gene Sequence Alignment on a Public Computing Platform
Public computing can potentially supply not only computational power but also memory and short term storage resources to grid and cluster scale problems. Gene sequence alignment i...
Stephen Pellicer, Nova Ahmed, Yi Pan, Yao Zheng
EAGC
2004
Springer
16 years 2 days ago
Dependable Global Computing with JaWS++
In this paper we propose a computational grid platform called JaWS++ that seeks to harvest the power of idle pools of workstations connected through the Internet and integrate them...
George Kakarontzas, Spyros Lalis
PROCEDIA
2010
97views more  PROCEDIA 2010»
15 years 5 months ago
Ontological musings on how nature computes
Modern physical theory and modern computational techniques are used to provide conjecture on how nature computes. I utilize time-domain simulation of physical phenomena and build ...
J. F. Nystrom
FROCOS
2000
Springer
15 years 10 months ago
Non-Trivial Symbolic Computations in Proof Planning
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
Volker Sorge