Search Sciweavers | Sciweavers

54

click to vote

AM
1989

310views Mathematics» more AM 1989»

Design of a Specification Language by Abstract Syntax Engineering

14 years 2 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

50

click to vote

POPL
1989
ACM

176views Programming Languages» more POPL 1989»

How to Make ad-hoc Polymorphism Less ad-hoc

14 years 2 months ago

Download web.mit.edu

raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...

Philip Wadler, Stephen Blott

claim paper

Read More »

45

click to vote

SIAMSC
2008

149views more SIAMSC 2008»

Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation

13 years 10 months ago

Download www.hamilton.ie

In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...

Peter Deuflhard, Wilhelm Huisinga, T. Jahnke, Mich...

claim paper

Read More »

40

click to vote

SIAMCOMP
1998

96views more SIAMCOMP 1998»

Fault-Tolerant Computation in the Full Information Model

13 years 10 months ago

Download www.cs.huji.ac.il

We initiate an investigation of general fault-tolerant distributed computation in the full-information model. In the full information model no restrictions are made on the computat...

Oded Goldreich, Shafi Goldwasser, Nathan Linial

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers