8768 search results - page 1444 / 1754 » Generalizing the notion of support |
218
click to vote
COMSNETS
2012
14 years 2 months ago
2012
—Virtualized cloud-based services can take advantage of statistical multiplexing across applications to yield significant cost savings to the operator. However, achieving simila...
213
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
201
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
203
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
203
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
As cloud-based computation becomes increasingly important, providing a general computational interface to support datacenterscale programming has become an imperative research age...