Sciweavers

3457 search results - page 145 / 692
» A Symbol Is Not a Symbol
Sort
View
HVC
2007
Springer
109views Hardware» more  HVC 2007»
16 years 17 days ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser
ICCS
2007
Springer
16 years 17 days ago
On the Virtues of Generic Programming for Symbolic Computation
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
Xin Li, Marc Moreno Maza, Éric Schost