Sciweavers

17298 search results - page 59 / 3460
» Abstract computing machines
Sort
View
CIE
2006
Springer
14 years 1 months ago
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
Jérôme Durand-Lose
CC
2004
Springer
134views System Software» more  CC 2004»
14 years 1 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
ECOOPW
1999
Springer
14 years 1 months ago
Abstractions for Mobile Computation
ions for Mobile Computation Luca Cardelli Microsoft Research Abstract. We discuss the difficulties caused by mobile computing and mobile computation over wide area networks. We pro...
Luca Cardelli
OPODIS
2008
13 years 11 months ago
Geo-registers: An Abstraction for Spatial-Based Distributed Computing
sters : an abstraction for spatial-based distributed computing Matthieu Roy1 , Fran
Matthieu Roy, François Bonnet, Leonardo Que...
FOCS
1993
IEEE
14 years 1 months ago
Parallel computable higher type functionals (Extended Abstract)
d Abstract) Peter Clote A. Ignjatovicy B. Kapronz
Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapro...