7167 search results - page 162 / 1434 » A Technique for Invariant Generation |
168
click to vote
CONCURRENCY
2006
15 years 7 months ago
2006
To keep up with a large degree of instruction level parallelism (ILP), the Itanium 2 cache systems use a complex organization scheme: load/store queues, banking and interleaving. ...
171
click to vote
TASLP
2008
15 years 7 months ago
2008
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
159
click to vote
TCAD
2008
15 years 7 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
207
click to vote
RAS
2002
15 years 6 months ago
2002
Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled and pri...
186
click to vote
CHI
2010
ACM
15 years 6 months ago
2010
ACM
People share pictures online to increase their social presence. However, recent studies have shown that most of the content shared in social networks is not looked at by peers. Pr...