9626 search results - page 458 / 1926 » Invariant Based Programming |
158
click to vote
PPAM
2007
Springer
16 years 28 days ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
156
click to vote
SPIN
2007
Springer
16 years 28 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
195
click to vote
TGC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
191
click to vote
SBACPAD
2005
IEEE
16 years 12 days ago
2005
IEEE
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
197
click to vote
ECSQARU
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...