Information Infrastructure Laboratory, Inc. Saiki 210-4, Tsukuba, Ibaraki 305-8573, Japan;
realtime; specification; data-driven; performance prediction/verification; emulation;
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序运行时检查生成实时程序
机译:关于在非实时环境中从定时自动机到实时程序的运行时检查生成实时程序
机译:通过使用混合数据驱动的控制流处理器支持面向对象的编程来管理并发
机译:ISNAP:对新手编程的数据驱动支持,通过评估提示质量和学生帮助寻求行为的调查
机译:Sim•TwentyFive:用于数据驱动的决策支持的交互式可视化系统
机译:嵌套循环程序的自动并行化(用于非清单实时流处理应用程序)
机译:多处理器上并行程序的加速边界和处理器分配