14244 search results - page 2397 / 2849 » Modeling Program Predictability |
126
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
115
click to vote
TALG
2010
15 years 2 months ago
2010
We establish the first nontrivial lower bounds on timespace tradeoffs for the selection problem. We prove that any comparison-based randomized algorithm for finding the median ...
137
click to vote
ATMOS
2010
15 years 2 months ago
2010
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
158
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
-- The MapReduce programming model, introduced by Google, has become popular over the past few years as a mechanism for processing large amounts of data, using sharednothing parall...
142
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
We propose a more robust robot programming by demonstration system planner that produces a reproduction path which satisfies statistical constraints derived from demonstration traj...