1901 search results - page 133 / 381 » Predicting Program Properties from |
261
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
130
click to vote
EUROPAR
2005
Springer
15 years 8 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
133
click to vote
SRDS
1999
IEEE
15 years 7 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
123
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
115
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...