4350 search results - page 270 / 870 » Case studies for contract-based systems |
175
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...
164
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper studies performance of space-time coded (STC) systems with joint transmit and receive antenna selection over multiple input multiple output (MIMO) flat and frequenc...
184
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— We study coding and modulation rate adaptation problem for HARQ systems with partially observable state from cross-layer viewpoint. The rate of convolutionally coded MQAM is ad...
193
click to vote
ICDCS
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...
170
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...