4370 search results - page 317 / 874 » Algebra of Logic Programming |
77
Voted
ETFA
2008
IEEE
15 years 7 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...
97
Voted
ENTCS
2002
15 years 18 days 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...
TOMS
2008
15 years 7 days 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...
97
Voted
TCC
2010
Springer
14 years 11 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 (...
203
click to vote
POPL
2007
ACM
16 years 1 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...