2578 search results - page 75 / 516 » Performance modeling for early analysis of multi-core system... |
152
Voted
WSC
2008
15 years 7 months ago
2008
We present aspects of a simulated based system for analyzing and designing production control systems. The core of the system is a simulation of a manufacturing system operating w...
174
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
135
Voted
ISPA
2004
Springer
15 years 10 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
175
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
170
click to vote
EMSOFT
2007
Springer
15 years 11 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...