11016 search results - page 606 / 2204 » Cloud Computing for Science |
158
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
194
click to vote
ECTEL
2009
Springer
16 years 1 months ago
2009
Springer
Benchmarking for educational purposes in the context of computer science can be hindered by the low number and the homogeneity of machines to be assessed, and the inaccuracy of the...
166
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
172
click to vote
ITCC
2005
IEEE
16 years 23 days ago
2005
IEEE
New developments in the field of theoretical chemistry require the computation of numerous Molecular Potential Energy Surfaces (PESs) to generate adequate quantum force field pa...
156
click to vote
ICALP
2005
Springer
16 years 21 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...