2251 search results - page 102 / 451 » Specification and Implementation Problems for C |
149
click to vote
SCP
2008
15 years 3 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
93
Voted
WWW
2002
ACM
16 years 4 months ago
2002
ACM
The simplicity of HTTP was a major factor in the success of the Web. However, as both the protocol and its uses have evolved, HTTP has grown complex. This complexity results in nu...
117
Voted
FPL
2003
Springer
15 years 8 months ago
2003
Springer
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
105
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
71
Voted
ACL
1998
15 years 4 months ago
1998
The problem of parsing ambiguous structures concerns (i) their representation and (ii) the specification of mechanisms allowing to delay and control their evaluation. We first pro...