10669 search results - page 1758 / 2134 » Software - Implemented Self-healing System |
156
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
203
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
165
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
190
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
180
click to vote
MKM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...