627 search results - page 8 / 126 » Programming multi-core architectures using Data-Flow techniq... |
ESEC
1997
Springer
15 years 1 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...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
FCCM
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a novel reconfigurable data flow processing architecture that promises high performance by explicitly targeting both fine- and course-grained parallelism. This...
95
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
ICSM
1996
IEEE
15 years 1 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...