3441 search results - page 278 / 689 » Parallel Logic Programming Systems |
112
Voted
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
nomic Management Abstractions M. Aldinucci1 , M. Danelutto1 , and P. Kilpatrick2 1 Dept. Computer Science, Univ. of Pisa, Italy 2 Dept. Computer Science, Queen's Univ. of Belf...
121
Voted
SC
1994
ACM
15 years 7 months ago
1994
ACM
In recent years, interior point algorithms have been used successfully for solving mediumto large-size linear programming LP problems. In this paper we describe a highly parallel ...
131
Voted
WSC
1998
15 years 5 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...
152
Voted
NLE
2007
15 years 3 months ago
2007
We address the problem of extracting bilingual chunk pairs from parallel text to create training sets for statistical machine translation. We formulate the problem in terms of a s...
160
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...