6274 search results - page 111 / 1255 » Proofs, Programs, Processes |
152
click to vote
CASES
2004
ACM
15 years 6 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
146
Voted
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
102
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...
160
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...
114
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 (...