3457 search results - page 263 / 692 » A Symbol Is Not a Symbol |
186
click to vote
ISSAC
2007
Springer
16 years 22 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
181
click to vote
ISSAC
2007
Springer
16 years 22 days ago
2007
Springer
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
169
click to vote
VMCAI
2007
Springer
16 years 21 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
165
click to vote
WEA
2007
Springer
16 years 21 days ago
2007
Springer
Given a sequence S of n symbols over some alphabet Σ, we develop a new compression method that is (i) very simple to implement; (ii) provides O(1) time random access to any symbol...
160
click to vote
ACSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...