咨询与建议

限定检索结果

文献类型

  • 2,268 篇 会议
  • 296 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,566 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,271 篇 工学
    • 2,139 篇 软件工程
    • 1,693 篇 计算机科学与技术...
    • 83 篇 控制科学与工程
    • 57 篇 信息与通信工程
    • 55 篇 电气工程
    • 22 篇 电子科学与技术(可...
    • 17 篇 机械工程
    • 13 篇 材料科学与工程(可...
    • 13 篇 建筑学
    • 13 篇 土木工程
    • 13 篇 生物工程
    • 10 篇 光学工程
    • 9 篇 安全科学与工程
    • 8 篇 化学工程与技术
    • 5 篇 动力工程及工程热...
    • 5 篇 生物医学工程(可授...
    • 4 篇 力学(可授工学、理...
  • 280 篇 理学
    • 218 篇 数学
    • 32 篇 系统科学
    • 18 篇 统计学(可授理学、...
    • 16 篇 物理学
    • 16 篇 生物学
    • 8 篇 化学
    • 6 篇 地质学
  • 209 篇 管理学
    • 112 篇 图书情报与档案管...
    • 109 篇 管理科学与工程(可...
    • 50 篇 工商管理
  • 22 篇 教育学
    • 22 篇 教育学
  • 17 篇 法学
    • 15 篇 社会学
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 2 篇 农学
  • 2 篇 艺术学
  • 1 篇 军事学

主题

  • 390 篇 design
  • 369 篇 languages
  • 187 篇 computer program...
  • 182 篇 performance
  • 162 篇 object oriented ...
  • 89 篇 algorithms
  • 88 篇 java programming...
  • 81 篇 experimentation
  • 79 篇 functional progr...
  • 71 篇 theory
  • 70 篇 computer program...
  • 65 篇 java
  • 63 篇 verification
  • 61 篇 reliability
  • 49 篇 semantics
  • 47 篇 software design
  • 45 篇 domain-specific ...
  • 38 篇 parallel program...
  • 37 篇 concurrency
  • 35 篇 measurement

机构

  • 25 篇 carnegie mellon ...
  • 22 篇 univ washington ...
  • 18 篇 univ penn philad...
  • 17 篇 princeton univ p...
  • 17 篇 stanford univ st...
  • 16 篇 univ texas austi...
  • 15 篇 harvard univ cam...
  • 14 篇 purdue univ w la...
  • 13 篇 microsoft res re...
  • 13 篇 microsoft resear...
  • 13 篇 rice univ housto...
  • 12 篇 univ wisconsin m...
  • 12 篇 mit cambridge ma...
  • 12 篇 cornell univ ith...
  • 12 篇 microsoft res ca...
  • 11 篇 univ michigan an...
  • 11 篇 swiss fed inst t...
  • 11 篇 univ calif berke...
  • 10 篇 microsoft res re...
  • 10 篇 yale univ new ha...

作者

  • 19 篇 hirschfeld rober...
  • 16 篇 walker david
  • 15 篇 visser eelco
  • 15 篇 felleisen matthi...
  • 14 篇 findler robert b...
  • 13 篇 grossman dan
  • 13 篇 bacon david f.
  • 12 篇 chlipala adam
  • 11 篇 flatt matthew
  • 11 篇 sarkar vivek
  • 11 篇 myers andrew c.
  • 11 篇 mezini mira
  • 11 篇 morrisett greg
  • 10 篇 mckinley kathryn...
  • 10 篇 bockisch christo...
  • 10 篇 adl-tabatabai al...
  • 10 篇 van der storm ti...
  • 10 篇 de moor oege
  • 10 篇 dillig isil
  • 9 篇 lumsdaine a

语言

  • 2,348 篇 英文
  • 213 篇 其他
  • 4 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=ACM SIGPLAN Conference on Programming Language Design and Implementation"
2566 条 记 录,以下是2541-2550 订阅
排序:
An efficient meta-lock for implementing ubiquitous synchronization  99
An efficient meta-lock for implementing ubiquitous synchroni...
收藏 引用
Proceedings of the 14th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Ole Agesen David Detlefs Alex Garthwaite Ross Knippel Y. S. Ramakrishna Derek White Sun Microsystems Laboratories One Network Drive Burlington MA Sun Microsystems 901 San Antonio Road Palo Alto CA
Programs written in concurrent object-oriented languages, especially ones that employ thread-safe reusable class libraries, can execute synchronization operations (lock, notify, etc.) at an amazing rate. Unless implem... 详细信息
来源: 评论
A generational on-the-fly garbage collector for Java  00
A generational on-the-fly garbage collector for Java
收藏 引用
Proceedings of the acm sigplan 2000 conference on programming language design and implementation
作者: Tamar Domani Elliot K. Kolodner Erez Petrank IBM Haifa Research Lab. Computer Science Dept. Technion - Israel Institute of Technology
An on-the-fly garbage collector does not stop the program threads to perform the collection. Instead, the collector executes in a separate thread (or process) in parallel to the program. On-the-fly collectors are usef... 详细信息
来源: 评论
A comparison of two object-oriented design methodologies (abstract only)  87
A comparison of two object-oriented design methodologies (ab...
收藏 引用
Proceedings of the 15th annual conference on Computer Science
作者: Linda Rising Department of Computer Technology Indiana University-Purdue University at Fort Wayne Fort Wayne Indiana
With the increasing use of Ada* in light of DoD Directive 5000.31, “The Ada programming language shall become the single, common, computer programming language for Defense mission-critical applications.” there has b...
来源: 评论
Transparent distribution of real-time components based on logical execution time  05
Transparent distribution of real-time components based on lo...
收藏 引用
Proceedings of the 2005 acm sigplan/SIGBED conference on languages, compilers, and tools for embedded systems
作者: Emilia Farcas Claudiu Farcas Wolfgang Pree Josef Templ University of Salzburg Austria
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a system is the same no matter where a com... 详细信息
来源: 评论
Load-reuse analysis: design and evaluation  99
Load-reuse analysis: design and evaluation
收藏 引用
Proceedings of the acm sigplan 1999 conference on programming language design and implementation
作者: Rastislav Bodík Rajiv Gupta Mary Lou Soffa Dept. of Computer Science University of Pittsburgh Pittsburgh PA
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the results of prior memory accesses. This pa... 详细信息
来源: 评论
The design and performance of a real-time CORBA event service  97
The design and performance of a real-time CORBA event servic...
收藏 引用
Proceedings of the 12th acm sigplan conference on Object-oriented programming, systems, languages, and applications
作者: Timothy H. Harrison David L. Levine Douglas C. Schmidt Department of Computer Science Washington University St. Louis MO
The CORBA Event Service provides a flexible model for asynchronous communication among objects. However, the standard CORBA Event Service specification lacks important features required by real-time applications. For ...
来源: 评论
What are Your programming language's Energy-Delay Implications?
What are Your Programming Language's Energy-Delay Implicatio...
收藏 引用
International Mining Software Repositories, MSR
作者: Stefanos Georgiou Maria Kechagia Panos Louridas Diomidis Spinellis Athens University of Economics and Business Delft University of Technology
Motivation: Even though many studies examine the energy efficiency of hardware and embedded systems, those that investigate the energy consumption of software applications are still limited, and mostly focused on mobi... 详细信息
来源: 评论
Structured programming: From theory to practice  76
Structured Programming: From theory to practice
收藏 引用
Proceedings of the 2nd international conference on Software engineering
作者: John C. Carrow
One of the more controversial topics to appear within the field of Computer Science has been the theory of Structured programming and the specific tools and techniques associated with this generic title. With respect ... 详细信息
来源: 评论
Thinking in imperative or objects? A study on how novice programmer thinks when it comes to designing an application
Thinking in imperative or objects? A study on how novice pro...
收藏 引用
IEEE International conference on Teaching, Assessment and Learning for Engineering (TALE)
作者: Sim Tze Ying School of Interdisciplinary Studies Sunway University Subang Jaya Malaysia
Novice programming is a challenging subject to teach and learn. However, programming is an essential skill that is required by many majors apart from Computer Science. The challenges in a novice programming subject ch... 详细信息
来源: 评论
Use object-oriented paradigm to design and implement an algorithm for object-oriented class-level testing
Use object-oriented paradigm to design and implement an algo...
收藏 引用
IEEE International conference on Systems, Man and Cybernetics
作者: Yu Xia Sun Huo Yan Chen Department of Computer Science Jinan University Guangzhou China
One of the means to enhance software reliability and quality is testing. The testing for object-oriented software is more complex and difficult than that for traditional programming. For object-oriented class-level an... 详细信息
来源: 评论