咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 1 册 图书

馆藏范围

  • 36 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 33 篇 工学
    • 29 篇 软件工程
    • 25 篇 计算机科学与技术...
    • 2 篇 信息与通信工程
    • 2 篇 控制科学与工程
    • 2 篇 土木工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 电子科学与技术(可...
  • 5 篇 管理学
    • 4 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 理学
    • 2 篇 数学

主题

  • 3 篇 object oriented ...
  • 3 篇 performance
  • 3 篇 design
  • 3 篇 semantics
  • 1 篇 low-locality
  • 1 篇 dma
  • 1 篇 heterogeneous me...
  • 1 篇 flexible structu...
  • 1 篇 structured progr...
  • 1 篇 fast logging
  • 1 篇 crash-consistent...
  • 1 篇 operating system...
  • 1 篇 b plus trees
  • 1 篇 deterministic re...
  • 1 篇 high level langu...
  • 1 篇 computer archite...
  • 1 篇 buffered writes
  • 1 篇 fortran (program...
  • 1 篇 indirect jumps
  • 1 篇 virtual function...

机构

  • 1 篇 ibm research cen...
  • 1 篇 massachusetts in...
  • 1 篇 coll william & m...
  • 1 篇 computer science...
  • 1 篇 univ calif san d...
  • 1 篇 univ chinese aca...
  • 1 篇 university of il...
  • 1 篇 university of ca...
  • 1 篇 princeton univ p...
  • 1 篇 georgia inst tec...
  • 1 篇 université de te...
  • 1 篇 univ illinois ur...
  • 1 篇 aws ai united st...
  • 1 篇 department of co...
  • 1 篇 at t belt labora...
  • 1 篇 intermetrics inc...
  • 1 篇 huawei technol p...
  • 1 篇 information syst...
  • 1 篇 schlumberger-dol...
  • 1 篇 harvard universi...

作者

  • 1 篇 liskov barbara
  • 1 篇 kaufmann antoine
  • 1 篇 lu maohua
  • 1 篇 lecarme olivier
  • 1 篇 sui xiufeng
  • 1 篇 prenner charles ...
  • 1 篇 chiueh tzi-cker
  • 1 篇 sharma naveen kr...
  • 1 篇 hoseinzadeh mort...
  • 1 篇 kim hyesoon
  • 1 篇 dinitz rick
  • 1 篇 liu xu
  • 1 篇 smith reid g.
  • 1 篇 freiburghouse ro...
  • 1 篇 morris james b.
  • 1 篇 grossman dan
  • 1 篇 ceze luis
  • 1 篇 zaks rodnay
  • 1 篇 hwu wen-mei
  • 1 篇 song xiang

语言

  • 36 篇 英文
  • 1 篇 中文
检索条件"任意字段=1973 ACM SIGPLAN - SIGOPS Interface Meeting: Programming Languages - Operating Systems"
37 条 记 录,以下是1-10 订阅
排序:
ShakeFlow: Functional Hardware Description with Latency-Insensitive interface Combinators  2023
ShakeFlow: Functional Hardware Description with Latency-Inse...
收藏 引用
28th acm International Conference on Architectural Support for programming languages and operating systems (ASPLOS)
作者: Han, Sungsoo Jang, Minseong Kang, Jeehoon Korea Adv Inst Sci & Technol Daejeon South Korea
Functional programming's benefits for hardware description have long been recognized in the literature. In particular, functional hardware description languages provide combinators such as maps and filters to faci... 详细信息
来源: 评论
Hector: An Efficient programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures  24
Hector: An Efficient Programming and Compilation Framework f...
收藏 引用
29th acm International Conference on Architectural Support for programming languages and operating systems, ASPLOS 2024
作者: Wu, Kun Hidayetoğlu, Mert Song, Xiang Huang, Sitao Zheng, Da Nisa, Israt Hwu, Wen-Mei University of Illinois Urbana-Champaign United States Stanford University United States AWS AI United States University of California Irvine United States Nvidia University of Illinois Urbana-Champaign United States
Relational graph neural networks (RGNNs) are graph neural networks with dedicated structures for modeling the different types of nodes and edges in heterogeneous graphs. While RGNNs have been increasingly adopted in m... 详细信息
来源: 评论
Corundum: Statically-Enforced Persistent Memory Safety  21
Corundum: Statically-Enforced Persistent Memory Safety
收藏 引用
26th International Conference on Architectural Support for programming languages and operating systems (ASPLOS)
作者: Hoseinzadeh, Morteza Swanson, Steven Univ Calif San Diego San Diego CA 92103 USA
Fast, byte-addressable, persistent main memories (PM) make it possible to build complex data structures that can survive system failures. programming for PM is challenging, not least because it combines well-known pro... 详细信息
来源: 评论
High Performance Packet Processing with FlexNIC  16
High Performance Packet Processing with FlexNIC
收藏 引用
21st International Conference on Architectural Support for programming languages and operating systems
作者: Kaufmann, Antoine Peter, Simon Sharma, Naveen Kr. Anderson, Thomas Krishnamurthy, Arvind Univ Washington Seattle WA 98195 USA Univ Texas Austin Austin TX 78712 USA
The recent surge of network I/O performance has put enormous pressure on memory and software I/O processing subsystems. We argue that the primary reason for high memory and processing overheads is the inefficient use ... 详细信息
来源: 评论
memif: Towards programming Heterogeneous Memory Asynchronously  16
<i>memif</i>: Towards Programming Heterogeneous Memory Async...
收藏 引用
21st International Conference on Architectural Support for programming languages and operating systems
作者: Lin, Felix Xiaozhu Liu, Xu Purdue ECE W Lafayette IN 47907 USA Coll William & Mary Williamsburg VA 23187 USA
To harness a heterogeneous memory hierarchy, it is advantageous to integrate application knowledge in guiding frequent memory move, i.e., replicating or migrating virtual memory regions. To this end, we present memif,... 详细信息
来源: 评论
COATCheck: Verifying Memory Ordering at the Hardware-OS interface  16
COATCheck: Verifying Memory Ordering at the Hardware-OS Inte...
收藏 引用
21st International Conference on Architectural Support for programming languages and operating systems
作者: Lustig, Daniel Sethi, Geet Martonosi, Margaret Bhattacharjee, Abhishek Princeton Univ Princeton NJ 08544 USA Rutgers State Univ New Brunswick NJ USA
Modern computer systems include numerous compute elements, from CPUs to GPUs to accelerators. Harnessing their full potential requires well-defined, properly-implemented memory consistency models (MCMs), and low-level... 详细信息
来源: 评论
Supporting Differentiated Services in Computers via Programmable Architecture for Resourcing-on-Demand (PARD)  15
Supporting Differentiated Services in Computers via Programm...
收藏 引用
20th International Conference on Architectural Support for programming languages and operating systems (ASPLOS)
作者: Ma, Jiuyue Sui, Xiufeng Sun, Ninghui Li, Yupeng Yu, Zihao Huang, Bowen Xu, Tianni Yao, Zhicheng Chen, Yun Wang, Haibin Zhang, Lixin Bao, Yungang Chinese Acad Sci ICT State Key Lab Comp Architecture Beijing Peoples R China Univ Chinese Acad Sci Beijing Peoples R China Huawei Technol Beijing Peoples R China
This paper presents PARD, a programmable architecture for resourcing-on-demand that provides a new programming interface to convey an application's high-level information like quality-of-service requirements to th... 详细信息
来源: 评论
Low-level detection of language-level data races with LARD  14
Low-level detection of language-level data races with LARD
收藏 引用
19th International Conference on Architectural Support for programming languages and operating systems, ASPLOS 2014
作者: Wood, Benjamin P. Ceze, Luis Grossman, Dan University of Washington United States
Researchers have proposed always-on data-race exceptions as a way to avoid the ill effects of data races, but slow performance of accurate dynamic data-race detection remains a barrier to the adoption of always-on dat... 详细信息
来源: 评论
Iago Attacks: Why the System Call API is a Bad Untrusted RPC interface  13
Iago Attacks: Why the System Call API is a Bad Untrusted RPC...
收藏 引用
18th International Conference on Architectural Support for programming languages and operating systems
作者: Checkoway, Stephen Shacham, Hovav Johns Hopkins Univ Baltimore MD 21218 USA Univ Calif San Diego San Diego CA USA
In recent years, researchers have proposed systems for running trusted code on an untrusted operating system. Protection mechanisms deployed by such systems keep a malicious kernel from directly manipulating a trusted... 详细信息
来源: 评论
ASPLOS 2013 - 18th International Conference on Architectural Support for programming languages and operating systems
ASPLOS 2013 - 18th International Conference on Architectural...
收藏 引用
18th International Conference on Architectural Support for programming languages and operating systems, ASPLOS 2013
The proceedings contain 45 papers. The topics discussed include: cooperative empirical failure avoidance for multithreaded programs;parasol and GreenSwitch: managing datacenters powered by renewable energy;power conta...
来源: 评论