29152 search results - page 146 / 5831 » A Model of Computation for MapReduce |
147
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Computer architects utilize simulation tools to evaluate the merits of a new design feature. The time needed to adequately evaluate the tradeoffs associated with adding any new fe...
156
click to vote
AAAI
1997
15 years 7 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
136
click to vote
SSS
2010
Springer
15 years 4 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
157
click to vote
PPSC
1997
15 years 7 months ago
1997
We discuss the role of Java and Web technologies for general simulation. We classify the classes of concurrency typical in problems and analyze separately the role of Java in user...
155
click to vote
TCS
2008
15 years 6 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...