2266 search results - page 124 / 454 » Generalizing parametric timing analysis |
148
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
153
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
165
click to vote
CODES
2005
IEEE
16 years 13 hour ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
198
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
192
click to vote
HCI
2009
15 years 4 months ago
2009
In general, most search engines display a certain number of search results on a search results page at one time, separating the entire search results into multiple search results p...