3710 search results - page 739 / 742 » A new calculus of contexts |
110
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in āregularā...
120
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
In this paper we propose Recon, a new general approach to concurrency debugging. Recon goes beyond just detecting bugs, it also presents to the programmer short fragments of buggy...
118
click to vote
PVLDB
2011
14 years 2 months ago
2011
Adaptive indexing is characterized by the partial creation and reļ¬nement of the index as side effects of query execution. Dynamic or shifting workloads may beneļ¬t from prelimi...
192
click to vote
RECOMB
2011
Springer
14 years 2 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
143
Voted
ALDT
2011
Springer
13 years 11 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...