Dept. of Electrical Engineering, Korea Advanced Institute of Science and Technology (KAIST) 373-1 Kusong-dong, Yusong-gu, Daejeon, Rep. of Korea 305-701;
Dept. of Electrical Engineering, Korea Advanced Institute of Science and Technology (KAIST) 373-1 Kusong-dong, Yusong-gu, Daejeon, Rep. of Korea 305-701;
MS based development methods; MS software/hardware; discrete-event system; low-power circuit design; synchronization circuit;
机译:自动验证框架使用片上事件驱动的调试器,用于安全代码执行控制流程
机译:dev-proMela:用于模拟,模拟和离散事件系统的建模,仿真和验证的PROMELA的扩展
机译:使用离散事件系统规范(DEVS)设计Modelica编译器
机译:具有通用事件示踪和浮点同步器的离散事件系统,用于互操作DEVS模拟器和片上调试器
机译:使用离散事件模拟器和基于上下文的警报系统优化露天采矿的运输周期模型。
机译:Carbmetsim:用于人类碳水化合物代谢的离散事件模拟器
机译:DEVS:资源约束系统性能分析的离散事件建模与仿真