5376 search results - page 972 / 1076 » Scalable Kernel Systems |
162
click to vote
TCOS
2010
14 years 10 months ago
2010
Abstract. In [24] Raddum and Semaev propose a technique to solve systems of polynomial equations over F2 as occurring in algebraic attacks on block ciphers. This approach is known ...
154
click to vote
TSE
2010
14 years 10 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
183
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we present a new compressed sensing model and reconstruction method for multi-detector signal acquisition. We extend the concept of the famous single-pixel camera to...
122
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
People take more and more photos at different time and different events, however, these photos are often put into one giant folder and they are seldom annotated or organized. As t...
166
click to vote
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
—When users submit new queries to a distributed stream processing system (DSPS), a query planner must allocate physical resources, such as CPU cores, memory and network bandwidth...