Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Lim, Junghee"'
Autor:
Lim, Junghee, Duong, Tam, Lee, Guewha, Seong, Baik Lin, El-Rifai, Wael, Ruley, H. Earl, Jo, Daewoong
Publikováno v:
In Biomaterials August 2013 34(26):6261-6271
Autor:
Meltzer, Eli O., Stahlman, Jon E., Leflein, Jeffrey, Meltzer, Steven, Lim, Junghee, Dalal, Anand A., Prillaman, Barbara A., Philpot, Edward E.
Publikováno v:
In Clinical Therapeutics February 2008 30(2):271-279
Autor:
Máspero, Jorge F., Rosenblut, Andres, Finn, Albert, Jr, Lim, Junghee, Wu, Wei, Philpot, Edward
Publikováno v:
In Otolaryngology - Head and Neck Surgery 2008 138(1):30-37
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
ELDER, MATT1 fiddlemath@gmail.com, LIM, JUNGHEE1 junghee@grammatech.com, SHARMA, TUSHAR1 tsharma@cs.wisc.edu, ANDERSEN, TYCHO1 tycho@tycho.ws, REPS, THOMAS2
Publikováno v:
ACM Transactions on Programming Languages & Systems. Oct2014, Vol. 36 Issue 4, p11:1-11:73. 73p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
IndraStra Global.
This paper considers some known abstract domains for affine-relation analysis, along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine relations over variables that hold
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e269962c86816e6214340ccf3673d3f
http://digital.library.wisc.edu/1793/65531
http://digital.library.wisc.edu/1793/65531
Publikováno v:
IndraStra Global.
In abstract interpretation, the choice of an abstract domain fixes a limit on the precision of the inductive invariants that one can express; however, for a given abstract domain A, there is a most-precise (``strongest'', ``best'') inductive A-invari
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::2cfeb5377767fd87db8ffa8fc9e26f94
http://digital.library.wisc.edu/1793/65368
http://digital.library.wisc.edu/1793/65368
Autor:
Lim, Junghee, Reps, Thomas
Publikováno v:
IndraStra Global.
This paper describes the design and implementation of a system, called TSL (for "Transformer Specification Language"), that provides a systematic solution to the problem of creating retargetable tools for analyzing machine code. TSL is a tool generat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::8c5c2cdf30492928743af6b0ada3c06f
https://igi.indrastra.com/items/show/85527
https://igi.indrastra.com/items/show/85527
Autor:
Lim, Junghee, Reps, Thomas
Publikováno v:
IndraStra Global.
Botnets are a major threat to the security of computer systems and the Internet. An increasing number of individual Internet sites have been compromised by attacks from all across the world to become part of various kinds of malicious botnets. The In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn23813652::be86fa21735158d15fdc477fc8efafb8
http://digital.library.wisc.edu/1793/60696
http://digital.library.wisc.edu/1793/60696