8874 search results - page 340 / 1775 » A New Implementation of Automath |
166
click to vote
CN
2006
15 years 6 months ago
2006
In this article, we propose a new single-rate end-to-end multicast congestion control scheme called Explicit Rate Multicast Congestion Control (ERMCC) based on a new metric, TRAC ...
140
click to vote
TSP
2008
15 years 6 months ago
2008
This paper presents a new implementation of the YAST algorithm for principal and minor subspace tracking. YAST was initially derived from the Subspace Projection (SP) algorithm by ...
206
Voted
SIGOPS
2008
15 years 6 months ago
2008
The Linux Kernel currently supports at least 8 distinct virtualization systems: Xen, KVM, VMware's VMI, IBM's System p, IBM's System z, User Mode Linux, lguest and ...
165
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transa...
211
click to vote
TELECARE
2004
15 years 8 months ago
2004
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile agent technology. There are now some industry initiatives...