咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
SPECL: A system programming dialect of ECL
SPECL: A system programming dialect of ECL
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Udin, David Harvard University Center for Computing Technology CambridgeMA United States
The SPECL programming system is an attempt to combine the characteristics of an implementation language with those desirable for verifiability (human and mechanical) and transportability. The former requires efficient... 详细信息
来源: 评论
Extensible control structures
Extensible control structures
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Prenner, Charles J. Center for Research in Computing Technolog Harvard University CambridgeMA United States
A considerable amount of programming language research has been directed towards the development of extensible languages. Typically, these languages allow data type extensions, in which new data types are constructed ... 详细信息
来源: 评论
programming by semantic refinement
Programming by semantic refinement
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Morris, James B. University of California Los Alamcs Scientific Laboratory Los AlemosNM87544 United States
It is becoming increasingly evident that human programmers are not capable of efficiently producing reliable programs if they must be concerned initially with every detail of the final program. The approach described ... 详细信息
来源: 评论
GLOSS: A-semantic model of programming languages
GLOSS: A-semantic model of programming languages
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Herriot, Robert G. Computer Science Group University of Washington SeattleWA98195 United States
GLOSS is a machine and language for modeling the semantics of programming languages. GLOSS is not intended to be a tool for mathematical proofs. Instead it is intended to provide an easily read graphical notation in w... 详细信息
来源: 评论
An object-oriented operating system interface  86
An object-oriented operating system interface
收藏 引用
Conference on Object-Oriented programming systems, languages and Applications, OOPSLA 1986
作者: Ewing, Juanita J. Artificial Intelligence Machines Tektronix Inc P.O. Box 1000 MS 60-405 WilsonvilleOR97070 United States
This paper discusses an object-oriented interface from the Smalltalk-80 TM programming environment to a Unix-like operating system. This interface imposes an object-oriented paradigm on operating system facilities. We... 详细信息
来源: 评论
Transferability and translation of data
Transferability and translation of data
收藏 引用
1973 acm sigplan - sigops interface meeting: programming languages - operating systems
作者: Merten, Man G. Sibley, Edgar H. University of Michigan United States
Data translation is defined as the process whereby data stored in a form that can be processed on one computer (the source file) can De translated into a form (target file) which can be used by the same or different p... 详细信息
来源: 评论
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... 详细信息
来源: 评论
The on-line interface of library management and document retrieval systems  73
The on-line interface of library management and document ret...
收藏 引用
1973 meeting on programming languages and Information Retrieval, sigplan 1973
作者: Artandi, Susan Rutgers University United States
来源: 评论
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,... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论