Search Sciweavers | Sciweavers

11716 search results - page 27 / 2344

» Computable symbolic dynamics

POPL
2009
ACM

188views Programming Languages» more POPL 2009»

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures

14 years 4 months ago

Download www.macs.hw.ac.uk

With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...

Abdallah Al Zain, Kevin Hammond, Jost Berthold, Ph...

claim paper

Read More »

click to vote

AMC
2006

125views more AMC 2006»

A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG

13 years 9 months ago

Download w3.gazi.edu.tr

This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...

Seref Mirasyedioglu, Tolga Güyer

claim paper

Read More »

click to vote

ICCS
2007
Springer

140views Applied Computing» more ICCS 2007»

On the Virtues of Generic Programming for Symbolic Computation

14 years 3 months ago

Download www.csd.uwo.ca

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

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 6 months ago