咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 1,062 篇 工学
    • 1,002 篇 软件工程
    • 769 篇 计算机科学与技术...
    • 43 篇 控制科学与工程
    • 36 篇 电气工程
    • 31 篇 信息与通信工程
    • 8 篇 电子科学与技术(可...
    • 7 篇 机械工程
    • 5 篇 安全科学与工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 4 篇 航空宇航科学与技...
    • 4 篇 生物工程
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 134 篇 理学
    • 111 篇 数学
    • 14 篇 系统科学
    • 8 篇 统计学(可授理学、...
    • 6 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 82 篇 管理学
    • 47 篇 管理科学与工程(可...
    • 38 篇 图书情报与档案管...
    • 27 篇 工商管理
  • 12 篇 教育学
    • 12 篇 教育学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 6 篇 法学
    • 5 篇 社会学
    • 1 篇 法学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 170 篇 design
  • 157 篇 languages
  • 99 篇 computer program...
  • 96 篇 performance
  • 57 篇 algorithms
  • 54 篇 object oriented ...
  • 51 篇 computer program...
  • 43 篇 experimentation
  • 39 篇 verification
  • 34 篇 reliability
  • 34 篇 java programming...
  • 29 篇 functional progr...
  • 26 篇 program synthesi...
  • 26 篇 java
  • 24 篇 probabilistic pr...
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 theory
  • 18 篇 c (programming l...
  • 17 篇 compilers

机构

  • 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 篇 felleisen matthi...
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,148 篇 英文
  • 77 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation"
1226 条 记 录,以下是251-260 订阅
排序:
design and implementation of the LogicBlox System  15
Design and Implementation of the LogicBlox System
收藏 引用
acm SIGMOD International conference on Management of Data
作者: Aref, Molham ten Cate, Balder Green, Todd J. Kimelfeld, Benny Olteanu, Dan Pasalic, Emir Veldhuizen, Todd L. Washburn, Geoffrey LogicBlox Inc Atlanta GA 30309 USA
The LogicBlox system aims to reduce the complexity of software development for modern applications which enhance and automate decision-making and enable their users to evolve their capabilities via a "self-servic... 详细信息
来源: 评论
Beyond the PDP-11: Architectural support for a memory-safe C abstract machine  15
Beyond the PDP-11: Architectural support for a memory-safe C...
收藏 引用
20th International conference on Architectural Support for programming languages and Operating Systems (ASPLOS)
作者: Chisnall, David Rothwell, Colin Watson, Robert N. M. Woodruff, Jonathan Vadera, Munraj Moore, Simon W. Roe, Michael Davis, Brooks Neumann, Peter G. Univ Cambridge Cambridge CB2 1TN England SRI Int Princeton NJ USA
We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and debugging. Despite ambiguities in the specification intended to provide implementation fl... 详细信息
来源: 评论
From network interface to multithreaded web applications : A case study in modular program verification  15
From network interface to multithreaded web applications : A...
收藏 引用
42nd Annual acm sigplan-SIGACT Symposium on Principles of programming languages, POPL 2015
作者: Chlipala, Adam MIT CSAIL United States
Many verifications of realistic software systems are monolithic, in the sense that they define single global invariants over complete system state. More modular proof techniques promise to support reuse of component p... 详细信息
来源: 评论
implementation of real-time WiFi receiver in Ziria, language for rapid prototyping of wireless PHY  21
Implementation of real-time WiFi receiver in Ziria, language...
收藏 引用
21st Annual International conference on Mobile Computing and Networking, MobiCom 2015
作者: Stewart, Gordon Gowda, Mahanth Mainland, Geoffrey Radunović, Božidar Vytiniotis, Dimitrios Ohio University United States UIUC United States Drexel United States Microsoft Research United States
Software-defined radios (SDR) have the potential to bring major innovation in wireless networking design. However, their impact so far has been limited due to complex programming tools. Most of the existing tools are ... 详细信息
来源: 评论
acm International conference Proceeding Series
ACM International Conference Proceeding Series
收藏 引用
11th Central and Eastern European Software Engineering conference in Russia, CEE-SECR 2015
The proceedings contain 11 papers. The topics discussed include: securing outsourced database: architecture for protected web resource;implementation of request switch in PleskFS file system;automatic request analyzer...
来源: 评论
EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
收藏 引用
acm sigplan NOTICES 2015年 第10期50卷 520-534页
作者: Feng, Yu Wang, Xinyu Dillig, Isil Lin, Calvin Univ Texas Austin Austin TX 78712 USA
This paper describes a general framework-and its implementation in a tool called EXPLORER-for statically answering a class of interprocedural control flow queries about Java programs. EXPLORER allows users to formulat... 详细信息
来源: 评论
Cross-Layer Memory Management for Managed language Applications
收藏 引用
acm sigplan NOTICES 2015年 第10期50卷 488-504页
作者: Jantz, Michael R. Robinson, Forrest J. Kulkarni, Prasad A. Doshi, Kshitij A. Univ Tennessee Knoxville TN 37996 USA Univ Kansas Lawrence KS 66045 USA Intel Corp Santa Clara CA 95051 USA
Performance and energy efficiency in memory have become critically important for a wide range of computing domains. However, it is difficult to control and optimize memory power and performance because these effects d... 详细信息
来源: 评论
PLDI'12 - proceedings of the 2012 acm sigplan conference on programming language design and implementation
PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on ...
收藏 引用
33rd acm sigplan conference on programming language design and implementation, PLDI'12
The proceedings contain 48 papers. The topics discussed include: adaptive input-aware compilation for graphics engines;and then there were none: a stall-free real-time garbage collector for reconfigurable hardware;the...
来源: 评论
Getting F-Bounded Polymorphism into Shape  14
Getting F-Bounded Polymorphism into Shape
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Greenman, Ben Muehlboeck, Fabian Tate, Ross Cornell Univ Ithaca NY 14853 USA
We present a way to restrict recursive inheritance without sacrificing the benefits of F-bounded polymorphism. In particular, we distinguish two new concepts, materials and shapes, and demonstrate through a survey of ... 详细信息
来源: 评论
Code Completion with Statistical language Models  14
Code Completion with Statistical Language Models
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Raychev, Veselin Vechev, Martin Yahav, Eran Swiss Fed Inst Technol Zurich Switzerland Technion Haifa Israel
We address the problem of synthesizing code completions for programs using APIs. Given a program with holes, we synthesize completions for holes with the most likely sequences of method calls. Our main idea is to redu... 详细信息
来源: 评论