咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1001-1010 订阅
排序:
designing Dexter-based cooperative hypermedia systems  93
Designing Dexter-based cooperative hypermedia systems
收藏 引用
proceedings of the 5th acm conference on Hypertext
作者: Gronbaek, Kaj Hem, Jens A. Madsen, Ole L. Sloth, Lennert Aarhus Univ Aarhus Denmark
This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. The Dexter Hypertext Reference Model (... 详细信息
来源: 评论
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...
来源: 评论
1st International Symposium on Object Technologies for Advanced Software, ISOTAS 1993
1st International Symposium on Object Technologies for Advan...
收藏 引用
1st International Symposium on Object Technologies for Advanced Software, ISOTAS 1993
The proceedings contain 31 papers. The special focus in this conference is on Object Technologies for Advanced Software. The topics include: Uniting functional and object-oriented programming;a support for software co...
来源: 评论
Dynamic data distributions in Vienna Fortran
Dynamic data distributions in Vienna Fortran
收藏 引用
Supercomputing conference
作者: B. Chapman P. Mehrotra H. Moritsch H. Zima Institute of Software Technology and Parallel Systems University of Technology Vienna Vienna Austria NASA Langley Research Center LCASE Hampton VA USA
Vienna Fortran is a machine-independent language extension of Fortran which is based on the single-program-multiple-data (SPMD) paradigm and allows the user to write programs for distributed-memory systems using globa... 详细信息
来源: 评论
Fortran 90D/HPF compiler for distributed memory MIMD computers: design, implementation, and performance results
Fortran 90D/HPF compiler for distributed memory MIMD compute...
收藏 引用
Supercomputing conference
作者: Z. Bozkus A. Choudhary G. Fox T. Haupt S. Ranka Northeast Parallel Architectures Center ECE Department Syracuse University USA Northeast Parallel Architectures Center CIS Department Syracuse University USA
Fortran 90D/HPF is a data parallel language with special directives to enable users to specify data alignment and distributions. The authors describe the design and implementation of a Fortran 90D/HPF compiler. Techni... 详细信息
来源: 评论
The design and implementation of a distributed graphics language
The design and implementation of a distributed graphics lang...
收藏 引用
IEEE Region 10 International conference TENCON
作者: Zhigeng Pan Jiaoying Shi Zhejiang University Hangzhou Zhejiang CN State Key Lab. of CAD & CG Zhejiang Univ. Hangzhou China
We present a distributed graphics programming language called DGLa, which facilitates the development of distributed graphics application. DGLa is an upward compatible extension of programming language C. Facilities f... 详细信息
来源: 评论
VASE: The visualization and application steering environment
VASE: The visualization and application steering environment
收藏 引用
Supercomputing conference
作者: D.J. Jablonowski J.D. Bruner B. Bliss R.B. Haber CSRL University of Illinois Urbana IL USA Convex Computer Corporation Richardson TX USA Laboratory University of Illinois Urbana IL USA
The visualization and application steering environment (VASE) provides interactive visual computing and steering for scientific and engineering programs. VASE defines an abstraction for a steerable program structure a... 详细信息
来源: 评论
Issues in scalable library design for massively parallel computers
Issues in scalable library design for massively parallel com...
收藏 引用
Supercomputing conference
作者: L.M. Ni H. Xu E.T. Kalns Department of Computer Science Michigan State University East Lansing MI USA
The authors examine some critical issues raised in the design of libraries for MPCs, such as scalability, portability, recompilation, and flexibility. They advocate a layered structure of library design, comprising a ... 详细信息
来源: 评论
Applications-driven parallel I/O
Applications-driven parallel I/O
收藏 引用
Supercomputing conference
作者: N. Galbreath W. Gropp D. Levine Boston University USA Mathematics and Computer Science Division Argonne National Laboratory Argonne IL USA
The authors investigate the needs of some massively parallel applications running on distributed-memory parallel computers at Argonne National Laboratory and identify some common parallel I/O operations. For these ope... 详细信息
来源: 评论
Teaching C++: Three perspectives
Teaching C++: Three perspectives
收藏 引用
Frontiers in Education (FIE) conference
作者: E.C. Neu D.J. Neu Stevens Institute of Technology USA Hilton Systems Inc.
An attempt is made to demonstrate how judicious use of various features of the C++ language, especially its object-oriented features, can be used to establish a pedagogically sound approach to teaching computer progra... 详细信息
来源: 评论