4370 search results - page 317 / 874 » Algebra of Logic Programming |
102
click to vote
ETFA
2008
IEEE
15 years 9 months ago
2008
IEEE
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
121
click to vote
ENTCS
2002
15 years 2 months ago
2002
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
108
click to vote
TOMS
2008
15 years 2 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
112
click to vote
TCC
2010
Springer
15 years 1 months ago
2010
Springer
Previous work on program obfuscation gives strong negative results for general-purpose obfuscators, and positive results for obfuscating simple functions such as equality testing (...
227
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...