Search Sciweavers | Sciweavers

2853 search results - page 45 / 571

» On Coherence in Computer Algebra

click to vote

IPPS
1998
IEEE

88views Distributed And Parallel Com...» more IPPS 1998»

Deriving Efficient Cache Coherence Protocols through Refinement

14 years 1 months ago

Download ipdps.cc.gatech.edu

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

claim paper

Read More »

click to vote

ICCD
2007
IEEE

144views Hardware» more ICCD 2007»

Application of symbolic computer algebra to arithmetic circuit verification

14 years 5 months ago

Download www.aoki.ecei.tohoku.ac.jp

Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsu...

claim paper

Read More »

click to vote

ISSAC
2009
Springer

141views Mathematics» more ISSAC 2009»

Exact numerical computation in algebra and geometry

14 years 3 months ago

Download www.cs.nyu.edu

Chee-Keng Yap

claim paper

Read More »

click to vote

MKM
2009
Springer

90views Information Technology» more MKM 2009»

A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy

14 years 3 months ago

Download people.bath.ac.uk

Russell J. Bradford, James H. Davenport, Christoph...

claim paper

Read More »

click to vote

ASCM
2007
Springer

378views Mathematics» more ASCM 2007»

Evaluation of a Java Computer Algebra System

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers