咨询与建议

限定检索结果

文献类型

  • 783 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 806 篇 工学
    • 792 篇 软件工程
    • 529 篇 计算机科学与技术...
    • 22 篇 控制科学与工程
    • 12 篇 信息与通信工程
    • 7 篇 电气工程
    • 5 篇 电子科学与技术(可...
    • 4 篇 化学工程与技术
    • 2 篇 生物工程
    • 2 篇 安全科学与工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 纺织科学与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物医学工程(可授...
  • 99 篇 理学
    • 84 篇 数学
    • 10 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 4 篇 化学
    • 3 篇 物理学
    • 3 篇 生物学
    • 1 篇 地质学
  • 52 篇 管理学
    • 35 篇 管理科学与工程(可...
    • 23 篇 工商管理
    • 20 篇 图书情报与档案管...
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学

主题

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

机构

  • 15 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 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 篇 stanford univ st...
  • 9 篇 univ washington ...
  • 8 篇 mit cambridge ma...
  • 8 篇 yale univ new ha...
  • 8 篇 cornell univ ith...
  • 8 篇 univ chicago il ...
  • 7 篇 northeastern uni...
  • 7 篇 microsoft resear...
  • 6 篇 microsoft res re...
  • 6 篇 microsoft res re...

作者

  • 11 篇 walker david
  • 10 篇 chlipala adam
  • 10 篇 dillig isil
  • 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 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 bacon david f.
  • 6 篇 gulwani sumit
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 mansinghka vikas...
  • 6 篇 bodik rastislav

语言

  • 841 篇 英文
  • 76 篇 其他
  • 1 篇 中文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 1988"
918 条 记 录,以下是591-600 订阅
排序:
A program debugger for a systolic array: design and implementation  88
A program debugger for a systolic array: Design and implemen...
收藏 引用
1988 acm sigplan and SIGOPS Workshop on Parallel and Distributed Debugging, PADD 1988
作者: Bruegge, Bernd Gross, Thomas Department of Computer Science Carnegie Mellon University PittsburghPA15213 United States
The Warp machine consists of a programmable linear systolic array connected to a general-purpose workstaüon host. Waip can be accessed either locally from this host or remotely from a large number of workstations... 详细信息
来源: 评论
The design and implementation of the Habanero-Java parallel programming language
The design and implementation of the Habanero-Java parallel ...
收藏 引用
acm International conference on Systems, programming, languages, and Applications: Software for Humanity, SPLASH'11
作者: Budimlić, Zoran Cavé, Vincent Raman, Raghavan Shirako, Jun Tasįrlar, Saǧnak Zhao, Jisheng Sarkar, Vivek Department of Computer Science Rice University United States
The Habanero-Java language extends sequential Java with a simple but powerful set of constructs for multicore parallelism. Its implementation includes a compiler that generates standard Java classfiles, a runtime syst... 详细信息
来源: 评论
Acute: High-level programming language design for distributed computation  05
Acute: High-level programming language design for distribute...
收藏 引用
10th acm sigplan International conference on Functional programming (ICFP)
作者: Sewell, Peter Leifer, James J. Wansbrough, Keith Nardelli, Francesco Zappa Allen-Williams, Mair Habouzit, Pierre Vafeiadis, Viktor Univ Cambridge Cambridge England INRIA Rocquencourt Le Chesnay France
Existing languages provide good support for typeful programming of stand-alone programs. In a distributed system, however, there may be interaction between multiple instances of many distinct programs, sharing some (b... 详细信息
来源: 评论
Dependent types in practical programming  99
Dependent types in practical programming
收藏 引用
The 1999 26th Annual acm sigplan-SIGACT Symposium on Principles of programming language, POPL'99
作者: Xi, Hongwei Pfenning, Frank Oregon Graduate Inst of Science and Technology Beaverton OR United States
We present an approach to enriching the type system of ML with a restricted form of dependent types, where type index objects are drawn from a constraint domain C, leading to the DML(C) language schema. This allows sp... 详细信息
来源: 评论
GYPSY: A language for specification and implementation of verifiable programs
GYPSY: A language for specification and implementation of ve...
收藏 引用
acm conference on language design for Reliable Software 1977
作者: Ambler, Allen L. Good, Donald I. Browne, James C. Burger, Wilhelm F. Cohen, Richard M. Hoch, Charles G. Wells, Robert E. Amdahl Corporation United States University of Texas at Austin United States
An introduction to the Gypsy programming and specification language is given. Gypsy is a high-level programming language with facilities for general programming and also for systems programming that is oriented toward... 详细信息
来源: 评论
Efficiently compiling a functional language on AMD64: The HiPE experience  05
Efficiently compiling a functional language on AMD64: The Hi...
收藏 引用
PPDP'05 - 7th acm sigplan conference on Principles and Practice of Declarative programming
作者: Luna, Daniel Pettersson, Mikael Sagonas, Konstantinos Department of Information Technology Uppsala University Sweden
We describe and document our experience from developing an AMD64 backend for the HiPE (High Performance Erlang) native code compiler. We consider implementation alternatives and critically examine design choices for o... 详细信息
来源: 评论
Relaxing SIMD control flow constraints using loop transformations
Relaxing SIMD control flow constraints using loop transforma...
收藏 引用
acm sigplan '92 conference on programming language design and implementation, pldi 1992
作者: Hanxleden, Reinhard v. Kennedy, Ken Rice Univ Houston TX United States
Many loop nests in scientific codes contain a parallelizable outer loop but have an inner loop for which the number of iterations varies between different iterations of the outer loop. When running this kind of loop n... 详细信息
来源: 评论
SPECL: A system programming dialect of ECL
SPECL: A system programming dialect of ECL
收藏 引用
1973 acm sigplan - SIGOPS Interface Meeting: programming languages - Operating Systems
作者: Udin, David Harvard University Center for Computing Technology CambridgeMA United States
The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient... 详细信息
来源: 评论
The liberty structural specification language: A high-level modeling language for component reuse
The liberty structural specification language: A high-level ...
收藏 引用
conference on programming language design and implementation
作者: Vachharajani, M Vachharajani, N August, DI Princeton Univ Dept Comp Sci & Elect Engn Princeton NJ 08544 USA
Rapid exploration of the design space with simulation models is essential for quality hardware systems research and development. Despite striking commonalities across hardware systems, designers routinely fail to achi... 详细信息
来源: 评论
Developing a stage lighting system for scratch
Developing a stage lighting system for scratch
收藏 引用
6th acm sigplan Internatinal conference on Functional programming (ICFP'01)
作者: Sperber, M. Wilhelm-Schickard-Institut fur Info. Universität Tübingen Tübingen Germany
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvements of historic concepts. Lula repres... 详细信息
来源: 评论