17 search results - page 4 / 4 » lctrts 2010 |
142
click to vote
LCTRTS
2010
Springer
14 years 11 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
148
click to vote
LCTRTS
2010
Springer
14 years 11 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...