咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1031-1040 订阅
排序:
Probabilistic register allocation
Probabilistic register allocation
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Proebsting, Todd A. Fischer, Charles N. Univ of Wisconsin-Madison WI United States
A new global register allocation technique, probabilistic register allocation, is described. Probabilistic register allocation quantifies the costs and benefits of allocating variables to registers over live ranges so... 详细信息
来源: 评论
DROL - AN OBJECT-ORIENTED programming language FOR DISTRIBUTED REAL-TIME SYSTEMS
DROL - AN OBJECT-ORIENTED PROGRAMMING LANGUAGE FOR DISTRIBUT...
收藏 引用
7th conference on Object-Oriented programming Systems, languages, and Applications (OOPSLA 92)
作者: TAKASHIO, K TOKORO, M KEIO UNIV DEPT COMP SCIKOHOKU KUYOKOHAMAKANAGAWA 223JAPAN
In this paper, we first characterize distributed real-time systems by the following two properties that have to be supported: best effort and least suffering. Then, we propose a distributed real-time object model DRO ... 详细信息
来源: 评论
design and implementation of HoME
Design and implementation of HoME
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Ogata, Kazuhiro Kurihara, Satoshi Inari, Mikio Doi, Norihisa Keio Univ Yokohama Japan
HoME is a version of Smalltalk which can be efficiently executed on a multiprocessor and can be executed in parallel by combining a Smalltalk process with a Mach thread and executing the process on the thread. HoME is... 详细信息
来源: 评论
Lazy code motion
Lazy code motion
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Knoop, Jens Ruething, Oliver Steffen, Bernhard Christian-Albrechts-Univ Kiel Germany
We present a bit-vector algorithm for the optimal and economical placement of computations within flow graphs, which is as efficient as standard uni-directional analyses. The point of our algorithm is the decompositio... 详细信息
来源: 评论
Composable attribute grammars: Support for modularity in translator design and implementation
Composable attribute grammars: Support for modularity in tra...
收藏 引用
19th Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL'92
作者: Farrow, R. Marlowe, T.J. Yellin, D.M. Declarative Systems Inc
This paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to co... 详细信息
来源: 评论
Customizable substrate for concurrent languages
Customizable substrate for concurrent languages
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Jagannathan, Suresh Philbin, Jim NEC Research Inst Princeton NJ United States
We describe an approach to implementing a wide-range of concurrency paradigms in high-level (symbolic) programming languages. The focus of our discussion is STING, a dialect of Scheme, that supports lightweight thread... 详细信息
来源: 评论
Full functional programming in a declarative ada dialect
Full functional programming in a declarative ada dialect
收藏 引用
1992 Annual International conference on TRI-Ada, TRI-Ada 1992
作者: Bailes, Paul A. Johnston, Dan Salzman, Eric Wang, Li Language Design Laboratory Key Centre for Software Technology Department of Computer Science University of Queensland QLD4072 Australia
Functional-style programming and languages have an important role to play in the software life cycle, but for a variety of technical and organisational reasons are of limited utility until they are integrated with exi... 详细信息
来源: 评论
Avoiding unconditional jumps by code replication
Avoiding unconditional jumps by code replication
收藏 引用
acm sigplan '92 conference on programming language design and implementation, PLDI 1992
作者: Mueller, Frank Whalley, David B. Florida State Univ Tallahassee FL United States
This study evaluates a global optimization technique that avoids unconditional jumps by replicating code. When implemented in the back-end of an optimizing compiler, this technique can be generalized to work on almost... 详细信息
来源: 评论
design and implementation of HoME
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 44-44页
作者: Ogata, Kazuhiro Kurihara, Satoshi Inari, Mikio Doi, Norihisa
来源: 评论
Compiler support for garbage collection in a statically typed language
收藏 引用
sigplan Notices (acm Special Interest Group on programming languages) 1992年 第7期27卷 273-273页
作者: Diwan, Amer Moss, Eliot Hudson, Richard
来源: 评论