7961 search results - page 358 / 1593 » Input-Output Model Programs |
163
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...
139
click to vote
PDCAT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
152
click to vote
HASE
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
153
click to vote
TSE
2010
15 years 3 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
146
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...