Sciweavers

20197 search results - page 539 / 4040
» Comparing Computational Power
Sort
View
DEXAW
2003
IEEE
86views Database» more  DEXAW 2003»
16 years 10 days 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
EAGC
2004
Springer
16 years 13 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
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
CG
2000
Springer
15 years 6 months ago
Re-inventing the introductory computer graphics course: providing tools for a wider audience
Traditionally, the introductory computer graphics course in computer science has focused on fundamental algorithms and techniques for creating images and animations. This was refl...
Steve Cunningham
WMTE
2006
IEEE
16 years 1 months ago
Invisibility Considered Harmful: Revisiting Traditional Principles of Ubiquitous Computing in the Context of Education
Ubiquitous computing, as a subfield of computer science, has traditionally been associated with a set of principles expressed (loosely but tellingly) with terms like transparency,...
Michael Eisenberg, Ann Eisenberg, Leah Buechley, N...