3736 search results - page 398 / 748 » Generative Programming |
144
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
164
click to vote
IFIP
2000
Springer
15 years 10 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
168
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
DSP architectures typically provide indirect addressing modes with auto-increment and decrement. In addition, indexing mode is not available, and there are usually few, if any, ge...
159
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...
170
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The objective of Molecular Dynamics (MD) simulations is to determine the shape of a molecule in a given biomolecular environment. These simulations are very demanding computationa...