12333 search results - page 556 / 2467 » System Level Modelling for Hardware Software Systems |
187
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
162
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
This workshop paper reports work in progress on NZTM, a nonblocking, zero-indirection object-based hybrid transactional memory system. NZTM can execute transactions using best-eff...
123
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Future computing systems will feature many cores that run fast, but might show more faults compared to existing CMOS technologies. New software methodologies must be adopted to ...
183
click to vote
ISCAS
2003
IEEE
16 years 10 days ago
2003
IEEE
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
196
click to vote
SEKE
2005
Springer
16 years 16 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...