10870 search results - page 1778 / 2174 » Model Checking Programs |
172
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The heterogeneous and dynamic nature of components making up a web application, the lack of effective programming mechanisms for implementing basic software engineering principle...
211
click to vote
JLP
2008
15 years 5 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
164
click to vote
TALG
2010
15 years 5 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 ...
175
click to vote
ATMOS
2010
15 years 4 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...
205
click to vote
CLOUDCOM
2010
Springer
15 years 4 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...