10072 search results - page 428 / 2015 » Composition of Model Programs |
172
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
203
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
178
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
192
click to vote
GPEM
2002
15 years 6 months ago
2002
A representation-less model for genetic programming is presented. The model is intended to examine the mechanisms that lead to bloat in genetic programming (GP). We discuss two hyp...
204
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...