Sciweavers

4 search results - page 1 / 1
» am 1989
Sort
View
135
Voted
AM
1989
310views Mathematics» more  AM 1989»
15 years 2 months ago
Design of a Specification Language by Abstract Syntax Engineering
Jos C. M. Baeten, Jan A. Bergstra
122
Voted
POPL
1989
ACM
15 years 2 months ago
How to Make ad-hoc Polymorphism Less ad-hoc
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
102
Voted
SIAMSC
2008
149views more  SIAMSC 2008»
14 years 10 months ago
Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation
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...
99
Voted
SIAMCOMP
1998
96views more  SIAMCOMP 1998»
14 years 10 months ago
Fault-Tolerant Computation in the Full Information Model
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