2065 search results - page 93 / 413 » Using Architectural Models at Runtime: Research Challenges |
138
click to vote
RTS
2006
15 years 4 months ago
2006
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
147
click to vote
HPCA
2008
IEEE
16 years 4 months ago
2008
IEEE
We apply Amdahl's Law to multicore chips using symmetric cores, asymmetric cores, and dynamic techniques that allows cores to work together on sequential execution. To Amdahl...
145
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
136
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, we propose a cost-based model to evaluate the resources that each node has to contribute for participating in an overlay network. Such a cost model allows to gau...
122
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
— As the geometries of the transistors reach the physical limits of operation, one of the main design challenges of Systems-on-Chips (SoCs) will be to provide dynamic (run-time) ...