Array Processors; Calculation Methods; Memory Management; Cray Computers; Efficiency; Programming; Computer software; ERDA/990210; Computer architecture;
机译:使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:在网格和云上编程和运行科学应用程序的基于组件的方法
机译:在移动组件的分布式系统上运行的运动感知应用程序的编程抽象
机译:用于科学工作流的资源感知流处理的编程抽象。
机译:在分布式环境中有效执行科学工作流的运行时系统
机译:预测分布式内存多处理器上科学应用程序的性能。
机译:在多处理器上运行的科学连续计算的运行时分区