咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1161-1170 订阅
排序:
1st International ACPC conference on Parallel Computation, 1991
1st International ACPC Conference on Parallel Computation, 1...
收藏 引用
1st International ACPC conference on Parallel Computation, 1991
The proceedings contain 33 papers. The special focus in this conference is on Parallel Computation. The topics include: Scalable cache coherence for shared memory multiprocessors;new program restructuring technology;d...
来源: 评论
A formally verified system for logic synthesis
A formally verified system for logic synthesis
收藏 引用
IEEE International conference on Computer design: VLSI in Computers and Processors, (ICCD)
作者: M. Aagaard M. Leeser School of Electrical Engineering Cornell University Ithaca NY USA
The correctness of a logic synthesis system is implemented and proved. The algorithm is based on the weak division algorithm for Boolean simplification previously presented. The implementation is in the programming la... 详细信息
来源: 评论
Architecture-independent scientific programming in data parallel C: three case studies
Architecture-independent scientific programming in data para...
收藏 引用
Supercomputing conference
作者: Philip J. Hatcher Michael J. Quinn Ray J. Anderson Anthony J. Lapadula Bradley K. Seevers Andrew F. Bennett Department of Computer Science University of New Hampshire Durham NH USA Department of Computer Science Oregon State University Corvallis OR USA College of Oceanography Oregon State University Corvallis OR USA
Dataparallel C is a SIMD programming language suitable for solving many problems arising in science and engineering. We have developed compilers that translate Dataparallel C programs into C code that can be compiled ... 详细信息
来源: 评论
A logic programming tool for qualitative system design  86
A logic programming tool for qualitative system design
收藏 引用
proceedings of the international conference on APL
作者: Gert L. Moller Bang & Olufsen DK - 7600 Struer Denmark
Introducing a geometrical approach to propositional divalent logic with the truth-tables of the Boolean connectives as the geometrical objects, we can make a simple operational implementation in APL of basic inference...
来源: 评论
Practical program analysis using general purpose logic programming systems—a case study  96
Practical program analysis using general purpose logic progr...
收藏 引用
proceedings of the acm sigplan 1996 conference on programming language design and implementation
作者: Steven Dawson C. R. Ramakrishnan David S. Warren SRI International 333 Ravenswood Ave. Menlo Park CA and Department of Computer Science SUNY at Stony Brook Stony Brook NY Department of Computer Science SUNY at Stony Brook Stony Brook NY
Many analysis problems can be cast in the form of evaluating minimal models of a logic program. Although such formulations are appealing due to their simplicity and declarativeness, they have not been widely used in p...
来源: 评论
A design and an implementation of the parallel processing language using message passing
A design and an implementation of the parallel processing la...
收藏 引用
IEEE Pacific Rim conference on Communications, Computers and Signal Processing
作者: S. Okamoto H. Iizuka Department of Information Sciences Seikei University Musashino Tokyo Japan
The authors describe a programming language which is suitable for both distributed memory and shared memory type multiprocessors. The language is called SPLAN (small parallel-processing language). The language has the... 详细信息
来源: 评论
An object-oriented design method for knowledge based systems
An object-oriented design method for knowledge based systems
收藏 引用
proceedings of the IEEE/acm International conference on Developing and Managing Expert System Programs
作者: M. Sierhuis Expert Systems Laboratory NYNEX Science and Technology Inc. White Plains NY USA
It is shown how the object-oriented (OO) paradigm and the KADS methodology's four-layer knowledge paradigm can be used to develop a design method for knowledge-based systems (KBSs). An example is used to illustrat... 详细信息
来源: 评论
Adding trace matching with free variables to AspectJ  05
Adding trace matching with free variables to AspectJ
收藏 引用
proceedings of the 20th annual acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Chris Allan Pavel Avgustinov Aske Simon Christensen Laurie Hendren Sascha Kuzins Ondřej Lhoták Oege de Moor Damien Sereni Ganesh Sittampalam Julian Tibble University of Oxford United Kingdom University of Aarhus Denmark McGill University Montreal Canada
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are confined to the current... 详细信息
来源: 评论
Look up!: your future is in the cloud  13
Look up!: your future is in the cloud
收藏 引用
proceedings of the 34th acm sigplan conference on programming language design and implementation
作者: James R. Larus Microsoft Research Redmond WA USA
The "Cloud" is a wonderfully expansive phrase used to denote computation and data storage centralized in a large datacenter and elastically accessed across a network. The concept is not new; web sites and bu... 详细信息
来源: 评论
Practical data breakpoints: design and implementation  93
Practical data breakpoints: design and implementation
收藏 引用
proceedings of the acm sigplan 1993 conference on programming language design and implementation
作者: Robert Wahbe Steven Lucco Susan L. Graham
A data breakpoint associates debugging actions with programmer-specified conditions on the memory state of an executing program. Data breakpoints provide a means for discovering program bugs that are tedious or imposs...
来源: 评论