咨询与建议

限定检索结果

文献类型

  • 1,155 篇 会议
  • 135 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 1,115 篇 工学
    • 1,040 篇 软件工程
    • 803 篇 计算机科学与技术...
    • 50 篇 控制科学与工程
    • 43 篇 电气工程
    • 36 篇 信息与通信工程
    • 9 篇 电子科学与技术(可...
    • 8 篇 机械工程
    • 6 篇 安全科学与工程
    • 5 篇 建筑学
    • 5 篇 土木工程
    • 5 篇 航空宇航科学与技...
    • 5 篇 生物工程
    • 4 篇 材料科学与工程(可...
    • 4 篇 化学工程与技术
    • 2 篇 力学(可授工学、理...
    • 2 篇 光学工程
    • 2 篇 农业工程
  • 141 篇 理学
    • 117 篇 数学
    • 13 篇 系统科学
    • 9 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 5 篇 物理学
    • 4 篇 化学
  • 89 篇 管理学
    • 53 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 28 篇 工商管理
  • 15 篇 教育学
    • 15 篇 教育学
  • 6 篇 经济学
    • 6 篇 应用经济学
  • 5 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学

主题

  • 180 篇 design
  • 167 篇 languages
  • 103 篇 computer program...
  • 99 篇 performance
  • 59 篇 algorithms
  • 49 篇 object oriented ...
  • 49 篇 computer program...
  • 45 篇 experimentation
  • 45 篇 java programming...
  • 39 篇 verification
  • 35 篇 reliability
  • 34 篇 java
  • 32 篇 functional progr...
  • 26 篇 program synthesi...
  • 24 篇 probabilistic pr...
  • 22 篇 software design
  • 21 篇 theory
  • 20 篇 concurrency
  • 19 篇 domain-specific ...
  • 19 篇 c (programming l...

机构

  • 16 篇 carnegie mellon ...
  • 13 篇 princeton univ p...
  • 12 篇 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 篇 microsoft res re...
  • 9 篇 yale univ new ha...
  • 9 篇 harvard univ cam...
  • 9 篇 cornell univ ith...
  • 9 篇 microsoft resear...
  • 8 篇 univ chicago il ...
  • 7 篇 microsoft res re...
  • 7 篇 swiss fed inst t...
  • 7 篇 mit cambridge ma...

作者

  • 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 篇 rajan hridesh
  • 6 篇 foster nate
  • 6 篇 myers andrew c.
  • 6 篇 mezini mira
  • 6 篇 mahlke scott

语言

  • 1,204 篇 英文
  • 85 篇 其他
  • 1 篇 中文
检索条件"任意字段=Proceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation"
1290 条 记 录,以下是581-590 订阅
Handling distributed authorization with delegation through answer set programming
收藏 引用
INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2007年 第1期6卷 27-46页
作者: Wang, Shujing Zhang, Yan Univ Western Sydney Sch Comp Math Penrith NSW 1797 Australia
Distributed authorization is an essential issue in computer security. Recent research shows that trust management is a promising approach for the authorization in distributed environments. There are two key issues for... 详细信息
来源: 评论
Open multi-methods for c++  07
Open multi-methods for c++
收藏 引用
GPCE'07 - 6th International conference on Generative programming and Component Engineering
作者: Pirkelbauer, Peter Solodkyy, Yuriy Stroustrup, Bjarne Texas A and M University College Station TX 77843-3112
Multiple dispatch - the selection of a function to be invoked based on the dynamic type of two or more arguments - is a solution to several classical problems in object-oriented programming. Open multi-methods general... 详细信息
来源: 评论
design and implementation of a comprehensive real-time java virtual machine
Design and implementation of a comprehensive real-time java ...
收藏 引用
EMSOFT'07: 7th acm and IEEE International conference on Embedded Software
作者: Auerbach, Joshua Bacon, David F. Blainey, Bob Cheng, Perry Dawson, Michael Fulton, Mike Grove, David Hart, Darren Stoodley, Mark IBM Research IBM Linux Technology Center
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly language. However, the RTSJ standard ... 详细信息
来源: 评论
Architectural design via declarative programming
Architectural design via declarative programming
收藏 引用
9th International conference on Enterprise Information Systems (ICEIS 2007)
作者: Pereira, Luis Moniz Viegas, Ruben Duarte Univ Nova Lisboa Fac Ciencias & Tecnol Monte De Caparica Portugal
Problem solving by declarative theory building can be an extremely effective method for porting concepts and knowledge from the problem domain to the solution domain, by allowing the implementation of complete procedu... 详细信息
来源: 评论
A 64-bit Stream Processor Architecture for Scientific Applications  07
A 64-bit Stream Processor Architecture for Scientific Applic...
收藏 引用
34th Annual International Symposium on Computer Architecture
作者: Yang, Xuejun Yan, Xiaobo Xing, Zuocheng Deng, Yu Jiang, Jiang Zhang, Ying Natl Univ Def Technol Natl Lab Paralleling & Distributed Proc Sch Comp Changsha 410073 Hunan Peoples R China
Stream architecture is a novel microprocessor architecture with wide application potential. But as for whether it can be used efficiently in scientific computing, many issues await further study. This paper first give... 详细信息
来源: 评论
proceedings of the 2005 acm sigplan conference on programming language design and implementation, PLDI'05
Proceedings of the 2005 ACM SIGPLAN Conference on Programmin...
收藏 引用
2005 acm sigplan conference on programming language design and implementation, PLDI 05
The proceedings contain 29 papers. The topic discussed include: a serializability violation detector for shared-memory server programs;path slicing;checking type safety of foreign function calls;permission-based owner... 详细信息
来源: 评论
proceedings of the acm sigplan conference on programming language design and implementation (PLDI): Foreword
Proceedings of the ACM SIGPLAN Conference on Programming Lan...
收藏 引用
proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 2005年 iii页
作者: Hall, Mary Sarkar, Vivek USC ISI IBM Research
No abstract available
来源: 评论
Effective static race detection for Java  06
Effective static race detection for Java
收藏 引用
acm sigplan conference on programming language design and implementation, PLDI 2006 - PLAS 2006: 2006 programming languages and Analysis for Security Workshop
作者: Naik, Mayur Aiken, Alex Whaley, John Computer Science Department Stanford University United States
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses potentially inv... 详细信息
来源: 评论
The ATOMOσ transactional programming language
The ATOMOσ transactional programming language
收藏 引用
PLDI 2006 - 2006 acm sigplan conference on programming language design and implementation
作者: Carlstrom, Brian D. McDonald, Austen Chafi, Hassan Chung, JaeWoong Minh, Chi Cao Kozyrakis, Christos Olukotun, Kunle Computer Systems Laboratory Stanford University
Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. Atomos is derived from Java, but replaces its synchronization and conditional wailin... 详细信息
来源: 评论
Termination proofs for systems code  06
Termination proofs for systems code
收藏 引用
PLDI 2006 - 2006 acm sigplan conference on programming language design and implementation
作者: Cook, Byron Podelski, Andreas Rybalchenko, Andrey Microsoft Research Max-Planck-Institut für Informatik Germany Max-Planck-Institut für Informatik EPFL Germany
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and context-sensitive program analysis and prov... 详细信息
来源: 评论