Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Park, Daejun
11  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Language-Parametric Compiler Validation with Application to..:

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao..
doi:10.5281/zenodo.4321676.  , 2020
Link: https://zenodo.org/recor..
 
?
2

Language-Parametric Compiler Validation with Application to..:

Kasampalis, Theodoros ; Park, Daejun ; Lin, Zhengyao..
doi:10.5281/zenodo.4321676.  , 2020
Link: https://zenodo.org/recor..
 
?
3

Invariant Synthesis for Incomplete Verification Engines:

Neider, Daniel ; Garg, Pranav ; Madhusudan, P..
http://arxiv.org/abs/1712.05581.  , 2017
Link: http://arxiv.org/abs/171..
 
?
4

Stackable Transactional File System Using Kernel-Level WAL:

Daejun Park ; Dongkun Shin
https://ieeexplore.ieee.org/document/9919192/.  , 2022
Link: https://doi.org/10.1109/..
 
?
5

Interactive Proofs for Rounding Arithmetic:

Shuo Chen ; Jung Hee Cheon ; Dongwoo Kim.
https://ieeexplore.ieee.org/document/9954370/.  , 2022
Link: https://doi.org/10.1109/..
 
?
6

sdasgup3/PLDI19-ArtifactEvaluation:

Sandeep Dasgupta ; Daejun Park
https://github.com/sdasgup3/PLDI19-ArtifactEvaluation/tree/v1.1.  , 2020
Link: https://zenodo.org/recor..
 
?
7

sdasgup3/PLDI19-ArtifactEvaluation: X86-64-semantics:

Sandeep Dasgupta ; Daejun Park
https://github.com/sdasgup3/PLDI19-ArtifactEvaluation/tree/v1.0.  , 2019
Link: https://zenodo.org/recor..
 
?
8

Quadratic Taylor Approximation Demosaicking System Using Po..:

Daejun Park ; Jechang Jeong
https://ieeexplore.ieee.org/document/8482106/.  , 2018
Link: https://doi.org/10.1109/..
 
?
9

Decision-Based Demosaicking Algorithm Using Bayesian Theore:

Daejun Park ; Jechang Jeong
https://ieeexplore.ieee.org/document/8452901/.  , 2018
Link: https://doi.org/10.1109/..
 
?
10

Weighted Sum-Based Color Filter Array Interpolation Using T..:

Daejun Park ; Jechang Jeong
https://ieeexplore.ieee.org/document/8452902/.  , 2018
Link: https://doi.org/10.1109/..
 
?
11

Bioavailability of nanoemulsified conjugated linoleic acid ..:

Kim, Dongyeop ; Park, Jin-Hong ; Kweon, Dae-Jun.
info:eu-repo/semantics/altIdentifier/doi/10.2147/IJN.S38430.  , 2013
Link: https://www.dovepress.co..
 
1-11