7892 search results - page 276 / 1579 » Programming with Models |
114
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the program execution framework being developed by the Grid Application Development Software (GrADS) Project. The goal of this framework is to provide good re...
142
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
114
click to vote
PODS
1991
ACM
15 years 5 months ago
1991
ACM
A novel approach is proposed for ezpresaing and computing eficienily a large cla88 of problem8, including jinding the shortest path in a graph, that were previously considered imp...
118
click to vote
ENTCS
2007
15 years 1 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
108
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...