咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1061-1070 订阅
排序:
Elevate embedded real-time programming with a synchronous language  17
Elevate embedded real-time programming with a synchronous la...
收藏 引用
15th acm-IEEE International conference on Formal Methods and Models for System design (MEMOCODE)
作者: Grosch, Franz-Josef Robert Bosch GmbH Gerlingen Germany
Product development at companies such as Bosch requires systems engineering for digital hardware and mechatronic components as well as software engineering for resource-constrained real-time applications cooperating w...
来源: 评论
The exo VM system for automatic VM and application reduction
收藏 引用
acm sigplan NOTICES 2007年 第6期42卷 352-362页
作者: Titzer, Ben L. Auerbach, Joshua Bacon, David F. Palsberg, Jens Univ Calif Los Angeles Compilers Grp Los Angeles CA 90025 USA
Embedded systems pose unique challenges to Java application developers and virtual machine designers. Chief among these challenges is the memory footprint of both the virtual machine and the applications that run with... 详细信息
来源: 评论
An Exploration Methodology for a Customizable OpenCL Stereo-Matching Application Targeted to an Industrial Multi-Cluster Architecture  12
An Exploration Methodology for a Customizable OpenCL Stereo-...
收藏 引用
10th acm International conference on Hardware/Software-Codesign and System Synthesis
作者: Paone, Edoardo Palermo, Gianluca Zaccaria, Vittorio Silvano, Cristina Melpignano, Diego Haugou, Germain Lepley, Thierry Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy STMicroelectronics Grenoble France
Open Computing language (OpenCL) is emerging as a standard for parallel programming of heterogeneous hardware accelerators. With respect to device specific languages, OpenCL enables application portability but does no... 详细信息
来源: 评论
Quantitative Network Monitoring with NetQRE  17
Quantitative Network Monitoring with NetQRE
收藏 引用
conference of the acm-Special-Interest-Group-on-Data-Communication (SIGCOMM)
作者: Yuan, Yifei Lin, Dong Mishra, Ankit Marwaha, Sajal Alur, Rajeev Loo, Boon Thau Univ Penn Philadelphia PA 19104 USA LinkedIn Inc Mountain View CA USA
In network management today, dynamic updates are required for traffic engineering and for timely response to security threats. Decisions for such updates are based on monitoring network traffic to compute numerical qu... 详细信息
来源: 评论
design and verification of real-time systems  2
Design and verification of real-time systems
收藏 引用
2nd International conference on Software Engineering, ICSE 1976
作者: Phillips, Jorge V. Bredt, Thomas H. Artificial Intelligence Laboratory Stanford University United States Digitai Systems Laboratory Stanford University Hewlett-Packard Company United States
This paper presents a methodology for the design and verification of a class of real-time systems frequently encountered in applications of digital control. These methodologies are described in the form of a design an... 详细信息
来源: 评论
proceedings of the International conference on APL, APL 1987
Proceedings of the International Conference on APL, APL 1987
收藏 引用
1987 International conference on APL, APL 1987
The proceedings contain 65 papers. The topics discussed include: a three dimensional wire frame graphics system;on APL software for credibility theory;an object oriented extension to APL;system development methodology...
来源: 评论
The design and implementation of the control and integration software of a flexible manufacturing system
The design and implementation of the control and integration...
收藏 引用
proceedings of the First International conference on Systems Integration - ICSI '90
作者: Hadj-Alouane, Nejib Ben Chaar, Jarir K. Naylor, Arch W. Dept of Elec Eng & Comput Sci Univ of Michigan Ann Arbor MI USA
The concepts of a methodology for designing and implementing the control and integration software of computer-integrated manufacturing systems are presented. The goal of this methodology is to build flexible and reusa... 详细信息
来源: 评论
Fine-grained interoperability through mirrors and contracts
收藏 引用
acm sigplan NOTICES 2005年 第10期40卷 231-245页
作者: Gray, KE Findler, RB Flatt, M Univ Utah Salt Lake City UT 84112 USA Univ Chicago Chicago IL 60637 USA
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple forms of data, the checks and coercions c... 详细信息
来源: 评论
CIAHelper: Towards Change Impact Analysis in Delta-Oriented Software Product Lines  18
CIAHelper: Towards Change Impact Analysis in Delta-Oriented ...
收藏 引用
22nd International Systems and Software Product Line conference (SPLC)
作者: Hamza, Mostafa Walker, Robert J. Elaasar, Maged Univ Calgary Dept Comp Sci Calgary AB Canada Carleton Univ Dept Syst & Comp Engn Ottawa ON Canada
Change is inevitable for software systems to deal with the evolving environment surrounding them, and applying changes requires careful design and implementation not to break existing functionalities. Evolution in sof... 详细信息
来源: 评论
proceedings of the 2022 6th International conference on Education and E-Learning, ICEEL 2022
Proceedings of the 2022 6th International Conference on Educ...
收藏 引用
6th International conference on Education and E-Learning, ICEEL 2022
The proceedings contain 45 papers. The topics discussed include: promoting a common testbed for natural deduction tutoring systems;integrating stand-alone new media technologies such as games and virtual and augmented...
来源: 评论