4725 search results - page 328 / 945 » Dependence-Based Program Analysis |
183
click to vote
FSTTCS
2005
Springer
16 years 23 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
197
click to vote
IFIP
2010
Springer
16 years 20 hour ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
173
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
175
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Tuning parallel applications requires the use of effective tools for detecting performance bottlenecks. Along a parallel program execution, many individual situations of performan...
213
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...