Sciweavers

957 search results - page 35 / 192
» Addition Chain Heuristics
Sort
View
AICCSA
2005
IEEE
134views Hardware» more  AICCSA 2005»
14 years 3 months ago
Maximum lifetime broadcasting in wireless networks
We consider the problem of broadcasting messages in a wireless energy-limited network so as to maximize network lifetime. An O(e log e) algorithm to construct a broadcast tree tha...
J. Park, Salim Sahni
RTA
2010
Springer
14 years 1 months ago
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
Takahito Aoto
EURODAC
1995
IEEE
127views VHDL» more  EURODAC 1995»
14 years 1 months ago
Layout synthesis for datapath designs
DPLAYOUT is a layout synthesis tool for bit-sliced datapath designs targeting standard-cell libraries. We developed fast and efficient heuristics for placing the cells in a bit-s...
Naveen Buddi, Malgorzata Chrzanowska-Jeske, Charle...
APWEB
2006
Springer
14 years 1 months ago
An RDF Storage and Query Framework with Flexible Inference Strategy
In the Semantic Web, RDF (Resource Description Framework) and RDF Schema are commonly used to describe metadata. There are a great many RDF data in current web, therefore, efficien...
Wennan Shen, Yuzhong Qu
SWARM
2008
SPRINGER
115views Optimization» more  SWARM 2008»
13 years 10 months ago
Path formation in a robot swarm
We present two swarm intelligence control mechanisms used for distributed robot path formation. In the first, the robots form linear chains. We study three variants of robot chains...
Shervin Nouyan, Alexandre Campo, Marco Dorigo