Search Sciweavers | Sciweavers

2853 search results - page 111 / 571

» On Coherence in Computer Algebra

127

click to vote

EUROPAR
2008
Springer

89views Distributed And Parallel Com...» more EUROPAR 2008»

Meta-programming Applied to Automatic SMP Parallelization of Linear Algebra Code

15 years 5 months ago

Download seminaire.lrde.epita.fr

We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...

Joel Falcou, Jocelyn Sérot, Lucien Pech, Je...

claim paper

Read More »

101

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

click to vote

ICCS
2005
Springer

99views Applied Computing» more ICCS 2005»

An Algebraic Method for Analyzing Open-Loop Dynamic Systems

15 years 9 months ago

Download www.apmaths.uwo.ca

Wenqin Zhou, David J. Jeffrey, Gregory J. Reid

claim paper

Read More »

124

click to vote

RELMICS
2005
Springer

97views Theoretical Computer Science» more RELMICS 2005»

A Framework for Kleene Algebra with an Embedded Structure

15 years 9 months ago

Download unit.aist.go.jp

Hitoshi Furusawa

claim paper

Read More »

click to vote

MFCS
2004
Springer

111views Theoretical Computer Science» more MFCS 2004»

Algebraic Recognizability of Languages

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers