3441 search results - page 270 / 689 » Parallel Logic Programming Systems |
135
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
136
Voted
WSC
2008
15 years 6 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
132
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
110
Voted
DDEP
2000
Springer
15 years 8 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
125
Voted
ICPP
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...