5863 search results - page 995 / 1173 » An evaluation of the TRIPS computer system |
163
click to vote
AAAI
2008
15 years 3 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
HUC
2010
Springer
15 years 3 months ago
2010
Springer
Today's mobile phones represent a rich and powerful computing platform, given their sensing, processing and communication capabilities. Phones are also part of the everyday l...
129
click to vote
MOBISYS
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents MAUI, a system that enables fine-grained energy-aware offload of mobile code to the infrastructure. Previous approaches to these problems either relied heavily...
120
click to vote
IJMMS
2007
15 years 1 months ago
2007
: In information systems that support knowledge-discovery applications such as scientific exploration, reliance on highly structured ontologies as data-organization aids can be lim...
114
click to vote
CLUSTER
1999
IEEE
15 years 1 months ago
1999
IEEE
Efficient data storage, a major concern in the modern computer industry, is mostly provided today by the the traditional magnetic disk. Unfortunately the cost of a disk transfer m...