咨询与建议

限定检索结果

文献类型

  • 774 篇 会议
  • 130 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 802 篇 工学
    • 787 篇 软件工程
    • 528 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 11 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 安全科学与工程
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 100 篇 理学
    • 86 篇 数学
    • 10 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 4 篇 化学
    • 2 篇 物理学
    • 2 篇 生物学
    • 1 篇 地质学
  • 49 篇 管理学
    • 33 篇 管理科学与工程(可...
    • 21 篇 工商管理
    • 19 篇 图书情报与档案管...
  • 5 篇 经济学
    • 5 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

  • 164 篇 design
  • 155 篇 languages
  • 96 篇 performance
  • 70 篇 computer program...
  • 56 篇 algorithms
  • 43 篇 experimentation
  • 42 篇 computer program...
  • 39 篇 verification
  • 34 篇 reliability
  • 31 篇 object oriented ...
  • 26 篇 java programming...
  • 25 篇 program synthesi...
  • 25 篇 functional progr...
  • 24 篇 probabilistic pr...
  • 22 篇 java
  • 19 篇 theory
  • 19 篇 concurrency
  • 18 篇 type systems
  • 18 篇 domain-specific ...
  • 17 篇 compilers

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 11 篇 stanford univ st...
  • 11 篇 univ texas austi...
  • 10 篇 univ michigan an...
  • 10 篇 rice univ housto...
  • 10 篇 purdue univ w la...
  • 10 篇 univ calif berke...
  • 9 篇 univ wisconsin m...
  • 9 篇 harvard univ cam...
  • 9 篇 univ penn philad...
  • 9 篇 univ washington ...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 mit cambridge ma...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 aiken alex
  • 9 篇 chlipala adam
  • 8 篇 solar-lezama arm...
  • 8 篇 chaudhuri swarat
  • 7 篇 august david i.
  • 7 篇 shao zhong
  • 7 篇 sarkar vivek
  • 6 篇 wang xinyu
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav
  • 5 篇 mckinley kathryn...

语言

  • 825 篇 英文
  • 78 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN 96 Conference on Programming Language Design and Implementation"
904 条 记 录,以下是391-400 订阅
排序:
SPUR: A Trace-Based JIT Compiler for CIL  10
SPUR: A Trace-Based JIT Compiler for CIL
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: Bebenita, Michael Brandner, Florian Fahndrich, Manuel Logozzo, Francesco Schulte, Wolfram Tillmann, Nikolai Venter, Herman Microsoft Research Redmond WA USA
Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces.... 详细信息
来源: 评论
Implicitly threaded parallelism in Manticore
收藏 引用
JOURNAL OF FUNCTIONAL programming 2010年 第5-6期20卷 537-576页
作者: Fluet, Matthew Rainey, Mike Reppy, John Shaw, Adam Rochester Inst Technol Dept Comp Sci Rochester NY 14623 USA Univ Chicago Dept Comp Sci Chicago IL 60637 USA Toyota Technol Inst Chicago IL USA
The increasing availability of commodity multicore processors is making parallel computing ever more widespread. In order to exploit its potential, programmers need languages that make the benefits of parallelism acce... 详细信息
来源: 评论
language extension and composition with language workbenches
Language extension and composition with language workbenches
收藏 引用
acm International conference Companion on Object Oriented programming Systems languages and Applications Companion, SPLASH '10
作者: Völter, Markus Visser, Eelco Independent/Itemis Germany Delft University of Technology Netherlands
Domain-specific languages (DSLs) provide high expressive power focused on a particular problem domain. They provide linguistic abstractions and specialized syntax specifically designed for a domain, allowing developer... 详细信息
来源: 评论
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Architectures  10
Hera-JVM: A Runtime System for Heterogeneous Multi-Core Arch...
收藏 引用
conference on Object Oriented programming Systems, languages and Applications/SPLASH 2010
作者: McIlroy, Ross Sventek, Joe Microsoft Res Cambridge Cambridge England Univ Glasgow Glasgow G12 8QQ Lanark Scotland
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores support different instruction set arch... 详细信息
来源: 评论
design principles for internal domain-specific languages: A pattern catalog illustrated by Ruby  10
Design principles for internal domain-specific languages: A ...
收藏 引用
17th conference on Pattern languages of Programs, PLoP 2010
作者: Günther, Sebastian Cleenewerck, Thomas School of Computer Science University of Magdeburg Germany Software Language Engineering Lab Vrije Universiteit Brussel Belgium Universitätsplatz 2 D-39106 Magdeburg Germany Vrije Universiteit Brussel Faculty of Sciences DINF - SOFT Pleinlaan 2 B-1050 Brussels Belgium
Some programming languages, especially dynamic programming languages, offer suitable mechanisms for the construction of internal domain-specific languages (DSL). Internal DSLs inherit the facilities of their host lang... 详细信息
来源: 评论
Contracts for Modular Discrete Controller Synthesis
收藏 引用
acm sigplan NOTICES 2010年 第4期45卷 57-66页
作者: Delaval, Gwenael Marchand, Herve Rutten, Eric INRIA Grenoble France INRIA Rennes France
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of... 详细信息
来源: 评论
Functional parallel algorithms  10
Functional parallel algorithms
收藏 引用
Proceedings of the 15th acm sigplan international conference on Functional programming
作者: Guy E. Blelloch Carnegie Mellon University Pittsburgh PA USA
Functional programming presents several important advantages in the design, analysis and implementation of parallel algorithms: It discourages iteration and encourages *** supports persistence and hence easy *** encou... 详细信息
来源: 评论
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI): Message from the program chair
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
Proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 2008年 iii页
作者: Amarasinghe, Saman
No abstract available
来源: 评论
programming Model for a Heterogeneous x86 Platform  09
Programming Model for a Heterogeneous x86 Platform
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Saha, Bratin Zhou, Xiaocheng Chen, Hu Gao, Ying Yan, Shoumeng Rajagopalan, Mohan Fang, Jesse Zhang, Peinan Ronen, Ronny Mendelson, Avi Intel Corp Santa Clara CA 95051 USA
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented cores. The throughput oriented cores (e... 详细信息
来源: 评论
Typed Self-Representation  09
Typed Self-Representation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Rendel, Tillmann Ostermann, Klaus Hofer, Christian Univ Aarhus DK-8000 Aarhus C Denmark
Self-representation - the ability to represent programs in their own language - has important applications in reflective languages and many other domains of programming language design. Although approaches to designin... 详细信息
来源: 评论