1992 search results - page 280 / 399 » Memory modeling for system synthesis |
153
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
—Analytical models have been used to estimate optimal values for parameters such as tile sizes in the context of loop nests. However, important algorithms such as fast Fourier tr...
119
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
153
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
143
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
124
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...