6149 search results - page 99 / 1230 » Revealing the programming process |
111
Voted
ICLP
2001
Springer
15 years 5 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
159
click to vote
WWW
2011
ACM
14 years 7 months ago
2011
ACM
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
92
Voted
HIPC
2000
Springer
15 years 4 months ago
2000
Springer
: This paper presents the results from running five experiments with the Chime Parallel Processing System. The Chime System is an implementation of the CC++ programming language (p...
113
click to vote
COORDINATION
2009
Springer
16 years 1 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
147
click to vote
EDBT
1992
ACM
15 years 4 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...