Sciweavers

29082 search results - page 22 / 5817
» The Time-Triggered Model of Computation
Sort
View
IEEECIT
2010
IEEE
13 years 6 months ago
Developing a Cloud Computing Charging Model for High-Performance Computing Resources
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
Matthew Woitaszek, Henry M. Tufo
ICCSA
2004
Springer
14 years 1 months ago
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
Ana I. Molina, Miguel A. Redondo, Manuel Ortega
GCC
2003
Springer
14 years 1 months ago
Computing Pool: A Simplified and Practical Computational Grid Model
Even though grid research is prosperous in an extensive context, few grid platforms for high performance computing are practical and in operation so far. Since most applications a...
Peng Liu, Yao Shi, Sanli Li
IWFM
2003
172views Formal Methods» more  IWFM 2003»
13 years 9 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane