7892 search results - page 26 / 1579 » Programming with Models |
ICDCS
1996
IEEE
14 years 19 days ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calcula...
JAR
2008
13 years 8 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
PPAM
2007
Springer
14 years 2 months ago
2007
Springer
There are several parallel programming models available for numerical computations at different levels of expressibility and ease of use. For the development of new domain speci...