2266 search results - page 124 / 454 » Generalizing parametric timing analysis |
101
Voted
SIGSOFT
2009
ACM
16 years 4 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 ...
112
Voted
FM
2009
Springer
15 years 10 months 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...
124
Voted
CODES
2005
IEEE
15 years 9 months 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...
160
Voted
CASES
2008
ACM
15 years 5 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...
139
Voted
HCI
2009
15 years 1 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...