2032 search results - page 107 / 407 » Improving Java performance using hardware translation |
133
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
136
click to vote
CLUSTER
2002
IEEE
15 years 9 months ago
2002
IEEE
In a Linux cluster, as in any multi-processor system, the inter-processor communication rate is the major limiting factor to its general usefulness. This research is geared toward...
148
click to vote
OPODIS
2001
15 years 6 months ago
2001
This paper aims to investigate the use of mobile agents for service provision in mobile computing environments. A quantitative model and experimental measurements are performed to ...
137
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
155
click to vote
OSDI
1994
ACM
15 years 6 months ago
1994
ACM
Mobile computers such as notebooks, subnotebooks, and palmtops require low weight, low power consumption, and good interactive performance. These requirements impose many challeng...