Sciweavers

2853 search results - page 45 / 571
» On Coherence in Computer Algebra
Sort
View
122
Voted
IPPS
1998
IEEE
15 years 8 months ago
Deriving Efficient Cache Coherence Protocols through Refinement
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
Ratan Nalumasu, Ganesh Gopalakrishnan
93
Voted
ICCD
2007
IEEE
144views Hardware» more  ICCD 2007»
16 years 27 days ago
Application of symbolic computer algebra to arithmetic circuit verification
Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...
110
Voted
ISSAC
2009
Springer
141views Mathematics» more  ISSAC 2009»
15 years 10 months ago
Exact numerical computation in algebra and geometry
Chee-Keng Yap
92
Voted
MKM
2009
Springer
15 years 10 months ago
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Russell J. Bradford, James H. Davenport, Christoph...
254
Voted
ASCM
2007
Springer
378views Mathematics» more  ASCM 2007»
15 years 10 months ago
Evaluation of a Java Computer Algebra System
Heinz Kredel