BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
6 × USA
Collaborated with:
M.Altun J.Bruck J.D.Backes W.Qian H.Jiang K.K.Parhi C.Neuhauser B.Fett N.Saraf K.Bazargan D.J.Lilja
Talks about:
stochast (3) comput (3) synthesi (2) arithmet (2) use (2) molecular (1) synchron (1) sequenti (1) reaction (1) reachabl (1)

Person: Marc D. Riedel

DBLP DBLP: Riedel:Marc_D=

Contributed to:

DATE 20142014
DATE 20132013
DAC 20112011
DAC 20102010
DAC 20092009
DAC 20082008
DAC 20072007
DAC 20032003

Wrote 8 papers:

DATE-2014-SarafBLR #probability #using
IIR filters using stochastic arithmetic (NS, KB, DJL, MDR), pp. 1–6.
DATE-2013-BackesR #reachability #using
Using cubes of non-state variables with property directed reachability (JDB, MDR), pp. 807–810.
Synchronous sequential computation with molecular reactions (HJ, MDR, KKP), pp. 836–841.
Lattice-based computation of Boolean functions (MA, MDR), pp. 609–612.
Nanoscale digital computation through percolation (MA, MDR, CN), pp. 615–616.
DAC-2008-QianR #logic #polynomial #probability #robust #synthesis
The synthesis of robust polynomial arithmetic with stochastic logic (WQ, MDR), pp. 648–653.
Synthesizing Stochasticity in Biochemical Systems (BF, JB, MDR), pp. 640–645.
DAC-2003-RiedelB #synthesis
The synthesis of cyclic combinational circuits (MDR, JB), pp. 163–168.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.