11716 search results - page 201 / 2344 » Computable symbolic dynamics |
149
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In Marc Weiser’s vision of ubiquitous computing, users are located in an environment with potentially thousands of computers around them. Many capabilities of these smart device...
174
click to vote
ICAI
2004
15 years 8 months ago
2004
In computational grids, heterogeneous resources with different ownerships are dynamically available and distributed geographically. It is not realistic to build the resource alloc...
157
click to vote
CIE
2005
Springer
16 years 2 days ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
150
click to vote
FPL
2007
Springer
16 years 21 days ago
2007
Springer
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...
161
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...