1229 search results - page 113 / 246 » Graph-Based Design and Analysis of Dynamic Software Architec... |
129
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
105
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
151
Voted
DAC
2004
ACM
16 years 4 months ago
2004
ACM
Just-in-time (JIT) compilation has previously been used in many applications to enable standard software binaries to execute on different underlying processor architectures. Howev...
125
Voted
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
122
Voted
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...