6608 search results - page 1101 / 1322 » On the Completeness of Model Checking |
210
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
229
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
346
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
223
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
164
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Baum-Welch training is an expectation-maximisation algorithm for training the emission and transition probabilities of hidden Markov models in a fully automated way. I...