Sciweavers

2057 search results - page 192 / 412
» Scalable and Structured Scheduling
Sort
View
JSAT
2008
79views more  JSAT 2008»
13 years 8 months ago
PicoSAT Essentials
In this article we describe and evaluate optimized compact data structures for watching literals. Experiments with our SAT solver PicoSAT show that this low-level optimization not...
Armin Biere
ICASSP
2008
IEEE
14 years 2 months ago
Mixed-signal parallel compressed sensing and reception for cognitive radio
A parallel structure to do spectrum sensing in Cognitive Radio (CR) at sub-Nyquist rate is proposed. The structure is based on Compressed Sensing (CS) that exploits the sparsity o...
Zhuizhuan Yu, Sebastian Hoyos, Brian M. Sadler
NPC
2004
Springer
14 years 1 months ago
Paramecium: Assembling Raw Nodes into Composite Cells
In conventional DHTs, each node is assigned an exclusive slice of identifier space. Simple it is, such arrangement may be rough. In this paper we propose a generic component struc...
Ming Chen, Guangwen Yang, Yongwei Wu, Xuezheng Liu
CEC
2003
IEEE
14 years 1 months ago
An evolutionary approach to microstructure optimisation of stereolithographic models
The aim of this work is to utilize an evolutationary algorithm to evolve the microstructure of an object created by a stereolithography machine. This should be optimised to be able...
Siavash Haroun Mahdavi, Sean Hanna
IJCAI
2007
13 years 9 months ago
Edge Partitioning in External-Memory Graph Search
There is currently much interest in using external memory, such as disk storage, to scale up graph-search algorithms. Recent work shows that the local structure of a graph can be ...
Rong Zhou, Eric A. Hansen