Sciweavers

1157 search results - page 115 / 232
» Events Can Make Sense
Sort
View
TLCA
2009
Springer
14 years 3 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
MOBIHOC
2006
ACM
14 years 3 months ago
Wakeup scheduling in wireless sensor networks
A large number of practical sensing and actuating applications require immediate notification of rare but urgent events and also fast delivery of time sensitive actuation command...
Abtin Keshavarzian, Huang Lee, Lakshmi Venkatraman
BMCBI
2010
118views more  BMCBI 2010»
13 years 9 months ago
Towards realistic benchmarks for multiple alignments of non-coding sequences
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
Jaebum Kim, Saurabh Sinha
EMSOFT
2010
Springer
13 years 7 months ago
Power-aware temporal isolation with variable-bandwidth servers
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
Silviu S. Craciunas, Christoph M. Kirsch, Ana Soko...
ISIPTA
2005
IEEE
155views Mathematics» more  ISIPTA 2005»
14 years 2 months ago
Estimation of Chaotic Probabilities
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
Leandro Chaves Rêgo, Terrence L. Fine