搜索页_+compiler

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

内部出版物

SpringerLink电子期刊(2391)

在“SpringerLink电子期刊”中，命中：2,391条，耗时：0.0349901 秒

在所有数据库中总计命中：2,391条

1. Polyhedral Compiler Technology in Collaboration with Autotuning Important to Domain-Specific Frameworks for HPC

关键词：Domain ; specific frameworks ; Autotuning ; Polyhedral compiler technology

刊名：Lecture Notes in Computer Science

出版年：2017

2. Automatic Local Memory Management for Multicores Having Global Address Space

关键词：Parallelizing compiler ; Local memory management ; Multicore ; Global address space ; DMA ; Data decomposition

刊名：Lecture Notes in Computer Science

出版年：2017

3. Automatic Copying of Pointer-Based Data Structures

关键词：Parallel computing ; Heterogeneous systems ; Compilers ; Memory

刊名：Lecture Notes in Computer Science

出版年：2017

4. BFCA+: automatic synthesis of parallel code with TLS capabilities

作者： Sergio Aldea ; Diego R. Llanos ; Arturo Gonzalez-Escribano

关键词：Automatic parallelization ; Compiler framework ; OpenMP ; Source synthesis ; Source transformation ; Speculative parallelization ; XML

刊名：The Journal of Supercomputing

出版年：2017

5. Towards a verified compiler prototype for the synchronous language SIGNAL

作者： Zhibin Yang ; Jean-Paul Bodeveix ; Mamoun Filali ; Kai Hu…

关键词：synchronous languages ; SIGNAL ; guarded actions ; verified compiler ; Coq ; architecture analysis and design language (AADL)

刊名：Frontiers of Computer Science in China

出版年：2016

6. Exchanging the Target-Language in Existing, Non-Metamodel-Based Compilers

关键词：Legacy compiler ; Code generation ; Meta ; model ; ASN.1 ; Meta ; language ; Domain ; specific language

刊名：Lecture Notes in Computer Science

出版年：2016

7. Assessing resilient versus stop-and-restart fault-tolerant solutions in MPI applications

作者： Nuria Losada ; María J. Martín ; Patricia González

关键词：Resilience ; Checkpointing ; Fault tolerance ; MPI

刊名：The Journal of Supercomputing

出版年：2017

8. Bounded Tamper Resilience: How to Go Beyond the Algebraic Barrier

作者： Ivan Damgård ; Sebastian Faust ; Pratyay Mukherjee ; Daniele Venturi

关键词：Related key security ; Bounded tamper resilience ; Public key encryption ; Identification schemes

刊名：Journal of Cryptology

出版年：2017

9. Efficient Design for Radix-8 Booth Multiplier and Its Application in Lifting 2-D DWT

作者： Basant Kumar Mohanty ; Abhishek Choubey

关键词：Booth multiplier ; Lifting scheme ; Discrete wavelet transforms ; VLSI architecture

刊名：Circuits, Systems, and Signal Processing

出版年：2017

10. Design and Preliminary Evaluation of Omni OpenACC Compiler for Massive MIMD Processor PEZY-SC

关键词：PEZY ; SC ; OpenACC ; Compiler

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(2391)

题名(405)

作者(3)

关键词(321)

文摘(2216)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700