11016 search results - page 1930 / 2204 » Cloud Computing for Science |
161
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We prove lower bounds for the direct sum problem for two-party bounded error randomised multipleround communication protocols. Our proofs use the notion of information cost of a p...
185
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
158
click to vote
ICTCS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we study the problem of cost constrained fixed job scheduling (CCFJS). In this problem, there are a number of processors, each of which belongs to one of several cla...
157
click to vote
HT
2010
ACM
15 years 11 months ago
2010
ACM
Today, there is significant sharing of information artifacts among users on various social media sites, including Digg, Twitter and Flickr. An interesting consequence of such ric...
155
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...