210 search results - page 16 / 42 » Presenting Functors by Operations and Equations |
208
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
123
click to vote
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
149
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
130
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
140
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We present a fast direct solver methodology for the Dirichlet biharmonic problem in a rectangle. The solver is applicable in the case of the second order Stephenson scheme [34] as ...