4759 search results - page 342 / 952 » Parallelizing the Phylogeny Problem |
176
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
183
click to vote
EMNLP
2009
15 years 4 months ago
2009
Training a statistical machine translation starts with tokenizing a parallel corpus. Some languages such as Chinese do not incorporate spacing in their writing system, which creat...
206
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
190
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
197
click to vote
ICS
2011
Tsinghua U.
14 years 10 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...