Sciweavers

10055 search results - page 392 / 2011
» Structured programming using processes
Sort
View
94
Voted
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 6 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
IPPS
1994
IEEE
15 years 5 months ago
Toward Flexible Control of the Temporal Mapping from Concurrent Program Events to Animations
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
Eileen Kraemer, John T. Stasko
96
Voted
TOG
2008
106views more  TOG 2008»
15 years 22 days ago
BSGP: bulk-synchronous GPU programming
We present BSGP, a new programming language for general purpose computation on the GPU. A BSGP program looks much the same as a sequential C program. Programmers only need to supp...
Qiming Hou, Kun Zhou, Baining Guo
117
Voted
ICIC
2009
Springer
15 years 7 months ago
Function Sequence Genetic Programming
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
Shixian Wang, Yuehui Chen, Peng Wu
ICLP
2003
Springer
15 years 6 months ago
Uniform Equivalence of Logic Programs under the Stable Model Semantics
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
Thomas Eiter, Michael Fink