咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 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 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是461-470 订阅
排序:
Archface: A contract place where architectural design and code meet together  10
Archface: A contract place where architectural design and co...
收藏 引用
32nd acm/IEEE International conference on Software Engineering, ICSE 2010
作者: Ubayashi, Naoyasu Nomura, Jun Tamai, Tetsuo Kyushu University Fukuoka Japan Kyushu Institute of Technology Fukuoka Japan University of Tokyo Tokyo Japan
This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation. Archface, which encapsulates design essence based on the component-and-connector architect... 详细信息
来源: 评论
Contracts for Modular Discrete Controller Synthesis
收藏 引用
acm sigplan NOTICES 2010年 第4期45卷 57-66页
作者: Delaval, Gwenael Marchand, Herve Rutten, Eric INRIA Grenoble France INRIA Rennes France
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedded systems, and involves principles of... 详细信息
来源: 评论
Modular JADE agents design and implementation using ASEME
Modular JADE agents design and implementation using ASEME
收藏 引用
2010 IEEE/WIC/acm International conference on Intelligent Agent Technology, IAT 2010
作者: Spanoudakis, Nikolaos Moraitis, Pavlos Technical University of Crete Greece LIPADE Paris Descartes University France
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of one type of software model to another... 详细信息
来源: 评论
Considerate Reasoning and the Composite design Pattern  10
收藏 引用
11th International conference on Verification, Model Checking, and Abstract Interpretation
作者: Summers, Alexander J. Drossopoulou, Sophia Imperial Coll London London England
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations which follow the pattern of breaking pr... 详细信息
来源: 评论
MapCG: Writing Parallel Program Portable between CPU and GPU  10
MapCG: Writing Parallel Program Portable between CPU and GPU
收藏 引用
19th International conference on Parallel Architectures and Compilation Techniques
作者: Hong, Chuntao Chen, Dehao Chen, Wenguang Zheng, Weimin Lin, Haibo Tsinghua Univ Tsinghua Natl Lab Informat Sci & Technol Beijing 100084 Peoples R China
Graphics Processing Units (GPU) have been playing an important role in the general purpose computing market recently. The common approach to program GPU today is to write GPU specific code with low level GPU APIs such... 详细信息
来源: 评论
design of a model-generated repository as a service for USDL  10
Design of a model-generated repository as a service for USDL
收藏 引用
proceedings of the 12th International conference on Information Integration and Web-based Applications & Services
作者: Duddy, Keith Henderson, Michael Metke-Jimenez, Alejandro Steel, Jim Queensland University of Technology 2 George St Brisbane QLD 4000 Australia
SAP and its research partners have been developing a language for describing details of Services from various viewpoints called the Unified Service Description language (USDL [12]. At the time of writing, version 3.0 ... 详细信息
来源: 评论
Functional parallel algorithms  10
Functional parallel algorithms
收藏 引用
proceedings of the 15th acm sigplan international conference on Functional programming
作者: Guy E. Blelloch Carnegie Mellon University Pittsburgh PA USA
Functional programming presents several important advantages in the design, analysis and implementation of parallel algorithms: It discourages iteration and encourages *** supports persistence and hence easy *** encou... 详细信息
来源: 评论
proceedings of the acm sigplan conference on programming language design and implementation (PLDI): Message from the program chair
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 2008年 iii页
作者: Amarasinghe, Saman
No abstract available
来源: 评论
programming Model for a Heterogeneous x86 Platform  09
Programming Model for a Heterogeneous x86 Platform
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Saha, Bratin Zhou, Xiaocheng Chen, Hu Gao, Ying Yan, Shoumeng Rajagopalan, Mohan Fang, Jesse Zhang, Peinan Ronen, Ronny Mendelson, Avi Intel Corp Santa Clara CA 95051 USA
The client computing platform is moving towards a heterogeneous architecture consisting of a combination of cores focused on scalar performance, and a set of throughput-oriented cores. The throughput oriented cores (e... 详细信息
来源: 评论
Typed Self-Representation  09
Typed Self-Representation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Rendel, Tillmann Ostermann, Klaus Hofer, Christian Univ Aarhus DK-8000 Aarhus C Denmark
Self-representation - the ability to represent programs in their own language - has important applications in reflective languages and many other domains of programming language design. Although approaches to designin... 详细信息
来源: 评论