3507 search results - page 48 / 702 » Slicing for architectural analysis |
ESEC
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
WCET
2008
14 years 6 days ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
CAMP
2005
IEEE
14 years 4 months ago
2005
IEEE
— This paper presents an architecture for cognitive analysis of streaming video, in which a new module can easily be plugged in, to add to or even compete with existing functiona...
MICRO
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents an analysis of the performance of the shader processing units in a modern Graphics Processor Unit (GPU) architecture using real graphic applications. The archi...