咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 136 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,116 篇 工学
    • 1,040 篇 软件工程
    • 804 篇 计算机科学与技术...
    • 49 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 10 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 安全科学与工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 c (programming l...

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 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 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

  • 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 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,203 篇 英文
  • 88 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1292 条 记 录,以下是1051-1060 订阅
排序:
Extending SQL-92 for OODB access: design and implementation experience  95
Extending SQL-92 for OODB access: Design and implementation ...
收藏 引用
10th Annual conference on Object-Oriented programming Systems, languages, and Applications, OOPSLA 1995
作者: Kiernan, Jerry Carey, Michael J. IBM Santa Teresa Lab. 555 Bailey Avenue San Jose CA 95141 United States IBM Almaden Research Center 650 Harry Road K55-B1 San Jose CA 95120 United States
This paper describes the design and implementation of a query engine that provides extended SQL-based access to the data managed by an object-oriented database system. This query engine allows extended SQL queries to ... 详细信息
来源: 评论
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
Proceedings of the ACM SIGPLAN'94 Conference on Programming ...
收藏 引用
proceedings of the acm sigplan'94 conference on programming language design and implementation (PLDI)
The proceedings contain 30 papers on programming languages. Topics include language design, data structures, codes, mathemtical techniques, errors, error correction, computation theory, program compiling and program o... 详细信息
来源: 评论
A SYSTEMATIC FRAMEWORK FOR THE DEPENDENCE CYCLE REMOVAL IN PRACTICAL LOOPS
收藏 引用
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING 1995年 第2期27卷 157-171页
作者: KONDA, V KUMAR, A UNIV LOUISVILLE DEPT ENGN MATH & COMP SCILOUISVILLEKY 40292
Traditionally research in dependence testing considered the most general linear subscripted DO loops permitted by standard Fortran. However, the existing program transformations are discussed in isolation without deve... 详细信息
来源: 评论
HPF compiler for the AP1000  95
HPF compiler for the AP1000
收藏 引用
proceedings of the 1995 conference on Supercomputing
作者: Shindo, Tatsuya Iwashita, Hidetoshi Doi, Tsunehisa Hagiwara, Junichi Kaneshiro, Shaun Fujitsu Ltd Kawasaki Japan
High Performance Fortran (HPF) is a candidate for a standard programming language for distributed memory parallel computers. This paper presents the design and implementation of an HPF compiler for the Fujitsu AP1000 ... 详细信息
来源: 评论
Debugging constraint programs  1st
Debugging constraint programs
收藏 引用
1st International conference on Principles and Practice of Constraint programming, CP 1995
作者: Meier, Micha European Computer Industry Research Centre Arabellastr. 17 Munich81925 Germany
Constraint programming (CP) is in its substance non-algorithmic programming, not last because it is often being applied to problems for which no efficient algorithms exist. A not immediately obvious consequence of thi... 详细信息
来源: 评论
Ada 95 as implementation language for object-oriented designs
Ada 95 as implementation language for object-oriented design...
收藏 引用
International conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995
作者: Barbey, Stephane Swiss Federal Institute of Technology Software Engineering Laboratory Lausanne Ecublens1015 Switzerland
In this paper, we show how Ada 95 can be used as an implementation language for object-oriented designs. We present a strategy to map Fusion class descriptions into Ada specifications, considering the various kinds of... 详细信息
来源: 评论
The GNAT implementation of controlled types
The GNAT implementation of controlled types
收藏 引用
International conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995
作者: Comar, Cyrille Dismukes, Gary Gasperoni, Franco Ada Core Technologies 73 Fifth Avenue New YorkNY10003 United States Ada Core Technologies 10397 Avenida Magnifica San DiegoCA92131 United States Telecom Paris-ENST Dep. INF 46 rue Barrault Paris Cedex 1375634 France
This paper discusses the implementation model for supporting Ada 95 controlled types in the GNAT compiler [1]. After reviewing the semantics of controlled types, we outline the associated implementation problems and d... 详细信息
来源: 评论
The composition of abstractions: Evolution of software component design with Ada 95
The composition of abstractions: Evolution of software compo...
收藏 引用
International conference on TRI-Ada 1995: Ada's Role in Global Markets: Solutions for a Changing Complex World, TRI-Ada 1995
作者: Kempe, Magnus Swiss Federal Institute of Technology in Lausanne Software Engineering Laboratory EPFL-DI-LGL LausanneCH-1015 Switzerland
Ada 95 adds many new, powerful constructs to the ones Ada 83 already offered. From the perspective of a designer and implementor of Ada software components, this should encourage an evolution in the architecture of co... 详细信息
来源: 评论
Pattern matching for design concept localization
Pattern matching for design concept localization
收藏 引用
2nd Working conference on Reverse Engineering
作者: KONTOGIANNIS, K DEMORI, R BERNSTEIN, M GALLER, M MERLO, E MCGILL UNIV SCH COMP SCIMONTREALPQ H3A 2A7CANADA
The effective synergy of a number of different techniques is the key to the successful development of an efficient Reverse Engineering environment. Compiler technology, pattern matching techniques, visualization tools... 详细信息
来源: 评论
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... 详细信息
来源: 评论