4350 search results - page 270 / 870 » Case studies for contract-based systems |
207
click to vote
TOOLS
2009
IEEE
16 years 2 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...
191
click to vote
ICC
2007
IEEE
16 years 1 months 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...
199
click to vote
GLOBECOM
2006
IEEE
16 years 1 months 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...
218
click to vote
ICDCS
2006
IEEE
16 years 1 months 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...
191
click to vote
IPPS
2006
IEEE
16 years 1 months 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...