26151 search results - page 313 / 5231 » Parameterized system design |
154
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we are concerned with a two-hop multi-input-multi-output (MIMO) amplify-andforward (AF) relay system consisting of a source node (SN), a relay node (RN), and a dest...
171
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
A key prerequisite for residential energy conservation is knowing when and where energy is being spent. Unfortunately, the current generation of energy reporting devices only prov...
172
click to vote
NOSSDAV
2010
Springer
15 years 5 months ago
2010
Springer
Video-on-demand (VoD) is a next-generation Internet application of increasing interest allowing users to start watching a movie almost instantaneously by downloading the video on-...
171
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
187
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It