يعرض 1 - 10 نتائج من 92 نتيجة بحث عن '"Sukyoung Ryu"', وقت الاستعلام: 0.90s تنقيح النتائج
  1. 1
    دورية أكاديمية
    GPU-accelerated framework for intracoronary optical coherence tomography imaging at the push of a button.

    المؤلفون: Myounghee Han, Kyunghun Kim, Sun-Joo Jang, Han Saem Cho, Brett E Bouma, Wang-Yuhl Oh, Sukyoung Ryu

    المصدر: PLoS ONE, Vol 10, Iss 4, p e0124192 (2015)

    مصطلحات موضوعية: Medicine, Science

    وصف الملف: electronic resource

    Relation: http://europepmc.org/articles/PMC4400174?pdf=render; https://doaj.org/toc/1932-6203

    URL الوصول: https://doaj.org/article/f840cd62debc437ca5ba5137c9634518

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Exception analysis for multithreaded Java programs

    المؤلفون: Sukyoung Ryu, Kwangkeun Yi

    المصدر: Proceedings Second Asia-Pacific Conference on Quality Software Asia-Pacific conference on quality software Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on. :23-30 2001

    Relation: Proceedings Second Asia-Pacific Conference on Quality Software

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Estimating uncaught exceptions in Standard ML programs from type-based equations

    المؤلفون: Kwangkeun Yi, Sukyoung Ryu, Ki-Hyun Pyun

    المصدر: Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Computer software and applications Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International. :455-460 1996

    Relation: Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    Static Analysis of JNI Programs via Binary Decompilation

    المؤلفون: Jihee Park, Sungho Lee, Jaemin Hong, Sukyoung Ryu

    المصدر: IEEE Transactions on Software Engineering. 49:3089-3105

    مصطلحات موضوعية: Software

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::20711b25ba9ee008431e609bce161e37
    https://doi.org/10.1109/tse.2023.3241639

    أضف إلى المفضلة
  5. 5
    دورية
    Long-Term Mentoring for Computer Science Researchers: Reaching out across computer science research communities.

    المؤلفون: Ringer, Talia, Ruppel, Emily, Sihang Liu, Garza, Elba, Sukyoung Ryu, Silva, Alexandra

    المصدر: Communications of the ACM; May2023, Vol. 66 Issue 5, p33-35, 3p, 1 Color Photograph, 1 Map

    مصطلحات موضوعية: MENTORING, COMPUTER science research, COMPUTER scientists, COMPUTER architecture, PROGRAMMING languages

    View Record from ACM Digital Library
    أضف إلى المفضلة
  6. 6
    Declarative static analysis for multilingual programs using CodeQL

    المؤلفون: Dongjun Youn, Sungho Lee, Sukyoung Ryu

    المصدر: Software: Practice and Experience.

    مصطلحات موضوعية: Software

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b50acb8be4fc78c2c876b3371060e84b
    https://doi.org/10.1002/spe.3199

    View record at Wiley
    أضف إلى المفضلة
  7. 7
    Semantic Transformation Framework for Rewriting Rules

    المؤلفون: Jihee Park, Jaemin Hong, Sukyoung Ryu

    المصدر: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation.

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::878a54cc4cbc5ef3095b758fcae7b241
    https://doi.org/10.1145/3571786.3573016

    أضف إلى المفضلة
  8. 8
    Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis

    المؤلفون: Jihyeok Park, Seungmin An, Sukyoung Ryu

    المصدر: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::646e0316d787262cbd6e490266ea55b0
    https://doi.org/10.1145/3540250.3549097

    أضف إلى المفضلة
  9. 9
    A Survey of Parametric Static Analysis

    المؤلفون: Sukyoung Ryu, Jihyeok Park, Hongki Lee

    المصدر: ACM Computing Surveys. 54:1-37

    مصطلحات موضوعية: Soundness, General Computer Science, Computer science, media_common.quotation_subject, Parameterized complexity, 020207 software engineering, 02 engineering and technology, Static analysis, computer.software_genre, Abstract interpretation, Theoretical Computer Science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Quality (business), Data mining, computer, Selection (genetic algorithm), Abstraction (linguistics), media_common, Parametric statistics

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::88d94f1c3b9b7d42048f5e4c9df85cdb
    https://doi.org/10.1145/3464457

    View Record from ACM Digital Library
    أضف إلى المفضلة
  10. 10
    A Meta-Level Static Analysis for JavaScript

    المؤلفون: Jihyeok Park, Seungmin An, Sukyoung Ryu

    مصطلحات موضوعية: JavaScript, definitional interpreter, meta-level static analysis

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1fe6377092f7ebb1860149fca64ed60c

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء