5355 search results - page 485 / 1071 » Modules |
177
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
132
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
125
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...
143
click to vote
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
— Much work has been done aiming at minimization of energy consumption for transmission of information in energy constrained wireless networks. However, most of them assume uncod...
142
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, energy detectors are developed for wideband and ultra-wideband (UWB) pulse position modulation (PPM). Exact bit error probability (BEP) formulas are derived under di...