5564 search results - page 81 / 1113 » Performance Modeling of HPC Applications |
131
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
119
Voted
CMG
2001
15 years 3 months ago
2001
What is the career path for a performance analyst? A capacity planner? Most technicians paid their dues in the trenches of systems programming or operations. Having done it all, t...
124
click to vote
WOSP
2010
ACM
15 years 2 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
131
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
139
Voted
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...