1992 search results - page 137 / 399 » Memory modeling for system synthesis |
161
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
We demonstrate that data reordering can substantially improve the performance of fine-grained irregular sharedmemory benchmarks, on both hardware and software shared-memory syste...
169
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
162
click to vote
HIPEAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
157
click to vote
ASIAMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Multicriteria analysis can be incorporated as a method to model preferences and facilitate decision making within a group of decision makers. In this paper we present a Group Deci...
155
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...