咨询与建议

限定检索结果

文献类型

  • 1,094 篇 会议
  • 132 篇 期刊文献

馆藏范围

  • 1,226 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

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

作者

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

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是251-260 订阅
排序:
PyLSE: A Pulse-Transfer Level language for Superconductor Electronics  2022
PyLSE: A Pulse-Transfer Level Language for Superconductor El...
收藏 引用
43rd acm sigplan International conference on programming language design and implementation (PLDI)
作者: Christensen, Michael Tzimpragos, Georgios Kringen, Harlan Volk, Jennifer Sherwood, Timothy Hardekopf, Ben UC Santa Barbara Santa Barbara CA 93106 USA UC Santa Barbara Dept Elect & Comp Engn Santa Barbara CA USA
Superconductor electronics (SCE) run at hundreds of GHz and consume only a fraction of the dynamic power of CMOS, but are naturally pulse-based, and operate on impulses with picosecond widths. The transiency of these ... 详细信息
来源: 评论
Deterministic Parallelism via Liquid Effects  12
Deterministic Parallelism via Liquid Effects
收藏 引用
33rd acm sigplan conference on programming language design and implementation
作者: Kawaguchi, Ming Rondon, Patrick Bakst, Alexander Jhala, Ranjit Univ Calif San Diego San Diego CA 92103 USA
Shared memory multithreading is a popular approach to parallel programming, but also fiendishly hard to get right. We present Liquid Effects, a type-and-effect system based on refinement types which allows for fine-gr... 详细信息
来源: 评论
Facile: A language and compiler for high-performance processor simulators  01
Facile: A language and compiler for high-performance process...
收藏 引用
acm sigplan conference on programming language design and implementation (PLDI)
作者: Schnarr, EC Hill, MD Larus, JR QUIQ Inc Madison WI 53711 USA Univ Wisconsin Madison WI 53706 USA Microsoft Corp Res Redmond WA 98052 USA
Architectural simulators are essential tools for computer architecture and systems research and development. Simulators, however, are becoming frustratingly slow, because they must now model increasingly complex micro... 详细信息
来源: 评论
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism  2018
Heartbeat Scheduling: Provable Efficiency for Nested Paralle...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Acar, Umut A. Chargueraud, Arthur Guatto, Adrien Rainey, Mike Sieczkowski, Filip Carnegie Mellon Univ Pittsburgh PA 15213 USA INRIA Rocquencourt France Univ Strasbourg ICube Strasbourg France CREST Bloomington IN USA
A classic problem in parallel computing is to take a high-level parallel program written, for example, in nested-parallel style with fork-join constructs and run it efficiently on a real machine. The problem could be ... 详细信息
来源: 评论
Synthesizing Racy Tests  15
Synthesizing Racy Tests
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Samak, Malavika Ramanathan, Murali Krishna Jagannathan, Suresh Indian Inst Sci Bangalore 560012 Karnataka India Purdue Univ W Lafayette IN 47907 USA
Subtle concurrency errors in multithreaded libraries that arise because of incorrect or inadequate synchronization are often difficult to pinpoint precisely using only static techniques. On the other hand, the effecti... 详细信息
来源: 评论
Adaptive, Efficient, Parallel Execution of Parallel Programs  14
Adaptive, Efficient, Parallel Execution of Parallel Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Sridharan, Srinath Gupta, Gagan Sohi, Gurindar S. Univ Wisconsin Madison WI 53706 USA
Future multicore processors will be heterogeneous, be increasingly less reliable, and operate in dynamically changing operating conditions. Such environments will result in a constantly varying pool of hardware resour... 详细信息
来源: 评论
Gillian, Part I: A Multi-language Platform for Symbolic Execution  2020
Gillian, Part I: A Multi-language Platform for Symbolic Exec...
收藏 引用
41st acm sigplan conference on programming language design and implementation (PLDI)
作者: Santos, Jose Fragoso Maksimovic, Petar Ayoun, Sacha-Elie Gardner, Philippa Univ Lisbon INESC ID Inst Super Tecn Lisbon Portugal Imperial Coll London London England
We introduce Gillian, a platform for developing symbolic analysis tools for programming languages. Here, we focus on the symbolic execution engine at the heart of Gillian, which is parametric on the memory model of th... 详细信息
来源: 评论
MixT: A language for Mixing Consistency in Geodistributed Transactions  2018
MixT: A Language for Mixing Consistency in Geodistributed Tr...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Milano, Matthew Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
programming concurrent, distributed systems is hard-especially when these systems mutate shared, persistent state replicated at geographic scale. To enable high availability and scalability, a new class of weakly cons... 详细信息
来源: 评论
A Web Application Is a Domain-Specific language
A Web Application Is a Domain-Specific Language
收藏 引用
acm sigplan International conference on Systems, programming, languages and Applications: Software for Humanity (SPLASH Companion)
作者: Lorenz, David H. Rosenan, Boaz Open Univ IL-43107 Raanana Israel Technion Israel Inst Technol IL-32000 Haifa Israel Univ Haifa IL-31905 Haifa Israel
We introduce a correspondence between the design space of web applications and that of domain-specific languages (DSLs). We note that while most web applications today are implemented in ways that correspond to extern... 详细信息
来源: 评论
Using role components to implement collaboration-based designs  11
Using role components to implement collaboration-based desig...
收藏 引用
proceedings of the 1996 conference on Object-Oriented programming Systems, languages & Applications
作者: VanHilst, Michael Notkin, David Univ of Washington Seattle United States
In this paper we present a method of code implementation that works in conjunction with collaboration and responsibility based analysis modeling techniques to achieve better code reuse and resilience to change. Our ap... 详细信息
来源: 评论