19700 search results - page 128 / 3940 » DNA-Based Computation Times |
138
click to vote
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
130
Voted
JCST
2010
14 years 7 months ago
2010
Abstract Workflows are prevailing in scientific computation. Multicluster environments emerge and provide more resources, benefiting workflows but also challenging the traditional ...
124
Voted
JCSS
2000
15 years 18 days ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
130
Voted
EOR
2010
14 years 7 months ago
2010
The vehicle routing problem with multiple use of vehicles is a variant of the classical vehicle routing problem. It arises when each vehicle performs several routes during the wor...
103
click to vote
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...