474 search results - page 34 / 95 » Parallel Data Flow Analysis for OpenMP Programs |
120
click to vote
ESCIENCE
2007
IEEE
15 years 5 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
147
Voted
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
109
click to vote
DSN
2006
IEEE
15 years 7 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
134
click to vote
MTPP
2010
14 years 8 months ago
2010
The ubiquity of many-core architectures poses challenges to software developers to make scalable software. To parallelize data-intensive applications on a many-core platform, one h...
126
click to vote
RV
2010
Springer
15 years 6 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...