17018 search results - page 3264 / 3404 » From the How to the What |
EDBT
2000
ACM
14 years 1 months ago
2000
ACM
Database systems support recovery, providing high database availability. However, database applications may lose work because of a server failure. In particular, if a database serv...
COMPGEOM
2010
ACM
14 years 1 months ago
2010
ACM
Normal surface theory is a central tool in algorithmic threedimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important a...
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...