Sciweavers

3379 search results - page 188 / 676
» Powers of Two
Sort
View
CORR
2008
Springer
64views Education» more  CORR 2008»
15 years 6 months ago
Implementing general belief function framework with a practical codification for low complexity
In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
Arnaud Martin
ENTCS
2006
100views more  ENTCS 2006»
15 years 6 months ago
Typed Mobile Ambients in Maude
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
Fernando Rosa Velardo, Clara Segura, Alberto Verde...
JSAC
2006
106views more  JSAC 2006»
15 years 6 months ago
Mathematical Decomposition Techniques for Distributed Cross-Layer Optimization of Data Networks
Abstract--Network performance can be increased if the traditionally separated network layers are jointly optimized. Recently, network utility maximization has emerged as a powerful...
Björn Johansson, Pablo Soldati, Mikael Johans...
IJES
2007
82views more  IJES 2007»
15 years 6 months ago
Inter-program optimisations for disk energy reduction
: Compiler support for power and energy management is effective in reducing power and energy consumption of programs. Compilers typically take single programs as input without the ...
Jerry Hom, Ulrich Kremer
ETS
2002
IEEE
91views Hardware» more  ETS 2002»
15 years 6 months ago
Keeping it flexible: integrating technology into distance education in the South Pacific
At the University of the South Pacific, a regional university serving twelve Pacific island nations, pressures for using technology and the rapid rate of technological change are ...
Melissa Gold, Jennie Swann, Irene Yee Chief