17770 search results - page 3280 / 3554 » A Generalization of Forward-Backward Algorithm |
148
click to vote
ICCAD
2002
IEEE
16 years 25 days ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
127
click to vote
SOSP
2003
ACM
16 years 25 days ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
131
click to vote
SOSP
2003
ACM
16 years 25 days ago
2003
ACM
In tree-based multicast systems, a relatively small number of interior nodes carry the load of forwarding multicast messages. This works well when the interior nodes are highlyava...
148
click to vote
SOSP
2005
ACM
16 years 25 days ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...
166
click to vote
SOSP
2007
ACM
16 years 25 days ago
2007
ACM
Reliability at massive scale is one of the biggest challenges we face at Amazon.com, one of the largest e-commerce operations in the world; even the slightest outage has significa...