Leiden Inst. of Adv. Comput. Sci., Univ. of Leiden, Leiden, Netherlands;
formal specification; microprocessor chips; parallel languages; stability; action systems; controlling tasks; measurement tasks; model checking; multicore processor technology; natural parallel execution paradigm; parallel computing; system accuracy; system robustness; visual data flow languages;
机译:FlowSense:用于在数据流系统中进行可视数据探索的自然语言界面
机译:VisualTPL:一种用于报表数据转换的可视数据流语言
机译:视觉数据流语言的单元级测试充分性标准和测试方法
机译:与动作系统的视觉数据流语言
机译:用于数据以数据为中心的终端用户编程的语言和可视化工具,其交互式可视化设计
机译:视觉分析工作流程的认知任务分析:探索系统生物学中的分子相互作用网络
机译:具有动作系统的可视数据流语言
机译:流数据的可视化表示与视觉语言的价值。