咨询与建议

限定检索结果

文献类型

  • 336 篇 会议
  • 46 篇 期刊文献

馆藏范围

  • 382 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 329 篇 工学
    • 284 篇 软件工程
    • 268 篇 计算机科学与技术...
    • 12 篇 电子科学与技术(可...
    • 7 篇 信息与通信工程
    • 4 篇 机械工程
    • 4 篇 控制科学与工程
    • 4 篇 生物工程
    • 3 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
  • 58 篇 理学
    • 52 篇 数学
    • 5 篇 系统科学
    • 4 篇 生物学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
  • 15 篇 管理学
    • 10 篇 管理科学与工程(可...
    • 8 篇 工商管理
    • 5 篇 图书情报与档案管...
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 2 篇 法学
    • 2 篇 社会学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 71 篇 performance
  • 49 篇 parallel process...
  • 42 篇 algorithms
  • 42 篇 parallel program...
  • 39 篇 languages
  • 34 篇 design
  • 21 篇 gpu
  • 20 篇 parallel algorit...
  • 12 篇 experimentation
  • 12 篇 measurement
  • 9 篇 theory
  • 9 篇 parallel computi...
  • 8 篇 mpi
  • 8 篇 parallel
  • 7 篇 parallelism
  • 7 篇 graphics process...
  • 7 篇 logic programmin...
  • 7 篇 concurrency
  • 6 篇 openmp
  • 5 篇 reliability

机构

  • 7 篇 carnegie mellon ...
  • 5 篇 indiana univ blo...
  • 4 篇 univ wisconsin d...
  • 3 篇 univ of tokyo
  • 3 篇 univ chinese aca...
  • 3 篇 massachusetts in...
  • 3 篇 univ illinois ur...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit csail united...
  • 3 篇 shanghai jiao to...
  • 3 篇 tsinghua univ pe...
  • 3 篇 univ utah sch co...
  • 3 篇 rice univ housto...
  • 3 篇 purdue univ w la...
  • 3 篇 univ calif berke...
  • 2 篇 ist austria klos...
  • 2 篇 princeton univ d...
  • 2 篇 georgetown univ ...
  • 2 篇 yale university ...
  • 2 篇 coll william & m...

作者

  • 8 篇 blelloch guy e.
  • 6 篇 hoefler torsten
  • 6 篇 garland michael
  • 6 篇 chen haibo
  • 6 篇 shun julian
  • 5 篇 sun yihan
  • 5 篇 zhai jidong
  • 5 篇 tsigas philippas
  • 5 篇 kennedy ken
  • 4 篇 dhulipala laxman
  • 4 篇 miller barton p.
  • 4 篇 tan guangming
  • 4 篇 wang haojie
  • 4 篇 nikolopoulos dim...
  • 4 篇 long guoping
  • 4 篇 valero mateo
  • 4 篇 mellor-crummey j...
  • 4 篇 agrawal kunal
  • 4 篇 gu yan
  • 4 篇 leiserson charle...

语言

  • 356 篇 英文
  • 26 篇 其他
检索条件"任意字段=14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming"
382 条 记 录,以下是151-160 订阅
排序:
Heuristics Entwined with Handlers Combined From Functional Specification to Logic programming Implementation  14
Heuristics Entwined with Handlers Combined From Functional S...
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Schrijvers, Tom Wu, Nicolas Desouter, Benoit Demoen, Bart Univ Ghent Ghent Belgium Univ Oxford Oxford England Katholieke Univ Leuven Leuven Belgium
A long-standing problem in logic programming is how to cleanly separate logic and control. While solutions exist, they fall short in one of two ways: some are too intrusive, because they require significant changes to... 详细信息
来源: 评论
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems  14
Structure-Preserving Compilation: Efficient Integration of F...
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Kranz, Julian Simon, Axel Tech Univ Munich Inst Informat 2 Garching Germany
We present a translation scheme from a pure functional domain-specific language (DSL) to C. the over-arching idea of this scheme is to preserve the structure of the input program as much as possible. this includes, am... 详细信息
来源: 评论
Assertion-based Debugging of Higher-Order (C) LP Programs  14
Assertion-based Debugging of Higher-Order (C) LP Programs
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Stulova, Nataliia Morales, Jose F. Hermenegildo, Manuel V. IMDEA Software Inst Madrid Spain Tech Univ Madrid UPM Sch Comp Sci Madrid Spain
Higher-order constructs extend the expressiveness of firstorder (Constraint) Logic programming ((C) LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C) LP systems... 详细信息
来源: 评论
BiFluX: A Bidirectional Functional Update Language for XML  14
BiFluX: A Bidirectional Functional Update Language for XML
收藏 引用
16th International symposium on principles and practice of Declarative programming (PPDP)
作者: Pacheco, Hugo Zan, Tao Hu, Zhenjiang Cornell Univ Ithaca NY 14853 USA Grad Univ Adv Studies Hayama Kanagawa Japan Natl Inst Informat Tokyo Japan
Different XML formats are widely used for data exchange and processing, being often necessary to mutually convert between them. Standard XML transformation languages, like XSLT or XQuery, are unsatisfactory for this p... 详细信息
来源: 评论
Teaching parallel Design Patterns to Undergraduates in Computer Science  14
Teaching Parallel Design Patterns to Undergraduates in Compu...
收藏 引用
45th acm SIGCSE Technical symposium on Computer Science Education (SIGCSE)
作者: Brown, Richard A. Adams, Joel C. Ferner, Clayton Shoop, Elizabeth Wilkinson, Barry St Olaf Coll Northfield MN 55057 USA Calvin Coll Grand Rapids MI 49506 USA UNC Wilmington Wilmington NC USA Macalester Coll St Paul MN 55105 USA UNC Charlotte Charlotte NC USA
the industry shift emerging forms of parallel and distributed computing (PDC), including multi-core CPUs, cloud computing, and general-purpose use of GPUs, have naturally led to increased presence of PDC elements unde... 详细信息
来源: 评论
Session details: Session order 8: programming systems session  14
Session details: Session order 8: programming systems sessio...
收藏 引用
Proceedings of the 19th acm sigplan symposium on principles and practice of parallel programming
作者: Kunle Olukotun Stanford
No abstract available.
来源: 评论
Beyond parallel programming with domain specific languages  14
Beyond parallel programming with domain specific languages
收藏 引用
Proceedings of the 19th acm sigplan symposium on principles and practice of parallel programming
作者: Kunle Olukotun Stanford University Stanford CA USA
Today, almost all computer architectures are parallel and heterogeneous; a combination of multiple CPUs, GPUs and specialized processors. this creates a challenging problem for application developers who want to devel... 详细信息
来源: 评论
Reducing Contention through Priority Updates  13
Reducing Contention Through Priority Updates
收藏 引用
18th acm sigplan symposium on principles and practice of parallel programming
作者: Shun, Julian Blelloch, Guy E. Fineman, Jeremy T. Gibbons, Phillip B. Carnegie Mellon Univ Pittsburgh PA 15213 USA Georgetown Univ Washington DC 20057 USA Intel Labs Pittsburgh PA USA
No abstract available.
来源: 评论
programming with Hardware Lock Elision  13
Programming with Hardware Lock Elision
收藏 引用
18th acm sigplan symposium on principles and practice of parallel programming
作者: Afek, Yehuda Levy, Amir Morrison, Adam Tel Aviv Univ Blavatnik Sch Comp Sci IL-69978 Tel Aviv Israel
We present a simple yet effective technique for improving performance of lock-based code using the hardware lock elision (HLE) feature in Intel's upcoming Haswell processor. We also describe how to extend Haswell&... 详细信息
来源: 评论
21st century computer architecture  14
21st century computer architecture
收藏 引用
Proceedings of the 19th acm sigplan symposium on principles and practice of parallel programming
作者: Mark D. Hill University of Wisconsin - Madison Madison WI USA
this talk has two parts. the first part will discuss possible directions for computer architecture research, including architecture as infrastructure, energy first, impact of new technologies, and cross-layer opportun... 详细信息
来源: 评论