9245 search results - page 1256 / 1849 » Virtualization |
185
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
185
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
168
click to vote
CACM
2006
15 years 7 months ago
2006
Electronic argumentation support is increasingly important in today's networked society. Virtual research collaboration, e-business, and many other domains of professional li...
223
click to vote
CAL
2006
15 years 7 months ago
2006
User-level communication alleviates the software overhead of the communication subsystem by allowing applications to access the network interface directly. For that purpose, effici...
164
Voted
CG
2006
Springer
15 years 7 months ago
2006
Springer
Off-line rendering techniques have nowadays reached an astonishing level of realism but pay the cost of long computational times. The new generation of programmable graphic hardwa...