955 search results - page 186 / 191 » Model Checking Operator Procedures |
126
Voted
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
112
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
138
Voted
PLDI
2011
ACM
14 years 3 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...
132
click to vote
CCS
2011
ACM
14 years 17 days 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...
227
Voted
SIGCOMM
2012
ACM
13 years 3 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...