咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 17 篇 compilers
  • 17 篇 type systems

机构

  • 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
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1051-1060 订阅
排序:
Reasoning about continuations with control effects
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 218-226页
作者: Jouvelot, Pierre Gifford, David K. Ecole des Mines France
We present a new static analysis method for first-class continuations that uses an effect system to classify the control domain behavior of expressions in a typed polymorphic language. We introduce two new control eff... 详细信息
来源: 评论
A General Constraint-centric Scheduling Framework for Spatial Architectures  13
A General Constraint-centric Scheduling Framework for Spatia...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Tony Nowatzki Michael Sartin-Tarm Lorenzo De Carli Karthikeyan Sankaralingam Cristian Estan Behnam Robatmili University of Wisconsin-Madison Broadcom Qualcomm Research Silicon Valley
Specialized execution using spatial architectures provides energy efficient computation, but requires effective algorithms for spatially scheduling the computation. Generally, this has been solved with architecture-sp... 详细信息
来源: 评论
Mul-T: a high-performance parallel Lisp
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 81-90页
作者: Kranz, David Halstead Jr., Robert H. Mohr, Eric MIT United States
Mul-T is a parallel Lisp system, based on Multilisp's future construct, that has been developed to run on an Encore Multimax multiprocessor. Mul-T is an extended version of the Yale T system and uses the T system&... 详细信息
来源: 评论
design and evaluation of a compiler for embedded stream programs
收藏 引用
acm sigplan NOTICES 2008年 第7期43卷 131-140页
作者: Newton, Ryan R. Girod, Lewis D. Craig, Michael B. Madden, Samuel R. Morrisett, J. Greg MIT CSAIL Cambridge MA 02139 USA Harvard Univ Cambridge MA 02138 USA
Applications that combine live data streams with embedded, parallel, and distributed processing are becoming more commonplace. WaveScript is a domain-specific language that brings high-level, type-safe, garbage-collec... 详细信息
来源: 评论
design TRADEOFFS TO SUPPORT THE C programming language IN THE CRISP MICROPROCESSOR.
收藏 引用
proceedings - Second International conference on Architectural Support for programming languages and Operating Systems (ASPLOS II).
作者: Ditzel, David R. McLellan, Hubert R. Berenbaum, Alan D. AT&T Bell Lab Murray Hill NJ USA AT&T Bell Lab Murray Hill NJ USA
The tradeoffs used in the implementation of a 172,163-transistor 32-bit single-chip microprocessor are investigated, focusing on those particular to the use of C. CRISP matches the requirements for supporting C compil... 详细信息
来源: 评论
proceedings of the International conference on APL, APL 1987
Proceedings of the International Conference on APL, APL 1987
收藏 引用
1987 International conference on APL, APL 1987
The proceedings contain 65 papers. The topics discussed include: a three dimensional wire frame graphics system;on APL software for credibility theory;an object oriented extension to APL;system development methodology...
来源: 评论
INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REALIZING ALGORITHMS.
INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REA...
收藏 引用
proceedings of the Nineteenth Hawaii International conference on System Sciences 1986. Volume 3: Healthcare Management Systems, Medical Information Processing.
作者: Jonsson, Arne Patel, Mikael Linkoping Univ Linkoping Swed Linkoping Univ Linkoping Swed
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the comp... 详细信息
来源: 评论
Fine-grained interoperability through mirrors and contracts
收藏 引用
acm sigplan NOTICES 2005年 第10期40卷 231-245页
作者: Gray, KE Findler, RB Flatt, M Univ Utah Salt Lake City UT 84112 USA Univ Chicago Chicago IL 60637 USA
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple forms of data, the checks and coercions c... 详细信息
来源: 评论
proceedings of the 2022 6th International conference on Education and E-Learning, ICEEL 2022
Proceedings of the 2022 6th International Conference on Educ...
收藏 引用
6th International conference on Education and E-Learning, ICEEL 2022
The proceedings contain 45 papers. The topics discussed include: promoting a common testbed for natural deduction tutoring systems;integrating stand-alone new media technologies such as games and virtual and augmented...
来源: 评论
Formal loop merging for signal transforms
收藏 引用
acm sigplan NOTICES 2005年 第6期40卷 315-326页
作者: Franchetti, F Voronenko, Y Püschel, M Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus performance. In particular, this inclu... 详细信息
来源: 评论