1432 search results - page 229 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
147
click to vote
ISPASS
2008
IEEE
15 years 9 months ago
2008
IEEE
—The potential for improving the performance of data-intensive scientific programs by enhancing data reuse in cache is substantial because CPUs are significantly faster than me...
133
click to vote
ISPASS
2008
IEEE
15 years 9 months ago
2008
IEEE
Although the best processor design for executing a specific workload does depend on the characteristics of the workload, it can not be determined without factoring-in the effect o...
143
click to vote
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
254
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
123
Voted
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...