620 search results - page 62 / 124 » Abstract Analysis of Symbolic Executions |
91
Voted
WCET
2010
14 years 10 months ago
2010
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
96
Voted
IWPSE
2005
IEEE
15 years 6 months ago
2005
IEEE
The evolution of Web Applications needs to be supported by the availability of proper analysis and design documents. UML use case diagrams are certainly useful to identify feature...
99
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
111
Voted
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Profiling is often the method of choice for performance analysis of parallel applications due to its low overhead and easily comprehensible results. However, a disadvanta...
103
Voted
SQJ
2002
15 years 5 days ago
2002
Abstract. The work of Voas and colleagues has introduced, refined and applied the propagation, infection and execution (PIE) analysis technique for measuring testability of program...