咨询与建议

限定检索结果

文献类型

  • 1,098 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,058 篇 工学
    • 998 篇 软件工程
    • 761 篇 计算机科学与技术...
    • 47 篇 控制科学与工程
    • 38 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 137 篇 理学
    • 113 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 化学
    • 4 篇 物理学
    • 2 篇 地质学
  • 86 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 30 篇 工商管理
  • 11 篇 教育学
    • 11 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 98 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 55 篇 object oriented ...
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 28 篇 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
  • 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 篇 lam monica s.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,151 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1229 条 记 录,以下是951-960 订阅
排序:
A study of object-oriented design errors made by novice programmers  09
A study of object-oriented design errors made by novice prog...
收藏 引用
2009 Annual conference of the Southern African Computer Lecturers' Association, SACLA '09
作者: Pillay, Nelishia School of Computer Science University of KwaZulu-Natal Pietermartizburg Campus KwaZulu-Natal South Africa
There has been a vast amount of research into the errors made by novice programmers when implementing the object-oriented programming paradigm. However, a majority of the work in this area has focused on language-spec... 详细信息
来源: 评论
A declarative approach for designing and developing adaptive components  15
A declarative approach for designing and developing adaptive...
收藏 引用
15th IEEE International conference on Automated Software Engineering (ASE 2000)
作者: Boinot, P Marlet, R Noyé, J Muller, G Consel, C Univ Rennes 1 INRIA IRISA Compose Grp F-35042 Rennes France
An adaptive component is a component that is able to adapt its behavior to different execution contexts. Building an adaptive application is difficult because of component dependencies and the lack of language support... 详细信息
来源: 评论
Compiling a High-Level language for GPUs  12
Compiling a High-Level Language for GPUs
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Christophe Dubach Perry Cheng Rodric Rabbah David F. Bacon Stephen J. Fink University of Edinburgh IBM Research
languages such as OpenCL and CUDA offer a standard interface for general-purpose programming of GPUs. However, with these languages, programmers must explicitly manage numerous low-level details involving communicatio... 详细信息
来源: 评论
Terra: A Multi-Stage language for High-Performance Computing  13
Terra: A Multi-Stage Language for High-Performance Computing
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Zachary DeVito James Hegarty Alex Aiken Pat Hanrahan Jan Vitek Stanford University Purdue University
High-performance computing applications, such as auto-tuners and domain-specific languages, rely on generative programming techniques to achieve high performance and portability. However, these systems are often imple... 详细信息
来源: 评论
Scalable certification framework for behavioral synthesis front-end  14
Scalable certification framework for behavioral synthesis fr...
收藏 引用
51st Annual design Automation conference, DAC 2014
作者: Yang, Zhenkun Hao, Kecheng Cong, Kai Lei, Li Ray, Sandip Xie, Fei Department of Computer Science Portland State University Portland OR 97207 United States Strategic CAD Labs Intel Corporation Hillsboro OR 97124 United States
Behavioral synthesis entails application of a sequence of transformations to compile a high-level description of a hardware design (e.g., in C/C++/SystemC) into a register-transfer level (RTL) implementation. In this ... 详细信息
来源: 评论
LiSEB: A language for modeling living systems with APL2  94
LiSEB: A language for modeling living systems with APL2
收藏 引用
International conference on APL: The language and its Applications, APL 1994
作者: Bottoni, P. Marlotto, M. Mussio, P. Centre for Theoretical Medicine Studies via Pace 9 Mllano20122 Italy Univ. of Miian Dep. of Physics via Viotti 5 Mllano20133 Italy Univ. of Rome Dep. of Computer Science via Saiaria 113 Roma00198 Italy
The paper discusses the design and implementation of LiSEB, a class-based language built on top of APL2 to respond to challenges posed by modelling living systems from a medical point of view. LiSEB capitalises on sev... 详细信息
来源: 评论
The implementation of an integrated concurrency control and recovery scheme  82
The implementation of an integrated concurrency control and ...
收藏 引用
1982 acm SIGMOD International conference on Management of Data, SIGMOD 1982
作者: Chan, Arvola Fox, Stephen Lin, Wen-Te K. Nori, Anil Ries, Daniel R. Computer Corporation of America 575 Technology Square CambridgeMA02139 United States
This paper describes the implementation level design of an integrated concurrency control and recovery scheme based on the maintenance of multiple versions of data objects in a database. The concurrency control mechan... 详细信息
来源: 评论
A 64-bit Stream Processor Architecture for Scientific Applications  07
A 64-bit Stream Processor Architecture for Scientific Applic...
收藏 引用
34th Annual International Symposium on Computer Architecture
作者: Yang, Xuejun Yan, Xiaobo Xing, Zuocheng Deng, Yu Jiang, Jiang Zhang, Ying Natl Univ Def Technol Natl Lab Paralleling & Distributed Proc Sch Comp Changsha 410073 Hunan Peoples R China
Stream architecture is a novel microprocessor architecture with wide application potential. But as for whether it can be used efficiently in scientific computing, many issues await further study. This paper first give... 详细信息
来源: 评论
Asynchronous Functional Reactive programming for GUIs  13
Asynchronous Functional Reactive Programming for GUIs
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Evan Czaplicki Stephen Chong Harvard University
Graphical user interfaces (GUIs) mediate many of our interactions with computers. Functional Reactive programming (FRP) is a promising approach to GUI design, providing high-level, declarative, compositional abstracti... 详细信息
来源: 评论
language for writing code generators
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1989年 第7期24卷 238-245页
作者: Fraser, Christopher W. AT&T Bell Lab United States
This paper describes a programming language for writing code generators. The language abbreviates repetitive constructs, simplifies encoding, and assumes responsibility for making the code generator small and fast. As... 详细信息
来源: 评论