( en | de | ru )

 

Disambiguation of "Kwak, Hee-Hwan"

Author of the publication

copydeleteadd this publication to your clipboard
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.

, , and . Sci. Comput. Program., 42 (1): 49-60 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Jung Chul Kwak

Sookhee Kwak

Thomas Kwak

Misook Kwak

Miran Kwak

 

Other publications of authors with the same name

Simplifying Circuits for Formal Verification Using Parametric Representation., , , , and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 52-69. Springer, (2002)Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP., , and . Sci. Comput. Program., 42 (1): 49-60 (2002)A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames., , and . VTC Spring, IEEE, (2009)Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP., , and . Monterey Workshop, volume 25 of Electronic Notes in Theoretical Computer Science, page 38-49. Elsevier, (1998)Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study., , , , and . IEEE Real Time Technology and Applications Symposium, page 220-229. IEEE Computer Society, (1998)Verification for NFV-enabled network services., , , , , and . ICTC, page 810-815. IEEE, (2015)A Verification Method of SDN Firewall Applications., , , , , and . IEICE Trans. Commun., 99-B (7): 1408-1415 (2016)Process algebraic approach to the parametric analysis of object scheduling in real-time systems., and . WORDS (Fall), page 131-138. IEEE Computer Society, (1999)A Framework for Embedded Real-Time System Design., , and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 738-742. Springer, (2000)Combinational equivalence checking through function transformation., , , and . ICCAD, page 526-533. ACM / IEEE Computer Society, (2002)