1163 search results - page 200 / 233 » Case Studies of Model Checking for Embedded System Designs |
127
click to vote
JSAC
2007
15 years 1 months ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...
134
click to vote
ACMACE
2009
ACM
15 years 5 months ago
2009
ACM
Nowadays, video games propose rich scenarios with movementsbased game play, through the manipulation of dedicated devices. The motivation of this study is the elaboration of a com...
125
click to vote
STORAGESS
2005
ACM
15 years 7 months ago
2005
ACM
As enterprise storage needs grow, it is challenging to manage storage systems. The costs of locally managing, supporting, and maintaining resilience in storage systems has skyrock...
101
click to vote
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—Recent developments have shown the possibility of leveraging silicon nanophotonic technologies for chip-scale interconnection fabrics that deliver high bandwidth and power effi...
232
click to vote
RTAS
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...