咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1181-1190 订阅
排序:
A compiler approach to fast hardware design space exploration in FPGA-based systems  02
A compiler approach to fast hardware design space exploratio...
收藏 引用
proceedings of the acm sigplan 2002 conference on programming language design and implementation
作者: Byoungro So Mary W. Hall Pedro C. Diniz University of Southern California Marina del Rey California
The current practice of mapping computations to custom hardware implementations requires programmers to assume the role of hardware designers. In tuning the performance of their hardware implementation, designers manu... 详细信息
来源: 评论
Communication Optimizations for Parallel Computing Using Data Access Information
Communication Optimizations for Parallel Computing Using Dat...
收藏 引用
Supercomputing conference
作者: M.C. Rinard Department of Computer Science University of California슠Santa Barbara Santa Barbara CA USA
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of parallel computations. This paper desc... 详细信息
来源: 评论
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines  13
Halide: a language and compiler for optimizing parallelism, ...
收藏 引用
proceedings of the 34th acm sigplan conference on programming language design and implementation
作者: Jonathan Ragan-Kelley Connelly Barnes Andrew Adams Sylvain Paris Frédo Durand Saman Amarasinghe Massachusetts Institute of Technology Cambridge MA USA Adobe Cambridge MA USA
Image processing pipelines combine the challenges of stencil computations and stream programs. They are composed of large graphs of different stencil stages, as well as complex reductions, and stages with global or da... 详细信息
来源: 评论
The development of a large scale mathematical programming system  68
The development of a large scale mathematical programming sy...
收藏 引用
proceedings of the 1968 23rd acm national conference
作者: Jacques De Buchet
The general purpose mathematical programming systems have greatly changed in the last few years and the aim of such codes is no longer to give access to an efficient algorithm but to integrate the solution of linear p...
来源: 评论
Dynamic spatial query language: a customized query language for object-oriented database systems
Dynamic spatial query language: a customized query language ...
收藏 引用
IEEE Annual International Computer Software and Applications conference (COMPSAC)
作者: W.S. Luk A. Choi School of Computing Science Simon Fraser University Burnaby BC Canada
A design is presented of a customized query language for manipulating geometric objects in a three-dimensional space, called dynamic spatial query language (DSQL), with which an end user retrieves, updates, and delete... 详细信息
来源: 评论
An exercise in verifying concurrent programs in industry: the I/O subsystem
An exercise in verifying concurrent programs in industry: th...
收藏 引用
International Phoenix conference on Computers and Communications (IPCCC)
作者: M.G. Staskauskas Department of Computer Sciences University of Texas Austin Austin TX USA
The author describes the formal verification of a portion of an existing mainframe operating system using the UNITY methodology proposed by K.M. Chandy and J. Misra (1988). The UNITY methodology consists of a programm... 详细信息
来源: 评论
A distributed object-oriented environment for EMS application development
A distributed object-oriented environment for EMS applicatio...
收藏 引用
Annual Hawaii International conference on System Sciences (HICSS)
作者: M.O. Pendergast Decision and Information Sciences Dept University of Florida Gainesville FL USA
Describes an architecture for implementing Electronic Meeting Systems (EMS) applications in an Object-Oriented programming Environment. The environment is based on the C++ programming language and personal computers c... 详细信息
来源: 评论
Exact: a model-based knowledge acquisition tool for selection tasks
Exact: a model-based knowledge acquisition tool for selectio...
收藏 引用
proceedings of the IEEE/acm International conference on Developing and Managing Expert System Programs
作者: M.E. van Steenbergen PTT Research Leidschendam Netherlands
A discussion is presented of EXACT (expert system acquisition tool), a model-based knowledge acquisition tool. EXACT supports knowledge engineers in structuring and maintaining the domain knowledge needed to execute a... 详细信息
来源: 评论
Finding application errors and security flaws using PQL: a program query language  05
Finding application errors and security flaws using PQL: a p...
收藏 引用
proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Michael Martin Benjamin Livshits Monica S. Lam Stanford University
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with sequences of events asso-ciated with a ... 详细信息
来源: 评论
A comparison of two object-oriented design methodologies (abstract only)  87
A comparison of two object-oriented design methodologies (ab...
收藏 引用
proceedings of the 15th annual conference on Computer Science
作者: Linda Rising Department of Computer Technology Indiana University-Purdue University at Fort Wayne Fort Wayne Indiana
With the increasing use of Ada* in light of DoD Directive 5000.31, “The Ada programming language shall become the single, common, computer programming language for Defense mission-critical applications.” there has b...
来源: 评论