3342 search results - page 361 / 669 » Symbolic Robustness Analysis |
189
click to vote
ICFP
2005
ACM
16 years 10 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
167
click to vote
ACNS
2005
Springer
16 years 9 days ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
159
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
179
click to vote
ISSAC
2005
Springer
16 years 8 days ago
2005
Springer
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...
195
Voted
CAV
2004
Springer
16 years 5 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...