2777 search results - page 111 / 556 » Example centric programming |
112
click to vote
CONCURRENCY
2007
15 years 2 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
106
click to vote
JLP
2008
15 years 2 months ago
2008
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
115
click to vote
JISE
2006
15 years 2 months ago
2006
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
109
click to vote
SIAMJO
2008
15 years 2 months ago
2008
For a mathematical program with complementarity constraints (MPCC), we propose an active-set Newton method, which has the property of local quadratic convergence under the MPCC lin...
117
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...