2777 search results - page 429 / 556 » Example centric programming |
157
click to vote
ISPAN
2002
IEEE
15 years 7 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...
ICSE
2010
IEEE-ACM
15 years 7 months ago
2010
IEEE-ACM
A fundamental problem of finding applications that are highly relevant to development tasks is the mismatch between the high-level intent reflected in the descriptions of these ...
135
Voted
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper addresses model reduction for a Markov chain on a large state space. A simulation-based framework is introduced to perform state aggregation of the Markov chain base...
128
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Executing large number of independent tasks or tasks that perform minimal inter-task communication in parallel is a common requirement in many domains. In this paper, we present o...
108
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...