805 search results - page 41 / 161 » Description and Simulation of Hardware Software Systems with... |
110
click to vote
EUROMICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
160
click to vote
RTAS
1997
IEEE
15 years 6 months ago
1997
IEEE
ÐWith effective packet-scheduling mechanisms, modern integrated networks can support the diverse quality-of-service requirements of emerging applications. However, arbitrating bet...
153
click to vote
IEEEPACT
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
114
click to vote
ICECCS
2007
IEEE
15 years 5 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
151
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...