Sciweavers

4759 search results - page 292 / 952
» Parallelizing the Phylogeny Problem
Sort
View
PDPTA
2008
15 years 8 months ago
New Heuristics for Rotation Scheduling
- For an iterative process to be parallelized, the operations that comprise the process must be organized into a correct schedule that will allow the hardware to compute the task. ...
Michael Richter, David Poeschl, Timothy W. O'Neil
173
Voted
ACL
1998
15 years 8 months ago
Constraints over Lambda-Structures in Semantic Underspecification
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A Astructure can be considered as a A-term up to...
Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu...
IPL
2002
86views more  IPL 2002»
15 years 6 months ago
A polynomial algorithm for lot-size scheduling of two type tasks
We study the problem of scheduling unit time tasks of two types on m parallel identical machines. For each type, given numbers of tasks are required to be completed by the specifi...
Mikhail Y. Kovalyov, Marcus Pattloch, Günter ...
ACS
2011
15 years 1 months ago
The Compositional Construction of Markov Processes
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
Luisa de Francesco Albasini, Nicoletta Sabadini, R...
EUROPAR
2007
Springer
16 years 25 days ago
On Detecting Termination in the Crash-Recovery Model
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
Felix C. Freiling, Matthias Majuntke, Neeraj Mitta...