首页>外文期刊>其他>Computer Science - Research and Development

Computer Science - Research and Development

中文名称：计算机科学-研究与开发

ISSN：1865-2042
出版周期：

发文量：30

期刊论文

热门论文

年度选择

2013
- 第1期
- 第3期
- 第4期

更多>>

全选（0）

1.Modeling and verifying dynamic communication structures based on graph transformations

机译：基于图变换对动态通信结构进行建模和验证
- 作者：Tobias Eckardt;Christian Heinzemann;Stefan Henkler;Martin Hirsch;Claudia Priesterjahn;Wilhelm Schäfer
- 期刊名称：《Computer Science - Research and Development》 | 2013年第1期
- Self-*;
- Statecharts;
- Model checking;
- Graph transformations;
- Real-time;
2.Formal semantics of modular time refinement in AutoFocus

机译：AutoFocus中的模块化时间细化的形式语义
- 作者：David Trachtenherz
- 期刊名称：《Computer Science - Research and Development》 | 2013年第1期
- Model-based development;
- Formal semantics;
- Time refinement;
3.Editorial

机译：社论
- 作者：Gregor Engels;Markus Luckey
- 期刊名称：《Computer Science - Research and Development》 | 2013年第1期
4.Objective evaluation of software architectures in driver assistance systems

机译：客观评估驾驶员辅助系统中的软件架构
- 作者：Dirk Ahrens;Andreas Frey;Andreas Pfeiffer;Torsten Bertram
- 期刊名称：《Computer Science - Research and Development》 | 2013年第1期
- Software architecture;
- Automotive embedded software;
- Driver assistance systems;
- Software quality;
- Objective metrics;
5.Model-driven software migration into service-oriented architectures

机译：模型驱动的软件迁移到面向服务的体系结构
- 作者：Andreas Fuhr;Tassilo Horn;Volker Riediger;Andreas Winter
- 期刊名称：《Computer Science - Research and Development》 | 2013年第1期
- Software migration;
- Reengineering;
- Model-driven software development;
- Service-oriented architecture;
6.Composing user-specific web applications from distributed plug-ins

机译：从分布式插件组成特定于用户的Web应用程序
- 作者：Markus Jahn;Reinhard Wolfinger;Markus Löberbauer;Hanspeter Mössenböck
- 期刊名称：《Computer Science - Research and Development》 | 2013年第1期
- Component-based software;
- Plug-in architecture;
- Web programming;
- Run-time adaption;
7.ERC grants

机译：ERC补助金
- 作者：Gabor Nagy
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
8.A journey through SMScom: self-managing situational computing

机译：SMScom之旅：自我管理情况计算
- 作者：Luciano Baresi;Carlo Ghezzi
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
- Ubiquitous, pervasive systems;
- Internet of things;
- Cyber-physical systems;
9.From software verification to ‘everyware’ verification

机译：从软件验证到“所有软件”验证
- 作者：Marta Kwiatkowska
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
10.Quantitative reactive modeling and verification

机译：定量反应建模和验证
- 作者：Thomas A. Henzinger
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
- Formal methods Program verification Embedded systems Systems biology;
11.Rigorous software engineering

机译：严谨的软件工程
- 作者：Sabine Glesner
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
12.Supporting incremental behaviour model elaboration

机译：支持增量行为模型的阐述
- 作者：Sebastian Uchitel;Dalal Alrajeh;Shoham Ben-David;Victor Braberman;Marsha Chechik;Guido De Caso;Nicolas D’Ippolito;Dario Fischbein;Diego Garbervetsky;Jeff Kramer;Alessandra Russo;German Sibay
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
- Partial behaviour modelling;
13.Requirements-driven software evolution

机译：需求驱动的软件演进
- 作者：Vítor E. Silva Souza;Alexei Lapouchnian;Konstantinos Angelopoulos;John Mylopoulos
- 期刊名称：《Computer Science - Research and Development》 | 2013年第4期
- Requirements engineering;
- Modeling;
- Evolution;
- Requirements;
- Adaptive systems;
14.The Green500 list: escapades to exascale

机译：Green500清单：无所不包
- 作者：Tom Scogland;Balaji Subramaniam;Wu-chun Feng
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Green supercomputing;
- Energy efficiency;
- Performance;
- Power;
- Green500;
- Graphics processing unit (GPU);
- The Green Index (TGI);
- SPEC;
- Exascale computing;
15.Blue Gene/Q: by co-design

机译：蓝色基因/ Q：通过共同设计
- 作者：The Blue Gene Team
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
16.The design of ultra scalable MPI collective communication on the K computer

机译：K计算机上超可扩展MPI集体通信的设计
- 作者：Tomoya Adachi;Naoyuki Shida;Kenichi Miura;Shinji Sumimoto;Atsuya Uno;Motoyoshi Kurokawa;Fumiyoshi Shoji;Mitsuo Yokokawa
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- K computer;
- MPI collective communication;
- Torus network;
17.Performance analysis and prediction for distributed homogeneous clusters

机译：分布式同构集群的性能分析与预测
- 作者：Heinz Kredel;Hans Günther Kruse;Sabine Richling;Erich Strohmaier
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Performance model;
- Performance prediction;
- Inter-cluster communication;
- Roofline model;
18.Performance characterization of data-intensive kernels on AMD Fusion architectures

机译：AMD Fusion架构上的数据密集型内核的性能表征
- 作者：Kenneth Lee;Heshan Lin;Wu-chun Feng
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- GPU;
- AMD Fusion;
- Memory transfer;
19.Understanding parallelism in graph traversal on multi-core clusters

机译：了解多核集群上图遍历的并行性
- 作者：Huiwei Lv;Guangming Tan;Mingyu Chen;Ninghui Sun
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Breadth-first search;
- Graph algorithms;
- Hybrid MPI/Pthreads programming;
- Lock-free queues;
20.Using LAMA for efficient AMG on hybrid clusters

机译：使用LAMA在混合集群上进行有效的AMG
- 作者：Jiri Kraus;Malte Förster;Thomas Brandes;Thomas Soddemann
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- LAMA;
- AMG;
- Hybrid;
- MPI;
- Multithreading;
- CUDA;
- OpenMP;
- Heterogeneous;
21.Reducing the HPC-datastorage footprint with MAFISC—Multidimensional Adaptive Filtering Improved Scientific data Compression

机译：使用MAFISC减少HPC数据存储占用空间-多维自适应过滤改进科学数据压缩
- 作者：Nathanael Hübbe;Julian Kunkel
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Data compression;
- NetCDF;
- HDF5;
22.Editorial for the ISC’12 research paper sessions proceedings

机译：ISC’12研究论文集的社论
- 作者：Julian Kunkel;Thomas Ludwig;Hans Meuer
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
23.The co-design architecture for exascale systems, a novel approach for scalable designs

机译：用于百亿亿次系统的协同设计架构，一种可扩展设计的新颖方法
- 作者：Gilad Shainer;Todd Wilde;Pak Lui;Tong Liu;Michael Kagan;Mike Dubman;Yiftah Shahar;Richard Graham;Pavel Shamis;Steve Poole
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Co-design;
- Exascale;
- ScalableHPC;
- ScalableSHMEM;
24.Redesigning MPI shared memory communication for large multi-core architecture

机译：重新设计用于大型多核体系结构的MPI共享内存通信
- 作者：Miao Luo;Hao Wang;Jerome Vienne;(DK) Dhabaleswar K. Panda
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- MPI;
- Shared memory;
- Runtime;
- Multi-core;
25.Simulating parallel programs on application and system level

机译：在应用程序和系统级别模拟并行程序
- 作者：Julian M. Kunkel
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Simulation;
- Tracing;
- MPI-IO;
26.A fast and scalable low dimensional solver for charged particle dynamics in large particle accelerators

机译：快速且可扩展的低维求解器，用于大型粒子加速器中的带电粒子动力学
- 作者：Yves Ineichen;Andreas Adelmann;Costas Bekas;Alessandro Curioni;Peter Arbenz
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Beam dynamics simulation;
- Scalability;
- Space charge;
- Multi-objective optimization;
- BG/P;
27.UPC-CHECK: a scalable tool for detecting run-time errors in Unified Parallel C

机译：UPC-CHECK：一种可扩展的工具，用于检测Unified Parallel C中的运行时错误
- 作者：James Coyle;Indranil Roy;Marina Kraeva;Glenn R. Luecke
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- UPC;
- Run-time error detection;
- Distributed deadlock detection;
- Partitioned global address space;
28.GBench: benchmarking methodology for evaluating the energy efficiency of supercomputers

机译：GBench：用于评估超级计算机能效的基准测试方法
- 作者：Balaji Subramaniam;Wu-chun Feng
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Benchmarking;
- Green supercomputing;
- Load-varying LINPACK;
- Energy efficiency;
- Power;
29.Towards I/O analysis of HPC systems and a generic architecture to collect access patterns

机译：进行HPC系统的I / O分析和通用架构以收集访问模式
- 作者：Marc C. Wiedemann;Julian M. Kunkel;Michaela Zimmer;Thomas Ludwig;Michael Resch;Thomas Bönisch;Xuan Wang;Andriy Chut;Alvaro Aguilera;Wolfgang E. Nagel;Michael Kluge;Holger Mickler
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- I/O analysis;
- I/O path;
- Causality tree;
30.Application of the ParalleX execution model to stencil-based problems

机译：ParalleX执行模型在基于模板的问题中的应用
- 作者：T. Heller;H. Kaiser;K. Iglberger
- 期刊名称：《Computer Science - Research and Development》 | 2013年第3期
- Iterative solvers;
- ParalleX;
- Execution model;
- High Performance ParalleX (HPX);
- OpenMP;
- Parallel algorithms;
- Parallel runtime systems;
- Dataflow;

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号