9110 search results - page 353 / 1822 » Formally-Based Design Evaluation |
230
click to vote
EWSN
2006
Springer
16 years 6 months ago
2006
Springer
For the proper design of energy-efficient error control schemes some insight into channel error patterns is needed. This paper presents bit error and packet loss measurements taken...
134
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
—This paper compares the energy-delay tradeoff curves of 32-bit static barrel and funnel shifters. The Stanford Circuit Optimization Tool (SCOT) is used to determine best transis...
152
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we present algorithmic and architectural methodology for building Particle Filters in hardware. Particle filtering is a new paradigm for filtering in presence of n...
164
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Cloud computing, with its promise of (almost) unlimited computation, storage and bandwidth, is increasingly becoming the infrastructure of choice for many organizations. As applic...
143
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
I propose the concept of expressive surfaces as a research theme to investigate and explore aesthetics of computational objects with its emphasis on forms and materials. In this p...