咨询与建议

限定检索结果

文献类型

  • 1,098 篇 会议
  • 131 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,058 篇 工学
    • 998 篇 软件工程
    • 761 篇 计算机科学与技术...
    • 47 篇 控制科学与工程
    • 38 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 化学工程与技术
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 137 篇 理学
    • 113 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 化学
    • 4 篇 物理学
    • 2 篇 地质学
  • 86 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 30 篇 工商管理
  • 11 篇 教育学
    • 11 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 98 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 55 篇 object oriented ...
  • 49 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 28 篇 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
  • 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 篇 lam monica s.
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,151 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation"
1229 条 记 录,以下是1081-1090 订阅
排序:
design and implementation of a Low-cost Arduino-based High-Frequency AC Waveform Meter Board for the Raspberry Pi  17
Design and Implementation of a Low-cost Arduino-based High-F...
收藏 引用
4th acm International conference on Systems for Energy-Efficient Built Environments (BuildSys)
作者: Quintana, Matias Lange, Henning Berges, Mario Carnegie Mellon Univ Pittsburgh PA 15213 USA
This paper introduces a low-cost AC meter designed to continuously measure voltage and current waveforms at up to 14 kHz. The AC power meter, provided as open hardware, is designed using the same micro controller as t...
来源: 评论
Formal loop merging for signal transforms
收藏 引用
acm sigplan NOTICES 2005年 第6期40卷 315-326页
作者: Franchetti, F Voronenko, Y Püschel, M Carnegie Mellon Univ Dept Elect & Comp Engn Pittsburgh PA 15213 USA
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus performance. In particular, this inclu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Analyzing source code for automated design pattern recommendation  3
Analyzing source code for automated design pattern recommend...
收藏 引用
3rd acm SIGSOFT International Workshop on Software Analytics, SWAN 2017, Co-located with 11th Joint Meeting of the European Software Engineering conference and the acm SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017
作者: Hummel, Oliver Burger, Stefan Mannheim University of Applied Sciences Mannheim Germany Siemens Corporate Technology Munich Germany
Mastery of the subtleties of object-oriented programming languages is undoubtedly challenging to achieve. design patterns have been proposed some decades ago in order to support software engineers in overcoming recurr... 详细信息
来源: 评论
design and implementation of the Cortex visualization system
Design and implementation of the Cortex visualization system
收藏 引用
proceedings of the 1994 IEEE Visualization conference
作者: Banerjee, Deb Morley, Chris Smith, Wayne Fluent Inc Lebanon United States
Cortex has been designed for interactive analysis and display of simulation data generated by CFD applications based on unstructured-grid solvers. Unlike post-processing visualization environments, Cortex is designed ... 详细信息
来源: 评论
IMAGE a language for the interactive manipulation of a graphics environment
IMAGE a language for the interactive manipulation of a graph...
收藏 引用
2nd International conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1975
作者: O'Brien, C.D. Bown, H.G. Communications Research Centre Department of Communications Government of Canada Canada
This paper addresses itself to the problems involved in programming an interactive computer graphics display. A list of graphical programming facilities considered necessary for an interactive graphic programming lang... 详细信息
来源: 评论
iTasks: Executable specifications of interactive work flow systems for the web
收藏 引用
acm sigplan NOTICES 2007年 第9期42卷 141-152页
作者: Plasmeijer, Rinus Achten, Peter Koopman, Pieter Radboud Univ Nijmegen Inst Comp & Informat Sci Software Technol Dept NL-6525 ED Nijmegen Netherlands
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are automated systems in which tasks are coo... 详细信息
来源: 评论
Automatic volume management for programmable microfluidics
收藏 引用
acm sigplan NOTICES 2008年 第6期43卷 56-67页
作者: Amin, Ahmed M. Thottethodi, Mithuna Vijaykumar, T. N. Wereley, Steven Jacobson, Stephen C. Purdue Univ Sch Elect & Comp Engn W Lafayette IN 47907 USA Purdue Univ Sch Mech Engn W Lafayette IN 47907 USA Indiana Univ Dept Chem Bloomington IN 47405 USA
Microfluidics has enabled lab-on-a-chip technology to miniaturize and integrate biological and chemical analyses to a single chip comprising channels, valves, mixers, heaters, separators, and sensors. Recent papers ha... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Dynamic software replacement model and its Ada implementation
Dynamic software replacement model and its Ada implementatio...
收藏 引用
1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991
作者: De Vicente, Belén Alonso, Alejandro Amador, Jorge Teice Control General Rodrigo 6 5th MadridE-28003 Spain E.T.S.I de Telecomunicación Ciudad Universitaria Universidad Politécnica Madrid MadridE-28040 Spain GMV S.A. PTM Tres Cantos MadridE-28760 Spain
来源: 评论