1810 search results - page 167 / 362 » Informational Macrodynamics: System Modelling and Simulation... |
CODES
2004
IEEE
14 years 1 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
CODES
2008
IEEE
13 years 11 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...
HF
2002
13 years 9 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
—We propose a new scheme for limited feedback in MIMO systems. We consider transmit beamforming and receiver maximal ratio combining as a base for our work, and propose a novel b...