7890 search results - page 469 / 1578 » The MathSAT 3 System |
179
click to vote
ISCA
2003
IEEE
16 years 4 days ago
2003
IEEE
We describe the Java runtime parallelizing machine (Jrpm), a complete system for parallelizing sequential programs automatically. Jrpm is based on a chip multiprocessor (CMP) with...
177
Voted
AOSD
2003
ACM
16 years 3 days ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...
181
click to vote
MYCRYPT
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
152
Voted
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Recommender systems are new types of internet-based software tools, designed to help users find their way through today's complex on-line shops and entertainment websites. He...
129
click to vote
GCC
2003
Springer
16 years 2 days ago
2003
Springer
This paper focuses on integrating IPv6 functionality into Grid systems. We outline the advantages of IPv6 and the benefit to Grid systems. We then introduce our methodology and our...