797 search results - page 144 / 160 » Eliminating Proofs from Programs |
116
click to vote
BMCBI
2007
15 years 19 days ago
2007
Background: Joint alignment and secondary structure prediction of two RNA sequences can significantly improve the accuracy of the structural predictions. Methods addressing this p...
124
Voted
CORR
2004
Springer
15 years 11 days ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
120
click to vote
IPPS
2009
IEEE
15 years 7 months ago
2009
IEEE
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...
94
Voted
FOCS
2007
IEEE
15 years 6 months ago
2007
IEEE
In STOC’05, Ahn, Hopper and Langford introduced the notion of covert computation. A covert computation protocol is one in which parties can run a protocol without knowing if oth...