咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是791-800 订阅
MedfoLink: Bridging the gap between IT and the medical community  2
MedfoLink: Bridging the gap between IT and the medical commu...
收藏 引用
2nd International Computational Systems Bioinformatics conference
作者: Gerrein, J Kherlopian, A Wu, V Berman, M Wald, A Columbia Univ Sch Engn & Appl Sci New York NY 10027 USA
MedfoLink is a new software technology that applies novel design features to help solve issues regarding medical records processing that are part of the national agenda. This software overcomes the vocabulary and perf... 详细信息
来源: 评论
Typing abstractions and management in a component framework
Typing abstractions and management in a component framework
收藏 引用
Asia and South Pacific design Automation conference (ASP-DAC 2003)
作者: Doucet, FJ Shukla, SK Gupta, RK Univ Calif Irvine Ctr Embedded Comp Syst Irvine CA 92612 USA
We consider the type inference problems in a compositional design environment where the components are automatically instantiated from pre-existing C++-based intellectual property (IP) libraries. We present a componen... 详细信息
来源: 评论
CodeBricks: Code fragments as building blocks
收藏 引用
acm sigplan NOTICES 2003年 第10期38卷 306-314页
作者: Attardi, G Cisternino, A Kennedy, A Dipartimento Informat I-56127 Pisa Italy Microsoft Res Ltd Cambridge England
We present a framework for code generation that allows programs to manipulate and generate code at the source level while the joining and splicing of executable code is carried out automatically at the intermediate co... 详细信息
来源: 评论
Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM
Class Unloading with a Concurrent Garbage Collector in an Em...
收藏 引用
proceedings of the International conference on Embedded Systems and Applications, ESA'03
作者: Vechev, Martin T. Petrov, Peter D. Fadata Ltd 16 Cherni Vrach Blvd 1421 Sofia Bulgaria
This paper presents the design and implementation of class unloading in an embedded Java Virtual Machine. Even though the Java language specification states explicitly when a given class must be unloaded there is a su... 详细信息
来源: 评论
Visual Constraint Diagrams: Runtime conformance checking of UML object models versus implementations  03
Visual Constraint Diagrams: Runtime conformance checking of ...
收藏 引用
18th IEEE International conference on Automated Software Engineering
作者: Turner, CJ Graham, TCN Wolfe, C Ball, J Holman, D Stewart, HD Ryman, AG Queens Univ Sch Comp Kingston ON K7L 4L5 Canada
This paper presents Visual Constraint Diagrams (VCD's), an extension to UML object diagrams for expressing constraints over object models. VCD's allow designers to express well-formedness constraints that cann... 详细信息
来源: 评论
Supporting quick and dirty CORBA introspection and manipulation  10
Supporting quick and dirty CORBA introspection and manipulat...
收藏 引用
10th Working conference on Reverse Engineering (WCRE 2003)
作者: Al-Gahmi, A John, C Cook, JE Du, B New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA
Run-time monitoring (and perhaps manipulation) tools, essential for reverse engineering of dynamic behavior, are often difficult to build from scratch. This presents a barrier for prototyping new analyses, and for bui... 详细信息
来源: 评论
The Parks PDA: A handheld device for theme park guests in Squeak
The Parks PDA: A handheld device for theme park guests in Sq...
收藏 引用
18th Annual acm sigplan conference on Object-Oriented programming, Systems, languages, and Applications, OOPSLA'03
作者: Ohshima, Yoshiki Maloney, John Ogden, Andy Twin Sun Inc. 360 N. Sepulveda Blvd. El Segundo CA 90245 United States MIT Media Lab. E15 77 Massachusetts Ave. Cambridge MA 02139 United States Strategy Design and Development Consulting 1738 N. Bellford Ave. Pasadena CA 91104 United States Tokyo Institute of Technology Japan Walt Disney Imagineering R and D United States
The Parks PDA is a lightweight, handheld device for theme park guests that functions as a combination guidebook, map, and digital camera. Together with a small team of artists and designers, we created a prototype Par... 详细信息
来源: 评论
Verification of design Decisions in ForSyDe
Verification of Design Decisions in ForSyDe
收藏 引用
First IEEE/acm/IFIP International conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003
作者: Raudvere, Tarvo Sander, Ingo Singh, Ashish Kumar Jantsch, Axel Royal Institute of Technology Stockholm Sweden
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model that captures the functionality of the system at a high abstraction level, it provides formal design trans... 详细信息
来源: 评论
Software evolution - Background, theory, practice
Software evolution - Background, theory, practice
收藏 引用
Joint European conference on Theory and Practice of Software (ETAPS 2003)
作者: Lehman, MM Ramil, JF Middlesex Univ Sch Comp London N11 2NQ England Open Univ Fac Maths & Comp Dept Comp Milton Keynes MK7 6AA Bucks England
This paper opens with a brief summary of some 30 years of study of the software evolution phenomenon. The results of those studies include the SPE program classification, a principle of software uncertainty and laws o... 详细信息
来源: 评论
Corba component based implementation of Telecom services building blocks  7
Corba component based implementation of Telecom services bui...
收藏 引用
7th IEEE International Enterprise Distributed Object Computing conference
作者: Gross, J Wegscheider, F Zeiss, J FTW Telecommun Res Ctr Vienna A-1220 Vienna Austria
The paper describes a Corba components based service development environment and reports important lessons learned from service design, implementation and usage. A declared project goal was to evaluate service program... 详细信息
来源: 评论