187 search results - page 4 / 38 » Combining simulation and formal methods for system-level per... |
152
click to vote
ESTIMEDIA
2008
Springer
15 years 5 months ago
2008
Springer
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
148
click to vote
HIPC
2003
Springer
15 years 9 months ago
2003
Springer
High performance computers currently under construction, such as IBM’s Blue Gene/L, consisting of large numbers (64K) of low cost processing elements with relatively small local...
158
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
159
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
121
Voted
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...