咨询与建议

限定检索结果

文献类型

  • 1,099 篇 会议
  • 138 篇 期刊文献

馆藏范围

  • 1,237 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,072 篇 工学
    • 1,005 篇 软件工程
    • 778 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 32 篇 信息与通信工程
    • 12 篇 机械工程
    • 10 篇 电子科学与技术(可...
    • 6 篇 建筑学
    • 6 篇 土木工程
    • 6 篇 生物工程
    • 5 篇 材料科学与工程(可...
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 光学工程
    • 4 篇 航空宇航科学与技...
    • 2 篇 冶金工程
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
  • 138 篇 理学
    • 112 篇 数学
    • 13 篇 系统科学
    • 8 篇 生物学
    • 8 篇 统计学(可授理学、...
    • 7 篇 物理学
    • 5 篇 化学
  • 89 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 29 篇 工商管理
  • 17 篇 教育学
    • 17 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 医学
  • 1 篇 军事学

主题

  • 170 篇 design
  • 157 篇 languages
  • 96 篇 performance
  • 95 篇 computer program...
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 42 篇 java programming...
  • 39 篇 verification
  • 34 篇 reliability
  • 28 篇 java
  • 28 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 compilers
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 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...

作者

  • 12 篇 walker david
  • 10 篇 dillig isil
  • 9 篇 shao zhong
  • 9 篇 chlipala adam
  • 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,156 篇 英文
  • 80 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation"
1237 条 记 录,以下是1151-1160 订阅
排序:
Finding application errors and security flaws using PQL: a program query language
收藏 引用
acm sigplan NOTICES 2005年 第10期40卷 365-383页
作者: Martin, M Livshits, B Lam, MS Stanford Univ Dept Comp Sci Stanford CA 94305 USA
A number of effective error detection tools have been built in recent years to check if a program conforrns to certain design rules. An important class of design rules deals with sequences of events associated with a ... 详细信息
来源: 评论
Input Responsiveness: Using Canary Inputs to Dynamically Steer Approximation
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 161-176页
作者: Laurenzano, Michael A. Hill, Parker Samadi, Mehrzad Mahlke, Scott Mars, Jason Tang, Lingjia Univ Michigan Dept Elect Engn & Comp Sci Ann Arbor MI 48109 USA
This paper introduces Input Responsive Approximation ( IRA), an approach that uses a canary input - a small program input carefully constructed to capture the intrinsic properties of the original input - to automatica... 详细信息
来源: 评论
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
收藏 引用
acm sigplan NOTICES 2016年 第6期51卷 431-447页
作者: Chen, Hao Wu, Xiongnan (Newman) Shao, Zhong Lockerman, Joshua Gu, Ronghui Univ Elect Sci & Technol China UESTC Chengdu Peoples R China Yale Univ New Haven CT 06520 USA
An operating system (OS) kernel forms the lowest level of any system software stack. The correctness of the OS kernel is the basis for the correctness of the entire system. Recent efforts have demonstrated the feasibi... 详细信息
来源: 评论
Riposte: A Trace-Driven Compiler and Parallel VM for Vector Code in R  12
Riposte: A Trace-Driven Compiler and Parallel VM for Vector ...
收藏 引用
21st International conference on Parallel Architectures and Compilation Techniques (PACT)
作者: Talbot, Justin DeVito, Zachary Hanrahan, Pat Stanford Univ Stanford CA 94305 USA
There is a growing utilization gap between modern hardware and modern programming languages for data analysis. Due to power and other constraints, recent processor design has sought improved performance through increa... 详细信息
来源: 评论
Optimization-based manufacturing scheduling with multiple resources and setup requirements
Optimization-based manufacturing scheduling with multiple re...
收藏 引用
conference on Intelligent Systems in design and Manufacturing
作者: Chen, D Luh, PB Thakur, LS Moreno, J Univ Connecticut Dept Elect & Syst Engn Storrs CT 06269 USA
The increasing demand for on-time delivery and low price forces manufacturer to seek effective schedules Co improve coordination of multiple resources and to reduce product internal costs associated with labor, setup ... 详细信息
来源: 评论
BIGMAC II: A FORTRAN language augmentation tool  4
BIGMAC II: A FORTRAN language augmentation tool
收藏 引用
4th International Workshop on Real-Time Ada Issues, IRTAW 1990
作者: Myers, Eugene W. Osterweil, Leon J. Department of Computer Science University of Colorado BoulderCO80309 United States
This paper describes the motivation, design, implementation, and some preliminary performance characteristics of BIGMAC II, a macro definition capability for creating language enhancers and translators. BIGMAC II enab... 详细信息
来源: 评论
Fast RMWs for TSO: Semantics and implementation  13
Fast RMWs for TSO: Semantics and Implementation
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Bharghava Rajaram Vijay Nagarajan Susmit Sarkar Marco Elver University of Edinburgh University of St Andrews
Read-Modify-Write (RMW) instructions are widely used as the building blocks of a variety of higher level synchronization constructs, including locks, barriers, and lock-free data structures. Unfortunately, they are ex... 详细信息
来源: 评论
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation  00
Modular interprocedural pointer analysis using access paths:...
收藏 引用
proceedings of the acm sigplan 2000 conference on programming language design and implementation
作者: Ben-Chung Cheng Wen-Mei W. Hwu Department of Computer Science University of Illinois Department of Electrical and Computer Engineering University of Illinois
In this paper we present a modular interprocedural pointer analysis algorithm based on access-paths for C programs. We argue that access paths can reduce the overhead of representing context-sensitive transfer functio...
来源: 评论
SKILL: A CAD system extension language  90
SKILL: A CAD system extension language
收藏 引用
proceedings of the 27th acm/IEEE design Automation conference
作者: Timothy J. Barnes Cadence Design Systems Inc. 555 River Oaks Parkway San Jose California
SKILL is a programming language that supports both command entry and procedural customization in OpusTM design FrameworkTM. After briefly considering some related work, we examine the requirements that motivate the pr...
来源: 评论
The design of a class mechanism for Moby  99
The design of a class mechanism for Moby
收藏 引用
proceedings of the acm sigplan 1999 conference on programming language design and implementation
作者: Kathleen Fisher John Reppy AT&T Labs Research Bell Labs Lucent Technologies
Typical class-based languages, such as C++ and JAVA, provide complex class mechanisms but only weak module systems. In fact, classes in these languages incorporate many of the features found in richer module mechanism...
来源: 评论