3951 search results - page 427 / 791 » Automatic amortized analysis |
244
click to vote
FORTE
2011
14 years 10 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
185
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
We propose the demonstration of SP4, a software-based programmable packet processing platform that supports (1) stateful packet processing useful for analyzing traffic flows wit...
214
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
193
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
One of the major challenges of video game design is to have appropriate difficulty levels for users in order to maximize the entertainment value of the game. Game players may lose...
187
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...