Sciweavers

1192 search results - page 46 / 239
» Computing Weakest Readings
Sort
View
CIE
2005
Springer
15 years 5 months ago
Computing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
Peter Koepke
AML
2008
66views more  AML 2008»
14 years 12 months ago
Register computations on ordinals
We generalize ordinary register machines on natural numbers to machines whose registers contain arbitrary ordinals. Ordinal register machines are able to compute a recursive bounde...
Peter Koepke, Ryan Siders
IADIS
2008
15 years 1 months ago
E-Learning Applied To Computer Vision
The paper is about the methodology of e-learning applied in computer vision. There exists an interactive textbook of computer vision in Slovak language but the only difference bet...
Pavla Nunuková
IDEAS
1998
IEEE
84views Database» more  IDEAS 1998»
15 years 4 months ago
A Transaction Model for Mobile Computing
In this paper, we introduce a prewrite operation before a write operation in a mobile transaction to improve data availability. A prewrite operation does not update the state of a...
Sanjay Kumar Madria, Bharat K. Bhargava
EUROPAR
2008
Springer
15 years 1 months ago
Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...
Alastair F. Donaldson, Paul Keir, Anton Lokhmotov