咨询与建议

限定检索结果

文献类型

  • 1,078 篇 会议
  • 132 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,046 篇 工学
    • 982 篇 软件工程
    • 752 篇 计算机科学与技术...
    • 44 篇 控制科学与工程
    • 42 篇 电气工程
    • 32 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 5 篇 土木工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 3 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 冶金工程
    • 2 篇 农业工程
  • 126 篇 理学
    • 106 篇 数学
    • 12 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 5 篇 物理学
    • 5 篇 生物学
    • 4 篇 化学
  • 81 篇 管理学
    • 48 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 26 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 100 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 49 篇 computer program...
  • 47 篇 object oriented ...
  • 43 篇 experimentation
  • 39 篇 verification
  • 35 篇 java programming...
  • 34 篇 reliability
  • 29 篇 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
  • 8 篇 sarkar vivek
  • 7 篇 august david i.
  • 7 篇 bacon david f.
  • 6 篇 wang xinyu
  • 6 篇 hendren laurie
  • 6 篇 grossman dan
  • 6 篇 adl-tabatabai al...
  • 6 篇 aiken alex
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott
  • 6 篇 bodik rastislav

语言

  • 1,132 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation"
1210 条 记 录,以下是1071-1080 订阅
排序:
Quantitative Network Monitoring with NetQRE  17
Quantitative Network Monitoring with NetQRE
收藏 引用
conference of the acm-Special-Interest-Group-on-Data-Communication (SIGCOMM)
作者: Yuan, Yifei Lin, Dong Mishra, Ankit Marwaha, Sajal Alur, Rajeev Loo, Boon Thau Univ Penn Philadelphia PA 19104 USA LinkedIn Inc Mountain View CA USA
In network management today, dynamic updates are required for traffic engineering and for timely response to security threats. Decisions for such updates are based on monitoring network traffic to compute numerical qu... 详细信息
来源: 评论
Incrementalization across object abstraction
收藏 引用
acm sigplan NOTICES 2005年 第10期40卷 473-486页
作者: Liu, YA Stoller, SD Gorbovitski, M Rothamel, T Liu, YE SUNY Stony Brook Dept Comp Sci Stony Brook NY 11794 USA Univ Manitoba Dept Comp Sci Winnipeg MB R3T 2N2 Canada
Object abstraction supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in enabling the construction of complex systems from compo... 详细信息
来源: 评论
Pattern matching for design concept localization
Pattern matching for design concept localization
收藏 引用
2nd Working conference on Reverse Engineering
作者: KONTOGIANNIS, K DEMORI, R BERNSTEIN, M GALLER, M MERLO, E MCGILL UNIV SCH COMP SCIMONTREALPQ H3A 2A7CANADA
The effective synergy of a number of different techniques is the key to the successful development of an efficient Reverse Engineering environment. Compiler technology, pattern matching techniques, visualization tools... 详细信息
来源: 评论
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...
来源: 评论
Piranha: Reducing Feature Flag Debt at Uber  42
Piranha: Reducing Feature Flag Debt at Uber
收藏 引用
42nd acm/IEEE International conference on Software Engineering - Companion proceedings (ICSE-Companion) / 42nd acm/IEEE International conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)
作者: Ramanathan, Murali Krishna Clapp, Lazaro Barik, Rajkishore Sridharan, Manu Uber Technol Inc New York NY 10001 USA Univ Calif Riverside Riverside CA 92521 USA
Feature flags are commonly used in mobile app development and can introduce technical debt related to deleting their usage from the codebase. This can adversely affect the overall reliability of the apps and increase ... 详细信息
来源: 评论
APL comparison tolerance  76
APL comparison tolerance
收藏 引用
8th International conference on APL, APL 1976
作者: Lathwell, R.H. IBM APL Design Philadelphia United States
An important aspect of the original implementation of APL\360 was the treatment of arithmetic functions as abstract functions defined on the continuous set of real numbers [1,2]. This had various consequences, includi...
来源: 评论
design of a model-generated repository as a service for USDL  10
Design of a model-generated repository as a service for USDL
收藏 引用
proceedings of the 12th International conference on Information Integration and Web-based Applications & Services
作者: Duddy, Keith Henderson, Michael Metke-Jimenez, Alejandro Steel, Jim Queensland University of Technology 2 George St Brisbane QLD 4000 Australia
SAP and its research partners have been developing a language for describing details of Services from various viewpoints called the Unified Service Description language (USDL [12]. At the time of writing, version 3.0 ... 详细信息
来源: 评论
Multi-core parallelization in clojure - A case study
Multi-core parallelization in clojure - A case study
收藏 引用
6th European Lisp Workshop: European conference on Object-Oriented programming, ELW'09
作者: Kraus, Johann M. Kestler, Hans A. Institute of Neural Information Processing University of Ulm 9069 Ulm Germany Department of Internal Medicine I University Hospital Ulm 89081 Ulm Germany
In recent years, the demand for computational power in data mining applications has increased due to rapidly growing data sets. As a consequence, standard algorithms need to be parallelized for fast processing of the ... 详细信息
来源: 评论
Implicit Invocation Meets Safe, Implicit Concurrency
收藏 引用
acm sigplan NOTICES 2011年 第2期46卷 63-72页
作者: Long, Yuheng Mooney, Sean L. Sondag, Tyler Rajan, Hridesh Iowa State Univ Dept Comp Sci Ames IA 50011 USA
Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is hard to maintain and debug. This type of concurrency also treats m... 详细信息
来源: 评论
design Automation for Quantum Architectures  20
Design Automation for Quantum Architectures
收藏 引用
20th conference and Exhibition on design, Automation and Test in Europe (DATE)
作者: Roetteler, Martin Svore, Krysta M. Wecker, Dave Wiebe, Nathan Microsoft Res Redmond WA 98052 USA
We survey recent strides made towards building a software framework that is capable of compiling quantum algorithms from a high-level description down to physical gates that can be implemented on a fault-tolerant quan... 详细信息
来源: 评论