Sciweavers

1594 search results - page 188 / 319
» Sampling and Reconstruction of Operators
Sort
View
JLP
2011
106views more  JLP 2011»
13 years 1 days ago
Concurrent Kleene Algebra and its Foundations
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
Tony Hoare, Bernhard Möller, Georg Struth, Ia...
CALCO
2011
Springer
205views Mathematics» more  CALCO 2011»
12 years 9 months ago
Bases as Coalgebras
Abstract. The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of thi...
Bart Jacobs
ICDE
2000
IEEE
183views Database» more  ICDE 2000»
14 years 10 months ago
Accurate Estimation of the Cost of Spatial Selections
Optimizing queries that involve operations on spatial data requires estimating the selectivity and cost of these operations. In this paper, we focus on estimating the cost of spat...
Ashraf Aboulnaga, Jeffrey F. Naughton
EWSN
2010
Springer
14 years 4 months ago
Energy-Aware Sparse Approximation Technique (EAST) for Rechargeable Wireless Sensor Networks
Due to non-homogeneous spread of sunlight, sensing nodes typically have non-uniform energy profiles in rechargeable Wireless Sensor Networks (WSNs). An energy-aware work load dist...
Rajib Kumar Rana, Wen Hu, Chun Tung Chou
CLUSTER
2009
IEEE
14 years 3 months ago
Topics on measuring real power usage on high performance computing platforms
—Power has recently been recognized as one of the major obstacles in fielding a Peta-FLOPs class system. To reach Exa-FLOPs, the challenge will certainly be compounded. In this ...
James H. Laros, Kevin T. Pedretti, Suzanne M. Kell...