咨询与建议

限定检索结果

文献类型

  • 264 篇 会议
  • 2 册 图书
  • 2 篇 期刊文献

馆藏范围

  • 268 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 216 篇 工学
    • 209 篇 软件工程
    • 91 篇 计算机科学与技术...
    • 6 篇 电气工程
    • 3 篇 控制科学与工程
    • 2 篇 机械工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 6 篇 理学
    • 5 篇 数学
    • 1 篇 生物学
  • 1 篇 教育学
    • 1 篇 教育学

主题

  • 49 篇 design
  • 39 篇 languages
  • 21 篇 performance
  • 14 篇 algorithms
  • 14 篇 probabilistic pr...
  • 14 篇 verification
  • 12 篇 object oriented ...
  • 11 篇 program synthesi...
  • 11 篇 functional progr...
  • 10 篇 reliability
  • 10 篇 programming lang...
  • 9 篇 concurrency
  • 8 篇 experimentation
  • 8 篇 type systems
  • 8 篇 domain-specific ...
  • 7 篇 java
  • 7 篇 theory
  • 6 篇 program analysis
  • 6 篇 optimization
  • 5 篇 compilers

机构

  • 8 篇 purdue univ w la...
  • 7 篇 carnegie mellon ...
  • 5 篇 harvard univ cam...
  • 5 篇 univ penn philad...
  • 5 篇 stanford univ st...
  • 4 篇 univ wisconsin m...
  • 4 篇 princeton univ p...
  • 4 篇 univ calif davis...
  • 4 篇 northeastern uni...
  • 4 篇 cornell univ ith...
  • 4 篇 univ washington ...
  • 3 篇 microsoft res re...
  • 3 篇 swiss fed inst t...
  • 3 篇 mit cambridge ma...
  • 3 篇 yale univ new ha...
  • 3 篇 rice univ housto...
  • 3 篇 univ calif berke...
  • 3 篇 univ texas austi...
  • 2 篇 microsoft corp r...
  • 2 篇 oracle labs pots...

作者

  • 5 篇 foster nate
  • 5 篇 gulwani sumit
  • 5 篇 walker david
  • 4 篇 dillig isil
  • 3 篇 huang jeff
  • 3 篇 vechev martin
  • 3 篇 shao zhong
  • 3 篇 su zhendong
  • 3 篇 chaudhuri swarat
  • 3 篇 myers andrew c.
  • 3 篇 zhang xiangyu
  • 3 篇 mansinghka vikas...
  • 2 篇 hirschfeld rober...
  • 2 篇 flatt matthew
  • 2 篇 gupta gagan
  • 2 篇 shull thomas
  • 2 篇 yahav eran
  • 2 篇 rajamani sriram
  • 2 篇 niephaus fabio
  • 2 篇 choi jiho

语言

  • 266 篇 英文
  • 2 篇 中文
检索条件"任意字段=Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation"
268 条 记 录,以下是91-100 订阅
排序:
Event-Driven Network programming  16
Event-Driven Network Programming
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: McClurg, Jedidiah Hojjat, Hossein Foster, Nate Cerny, Pavol CU Boulder Boulder CO 80309 USA Cornell Univ Ithaca NY 14853 USA
Software-defined networking (SDN) programs must simultaneously describe static forwarding behavior and dynamic updates in response to events. Event-driven updates are critical to get right, but difficult to implement ... 详细信息
来源: 评论
Adaptive, Efficient, Parallel Execution of Parallel Programs  14
Adaptive, Efficient, Parallel Execution of Parallel Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Sridharan, Srinath Gupta, Gagan Sohi, Gurindar S. Univ Wisconsin Madison WI 53706 USA
Future multicore processors will be heterogeneous, be increasingly less reliable, and operate in dynamically changing operating conditions. Such environments will result in a constantly varying pool of hardware resour... 详细信息
来源: 评论
Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language Extension for the Run-Time Generation of Mathematical Contents and their Presentation on the Web  11
Using Camlp4 for Presenting Dynamic Mathematics on the Web: ...
收藏 引用
16th acm sigplan International conference on Functional programming (ICFP 11)
作者: Chyzak, Frederic Darrasse, Alexis INRIA Rocquencourt France
We report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical calculations to be presented on the web. this tool is implemented as a language extension ... 详细信息
来源: 评论
Efficient Late Binding of Dynamic Function Compositions  12
Efficient Late Binding of Dynamic Function Compositions
收藏 引用
12th acm sigplan International conference on Software language Engineering (SLE)
作者: Schuetze, Lars Castrillon, Jeronimo Tech Univ Dresden Chair Compiler Construct Dresden Germany
Adaptive software becomes more and more important as computing is increasingly context-dependent. Runtime adaptability can be achieved by dynamically selecting and applying context-specific code. Role-oriented program... 详细信息
来源: 评论
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III  13
Harmonizing Classes, Functions, Tuples, and Type Parameters ...
收藏 引用
34th acm sigplan conference on programming language design and implementation (PLDI)
作者: Titzer, Ben L. Google Mountain View CA USA
languages are becoming increasingly multi-paradigm. Subtype polymorphism in statically-typed object-oriented languages is being supplemented with parametric polymorphism in the form of generics. Features like first-cl... 详细信息
来源: 评论
DOPPIO: Breaking the Browser language Barrier  14
DOPPIO: Breaking the Browser Language Barrier
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Vilk, John Berger, Emery D. Univ Massachusetts Sch Comp Sci Amherst MA 01003 USA
Web browsers have become a de facto universal operating system, and JavaScript its instruction set. Unfortunately, running other languages in the browser is not generally possible. Translation to JavaScript is not eno... 详细信息
来源: 评论
Declarative programming over Eventually Consistent Data Stores  15
Declarative Programming over Eventually Consistent Data Stor...
收藏 引用
36th acm sigplan conference on programming language design and implementation
作者: Sivaramakrishnan, K. C. Kaki, Gowtham Jagannathan, Suresh Univ Cambridge Cambridge CB2 1TN England Purdue Univ W Lafayette IN 47907 USA
User-facing online services utilize geo-distributed data stores to minimize latency and tolerate partial failures, with the intention of providing a fast, always-on experience. However, geo-distribution does not come ... 详细信息
来源: 评论
MixT: A language for Mixing Consistency in Geodistributed Transactions  2018
MixT: A Language for Mixing Consistency in Geodistributed Tr...
收藏 引用
39th acm sigplan conference on programming language design and implementation (PLDI)
作者: Milano, Matthew Myers, Andrew C. Cornell Univ Dept Comp Sci Ithaca NY 14853 USA
programming concurrent, distributed systems is hard-especially when these systems mutate shared, persistent state replicated at geographic scale. To enable high availability and scalability, a new class of weakly cons... 详细信息
来源: 评论
Globally Precise-restartable Execution of Parallel Programs  14
Globally Precise-restartable Execution of Parallel Programs
收藏 引用
35th acm sigplan conference on programming language design and implementation (PLDI)
作者: Gupta, Gagan Sridharan, Srinath Sohi, Gurindar S. Univ Wisconsin Madison WI 53706 USA
Emerging trends in computer design and use are likely to make exceptions, once rare, the norm, especially as the system size grows. Due to exceptions, arising from hardware faults, approximate computing, dynamic resou... 详细信息
来源: 评论
A Distributed OpenCL Framework using Redundant Computation and Data Replication  16
A Distributed OpenCL Framework using Redundant Computation a...
收藏 引用
37th acm sigplan conference on programming language design and implementation
作者: Kim, Junghyun Jo, Gangwon Jung, Jaehoon Kim, Jungwon Lee, Jaejin Seoul Natl Univ Ctr Manycore Programming Dept Comp Sci & Engn Seoul 08826 South Korea
Applications written solely in OpenCL or CUDA cannot execute on a cluster as a whole. Most previous approaches that extend these programming models to clusters are based on a common idea: designating a centralized hos... 详细信息
来源: 评论