1720 search results - page 135 / 344 » Unranking Combinations in Parallel |
161
click to vote
DEBS
2010
ACM
15 years 16 days 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...
152
click to vote
HPCA
2012
IEEE
14 years 1 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 ...
158
click to vote
CADE
2008
Springer
16 years 5 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...
136
click to vote
IROS
2009
IEEE
16 years 7 days 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...
163
Voted
DSD
2007
IEEE
15 years 12 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...