Sciweavers

15033 search results - page 2577 / 3007
» Complexity Theory and Algorithms
Sort
View
FOCS
2006
IEEE
16 years 28 days ago
On the Compressibility of NP Instances and Cryptographic Applications
We study compression that preserves the solution to an instance of a problem rather than preserving the instance itself. Our focus is on the compressibility of NP decision problem...
Danny Harnik, Moni Naor
186
Voted
IPPS
2006
IEEE
16 years 27 days ago
GPU-ABiSort: optimal parallel sorting on stream architectures
In this paper, we present a novel approach for parallel sorting on stream processing architectures. It is based on adaptive bitonic sorting. For sorting n values utilizing p strea...
Alexander Greß, Gabriel Zachmann
ISPASS
2006
IEEE
16 years 26 days ago
Modeling TCAM power for next generation network devices
Applications in Computer Networks often require high throughput access to large data structures for lookup and classification. Many advanced algorithms exist to speed these searc...
Banit Agrawal, Timothy Sherwood
183
Voted
SYNASC
2006
IEEE
103views Algorithms» more  SYNASC 2006»
16 years 26 days ago
Incremental Deterministic Planning
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
207
Voted
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
16 years 24 days ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
« Prev « First page 2577 / 3007 Last » Next »