咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1051-1060 订阅
排序:
INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REALIZING ALGORITHMS.
INTERACTIVE FLOWCHARTING TECHNIQUE FOR COMMUNICATING AND REA...
收藏 引用
proceedings of the Nineteenth Hawaii International conference on System Sciences 1986. Volume 3: Healthcare Management Systems, Medical Information Processing.
作者: Jonsson, Arne Patel, Mikael Linkoping Univ Linkoping Swed Linkoping Univ Linkoping Swed
This paper describes the design, specification, implementation of and experiences from an interactive flowcharting technique for communicating and realizing algorithms. Educating the expert to know how to use the comp... 详细信息
来源: 评论
MapCG: Writing Parallel Program Portable between CPU and GPU  10
MapCG: Writing Parallel Program Portable between CPU and GPU
收藏 引用
19th International conference on Parallel Architectures and Compilation Techniques
作者: Hong, Chuntao Chen, Dehao Chen, Wenguang Zheng, Weimin Lin, Haibo Tsinghua Univ Tsinghua Natl Lab Informat Sci & Technol Beijing 100084 Peoples R China
Graphics Processing Units (GPU) have been playing an important role in the general purpose computing market recently. The common approach to program GPU today is to write GPU specific code with low level GPU APIs such... 详细信息
来源: 评论
design considerations for microprogramming languages  74
Design considerations for microprogramming languages
收藏 引用
1974 National Computer conference, AFIPS 1974
作者: Lloyd, Gregory R. Van Dam, Andries Brown University ProvidenceRI United States
Historically, microprograms have been developed using tools which are appropriate to logic designers (block diagrams, register transfer languages), or systems programmers (microcode assemblers). With the growth of use... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
A user-oriented computer graphics system  76
A user-oriented computer graphics system
收藏 引用
3rd Annual conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1976
作者: Pooch, Udo W. Computing Science Division Texas A and M University College StationTX77843 United States
A user-oriented Computer Graphics System (CGS) is described, which primarily has been designed to aid the application programmer, and not just the sophisticated computer graphics user. The system has been designed to ... 详细信息
来源: 评论
Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths  13
Static Analysis for Probabilistic Programs: Inferring Whole ...
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Sriram Sankaranarayanan Aleksandar Chakarov Sumit Gulwani University of Colorado Microsoft Research
We propose an approach for the static analysis of probabilistic programs that sense, manipulate, and control based on uncertain data. Examples include programs used in risk analysis, medical decision making and cyber-... 详细信息
来源: 评论
Use of C/C++ models for architecture exploration and verification of DSPs
Use of C/C++ models for architecture exploration and verific...
收藏 引用
43rd Annual design Automation conference, DAC 2006
作者: Brier, David Mitra, Raj S. Texas Instruments Inc. Dallas TX United States Texas Instruments Inc. Bangalore India
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural trade-offs that must be made for a pra... 详细信息
来源: 评论
Automatic inversion generates divide-and-conquer parallel programs
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 146-155页
作者: Morita, Kazutaka Morihata, Akimasa Matsuzaki, Kiminori Hu, Zhenjiang Takeichi, Masato Univ Tokyo Grad Sch Informat Sci & Technol Tokyo Japan
Divide-and-conquer algorithms are suitable for modern parallel machines, tending to have large amounts of inherent parallelism and working well with caches and deep memory hierarchies. Among others, list homomorphisms... 详细信息
来源: 评论
Valgrind: A framework for heavyweight dynamic binary instrumentation
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 89-100页
作者: Nethercote, Nicholas Seward, Julian Natl ICT Australia Melbourne Vic Australia OpenWorks LLP Cambridge England
Dynamic binary instrumentation (DBI) frameworks make it easy to build dynamic binary analysis (DBA) tools such as checkers and profilers. Much of the focus on DBI frameworks has been on performance;little attention ha... 详细信息
来源: 评论
P: Safe Asynchronous Event-Driven programming  13
P: Safe Asynchronous Event-Driven Programming
收藏 引用
acm sigplan conference on programming language design and implementation
作者: Ankush Desai Vivek Gupta Ethan Jackson Shaz Qadeer Sriram Rajamani Damien Zufferey Microsoft IST Austria
We describe the design and implementation of P, a domain-specific language to write asynchronous event driven code. P allows the programmer to specify the system as a collection of interacting state machines, which co... 详细信息
来源: 评论