6149 search results - page 34 / 1230 » Revealing the programming process |
100
Voted
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
159
click to vote
CCE
2008
15 years 2 months ago
2008
Deterministic optimization approaches have been well developed and widely used in the process industry to accomplish off-line and on-line process optimization. The challenging tas...
113
Voted
DSE
1998
15 years 2 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
106
click to vote
ICECCS
2010
IEEE
15 years 1 months ago
2010
IEEE
—We present a model that explains immunological memory as a consequence of the recursive proliferation of reactive and suppressive cells, where the relative proportion of these c...
124
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...