咨询与建议

限定检索结果

文献类型

  • 44 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 32 篇 工学
    • 30 篇 计算机科学与技术...
    • 23 篇 软件工程
    • 3 篇 机械工程
    • 3 篇 信息与通信工程
    • 2 篇 动力工程及工程热...
    • 2 篇 电气工程
    • 2 篇 控制科学与工程
    • 2 篇 交通运输工程
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 农业工程
    • 1 篇 城乡规划学
  • 7 篇 理学
    • 6 篇 数学
    • 3 篇 统计学(可授理学、...
    • 2 篇 物理学
    • 1 篇 大气科学
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 3 篇 工商管理

主题

  • 5 篇 application soft...
  • 4 篇 computer science
  • 3 篇 programming prof...
  • 3 篇 high level langu...
  • 3 篇 computer languag...
  • 3 篇 application prog...
  • 2 篇 libraries
  • 2 篇 program processo...
  • 2 篇 problem oriented...
  • 2 篇 modular construc...
  • 1 篇 computer simulat...
  • 1 篇 software systems
  • 1 篇 artifact or syst...
  • 1 篇 query languages
  • 1 篇 secondary condit...
  • 1 篇 project manageme...
  • 1 篇 productivity
  • 1 篇 data updates
  • 1 篇 programming/deve...
  • 1 篇 interoperability

机构

  • 1 篇 fudan univ sch c...
  • 1 篇 university of el...
  • 1 篇 uses research gr...
  • 1 篇 department of co...
  • 1 篇 computer dept. j...
  • 1 篇 department of co...
  • 1 篇 dept. of informa...
  • 1 篇 department of in...
  • 1 篇 semiotic enginee...
  • 1 篇 department of el...
  • 1 篇 department of co...
  • 1 篇 iit madras
  • 1 篇 department of co...
  • 1 篇 albert einstein ...
  • 1 篇 telecom innovati...
  • 1 篇 huawei technol c...
  • 1 篇 department of co...
  • 1 篇 faculty of elect...
  • 1 篇 carissma technis...
  • 1 篇 peter the great ...

作者

  • 1 篇 kalantari faezeh
  • 1 篇 lee kiwon
  • 1 篇 yong meng teo
  • 1 篇 helsper philipp
  • 1 篇 battaglia filipp...
  • 1 篇 jansen k.
  • 1 篇 wang ziwen
  • 1 篇 zhang chengwei
  • 1 篇 cao yinzhi
  • 1 篇 nasre rupesh
  • 1 篇 fernandez albert...
  • 1 篇 damijan rebernak
  • 1 篇 zaeifi mehrnoosh
  • 1 篇 cai min
  • 1 篇 papadopoulou n.
  • 1 篇 heinz marcel
  • 1 篇 song miao
  • 1 篇 liabotis a.i.
  • 1 篇 mao yiping
  • 1 篇 chapa sergio v.

语言

  • 45 篇 英文
检索条件"任意字段=Proceedings of the 31st Symposium on Implementation and Application of Functional Languages"
45 条 记 录,以下是1-10 订阅
排序:
proceedings of the 31st symposium on implementation and application of functional languages, IFL 2019
Proceedings of the 31st Symposium on Implementation and Appl...
收藏 引用
31st symposium on implementation and application of functional languages, IFL 2019
The proceedings contain 15 papers. The topics discussed include: tensor comprehensions in SaC;a symbolic execution semantics for TopHat;mystery functions: making specifications, unit tests, and implementations coexist...
来源: 评论
21st International symposium on implementation and application of functional languages, IFL 2009
21st International Symposium on Implementation and Applicati...
收藏 引用
21st International symposium on implementation and application of functional languages, IFL 2009
The proceedings contain 13 papers. The special focus in this conference is on implementation and application of functional languages. The topics include: A typical synergy: Dynamic types and generalised algebraic data...
来源: 评论
implementation and application of functional languages - 21st International symposium, IFL 2009, Revised Selected Papers
Implementation and Application of Functional Languages - 21s...
收藏 引用
21st International symposium on implementation and application of functional languages, IFL 2009
The proceedings contain 13 papers. The topics discussed include: PICOBIT: a compact scheme system for microcontrollers;introducing Kansas Lava;ChalkBoard: mapping functions to polygons;implementing fusion-equipped par...
来源: 评论
proceedings of the 31st symposium on implementation and application of functional
ACM International Conference Proceeding Series
收藏 引用
ACM International Conference Proceeding Series 2019年
作者: stutterheim, Jurriën Chin, Wei Ngan Standard Chartered Bank Singapore National University of Singapore Singapore
The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and functionbased programming languages. It is a venue for researchers to present and ...
来源: 评论
Provably-Safe Multilingual Software Sandboxing using WebAssembly  31
Provably-Safe Multilingual Software Sandboxing using WebAsse...
收藏 引用
31st USENIX Security symposium
作者: Bosamiya, Jay Lim, Wen Shih Parno, Bryan Carnegie Mellon Univ Pittsburgh PA 15213 USA
Many applications, from the Web to smart contracts, need to safely execute untrusted code. We observe that WebAssembly (Wasm) is ideally positioned to support such applications, since it promises safety and performanc... 详细信息
来源: 评论
Teaching basics of instruction pipelining with HDLDLX
Teaching basics of instruction pipelining with HDLDLX
收藏 引用
2004 Workshop on Computer Architecture Education, WCAE 2004 - Held in Conjunction with the 31st International symposium on Computer Architecture, ISCA 2004
作者: Bečvář, Miloš Department of Computer Science and Engineering Faculty of Electrical Engineering Czech Technical University in Prague Karlovo Nám. 13 Prague 2 Czech Republic
HDLDLX is a graphically described VHDL model of 5-stage integer pipeline of well known DLX processor. It can be used as a platform explaining logic-level implementation of pipelined processor as a complement to SW fun... 详细信息
来源: 评论
Leap-based Content Defined Chunking --- Theory and implementation  31
Leap-based Content Defined Chunking --- Theory and Implement...
收藏 引用
31st symposium on Massive storage Systems and Technologies (MSst)
作者: Yu, Chuanshuai Zhang, Chengwei Mao, Yiping Li, Fulu Huawei Technol Co Ltd Jakarta Indonesia
Content Defined Chunking (CDC) is an important component in data deduplication, which affects both the deduplication ratio as well as deduplication performance. The sliding-window-based CDC algorithm and its variants ... 详细信息
来源: 评论
Design and implementation of the application for the Irrigation System  31
Design and Implementation of the Application for the Irrigat...
收藏 引用
31st International Conference on Cybernetics and Informatics, K and I 2022
作者: Zemla, Filip Ciganek, Jan Slovak University of Technology in Bratislava Faculty of Electrical Engineering and Information Technology Bratislava Slovakia
The aim of this paper is to create an application that will serve for remote control and automation of an intelligent irrigation system. This paper presents several front-end and back-end technologies, including progr... 详细信息
来源: 评论
An implementation model of real time CORBA for internet applications  31
An implementation model of real time CORBA for internet appl...
收藏 引用
31st International Conference on Technology of Object-Oriented languages and Systems, TOOLS 1999
作者: Xie, Junqing Cai, Min Wang, Yun Department of Comp. Sci. and Eng. Southeast University NanJing210096 China
CORBA has developed rapidly and been taken into use in many fields of industry and commerce. But the growing use of distributed application with time sensitive requirements (such as distributed multimedia application)... 详细信息
来源: 评论
Extensible motor of a object-relational DBMS: Design and implementation  31
Extensible motor of a object-relational DBMS: Design and imp...
收藏 引用
31st International Conference on Technology of Object-Oriented languages and Systems, TOOLS 1999
作者: Ju, Shi-Guang Chapa, Sergio V. Chen, Wei-He Computer Dept. Jiangsu University of Science and Technology China Computer Dept. CINVESTAV IPN Mexico
A Object-Relation DBMS design and implementation is introduced. It is a hybrid of relational database management and object-oriented technique. It will support the ORSQL that is the super-set of SQL and is applied to ... 详细信息
来源: 评论