873 search results - page 110 / 175 » E-voting: Dependability Requirements and Design for Dependab... |
ICML
2007
IEEE
16 years 20 days ago
2007
IEEE
Many collective labeling tasks require inference on graphical models where the clique potentials depend only on the number of nodes that get a particular label. We design efficien...
HPCA
2001
IEEE
16 years 6 days ago
2001
IEEE
Value prediction is a relatively new technique to increase the Instruction Level Parallelism (ILP) in future microprocessors. An important problem when designing a value predictor...
OSDI
2004
ACM
16 years 4 days ago
2004
ACM
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
136
click to vote
SOSP
2009
ACM
15 years 8 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
TLDI
2009
ACM
15 years 8 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...