1154 search results - page 66 / 231 » Mathematizing C concurrency |
89
Voted
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
We provide a polymorphic framework for radix-n Fast Fourier Transforms (FFTs) where all known kinds of monomoporhic radix-n algorithms can be obtained by specialization. The framew...
115
click to vote
CORR
2008
Springer
15 years 21 days ago
2008
Springer
This article examines rules of style for text, graphics, and mathematics and applies these rules to spreadsheets. The article describes the new style in detail with an example and...
83
Voted
AMC
2006
15 years 20 days ago
2006
We first show that the Halting Function (the noncomputable function that solves the Halting Problem) has explicit expressions in the language of calculus. Out of that fact we elab...
122
Voted
IJON
2006
15 years 18 days ago
2006
We introduce a new approach to model the behavior of neuronal signal transduction networks using stochastic differential equations. We present first a mathematical formulation for...
72
Voted
MSCS
2008
15 years 17 days ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...