9267 search results - page 1573 / 1854 » Expectation-Oriented Analysis and Design |
198
click to vote
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We consider a variant of the classic multi-armed bandit problem (MAB), which we call FEEDBACK MAB, where the reward obtained by playing each of n independent arms varies according...
316
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
195
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...
196
click to vote
EMSOFT
2007
Springer
16 years 29 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
198
click to vote
IPSN
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we present a wireless sensor platform designed for processing multipoint human motion with low latency and high resolution. One application considered here is inter...