咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1011-1020 订阅
排序:
Heterogeneous parallel programming in Jade
Heterogeneous parallel programming in Jade
收藏 引用
1992 acm/IEEE conference on Supercomputing, Supercomputing 1992
作者: Rinard, Martin C. Scales, Daniel J. Lam, Monica S. Computer Systems Laboratory Stanford University CA94305 United States
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstractions of sequential execution and a s... 详细信息
来源: 评论
Applying high-level language paradigms to distributed systems  5
Applying high-level language paradigms to distributed system...
收藏 引用
5th acm SIGOPS European Workshop on Models and Paradigms for Distributed Systems Structuring, EW 1992
作者: Siegel, Ellen H. School of Computer Science Carnegie Mellon University PittsburghPA15213 United States
We demonstrate the benefits of applying high-level language paradigms to the design and implementation of communications software for distributed systems. We focus on a set of language mechanisms including modularity ... 详细信息
来源: 评论
Panel: Ada 9X implementation
Panel: Ada 9X implementation
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Tokar, Joyce L. Brukardt, Randall Heliard, Jean-Claude Schonberg, Edmond Brett, Bevin Dismukes, Gary J. Zeigler, Stephen Tartan Inc. United States RR Software Inc. United States Alsys Inc. United States New York University United States Digital Equipment Corporation United States TeleSoft United States Verdix Corporation United States
来源: 评论
A parallel execution environment for a sequential object oriented language  92
A parallel execution environment for a sequential object ori...
收藏 引用
6th International conference on Supercomputing, ICS 1992
作者: Jézéquel, J.-M. André, F. Bergheul, F. I.R.I.S.A. Campus de Beaulieu Rennes CedexF-35042 France
To efficiently program massively parallel systems we propose to use a form of parallelism known as data parallelism along with a SPMD programming model. We describe how a sequential Object Oriented language (OOL) can ... 详细信息
来源: 评论
Behavioural inheritance: Concepts, Ada implementation and experience
Behavioural inheritance: Concepts, Ada implementation and ex...
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Crespi-Reghizzi, Stefano De Michele, Marco Perotta, Stefano Politecnico di Milano Dipt. Elettronica Piazza Leonardo 32 Milano20133 Italy TXT Ingegneria Informatica S.p.A. Via Socrate 2 Milano20128 Italy
In a concurrent Object-Oriented language with active objects, constraints on class methods activation are needed for the purpose of synchronization. The usual approach is to provide an active class with built-in synch... 详细信息
来源: 评论
Defining software architectures using the hierarchical object-oriented design method (HOOD™)
Defining software architectures using the hierarchical objec...
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Carmichael, Andrew R. Object UK Limited PO Box 64 SouthamptonS09 7TP United Kingdom
Object-oriented design techniques for systems being implemented in Ada are of growing significance and importance, particularly in defining stable architectures for complex product life cycles and flexible functionali... 详细信息
来源: 评论
design and implementation of a programming language based on objects and fields  21
Design and implementation of a programming language based on...
收藏 引用
1992 IEEE Region 10 International conference on Technology Enabling Tomorrow: Computers, Communications and Automation towards the 21st Century, TENCON 1992
作者: Nishio, F. Watanabe, T. Sugie, N. Department of Information Engineering Faculty of Engineering Nagoya University Furo-cho Chikusa-ku Nagoya464-01 Japan
The object-oriented model represents various phenomena in the real world from an entity-category point of view. It is not sufficient to model the dynamic actions of autonomous entities, and does not represent the rela... 详细信息
来源: 评论
Management of the design and implementation of a large-scale ada CSCI using an automated scheduling tool  9
Management of the design and implementation of a large-scale...
收藏 引用
9th Washington Ada Symposium on Ada: Empowering Software Users and Developers, WADAS 1992
作者: Van Epps, Byron Loiacono, Joseph Palfy, Robert Computer Sciences Corporation System Sciences Division 15245 Shady Grove Road RockvilleMD20850 United States
The use of a scheduling tool applied to the development of the FPAP CSCI has proved invaluable. The information produced by the tool is used daily to develop the software through the design and coding phases for each ... 详细信息
来源: 评论
Walks into the APL design space
Walks into the APL design space
收藏 引用
proceedings of the International conference on APL
作者: Gfeller, Martin Network Products Zurich Switzerland
Like any living language, APL is evolving. The design space for its future development is wide open. Some trails into that space are known, for other languages have followed them. We will walk on some trails, visit so... 详细信息
来源: 评论
Transputer-based parallel Lisp implementation
Transputer-based parallel Lisp implementation
收藏 引用
proceedings of the 20th Annual acm Computer Science conference - CSC '92
作者: Feng, M.D. Yuen, C.K. Natl Univ of Singapore Singapore
This paper reports the effort made to implement BaLinda Lisp, a parallel Lisp dialect, on transputer arrays. BaLinda lisp supports the FUTURE construct to initiate parallel execution threads, speculative constructs to... 详细信息
来源: 评论