1720 search results - page 135 / 344 » Unranking Combinations in Parallel |
142
Voted
DEBS
2010
ACM
14 years 11 months ago
2010
ACM
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
133
click to vote
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
Recent research on memory disaggregation introduces a new architectural building block—the memory blade—as a cost-effective approach for memory capacity expansion and sharing ...
130
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
118
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We present an adaptive control approach combining forward kinematics model learning methods with the operational space control approach. This combination endows the rob...
139
click to vote
DSD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper discusses possibilities for a choice of a pseudorandom pattern generator that is to be used in combination with the column-matching based built-in self-test design meth...