咨询与建议

限定检索结果

文献类型

  • 15 篇 会议
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 13 篇 工学
    • 12 篇 计算机科学与技术...
    • 10 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 控制科学与工程
  • 2 篇 理学
    • 2 篇 数学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 2 篇 software systems
  • 2 篇 programming
  • 2 篇 systems engineer...
  • 2 篇 software enginee...
  • 2 篇 computer languag...
  • 2 篇 communications t...
  • 2 篇 software testing
  • 2 篇 embedded softwar...
  • 2 篇 embedded system
  • 2 篇 programming lang...
  • 2 篇 system testing
  • 2 篇 test equipment
  • 2 篇 logics and meani...
  • 1 篇 object oriented ...
  • 1 篇 heterogenous sys...
  • 1 篇 program calculat...
  • 1 篇 hardware-softwar...
  • 1 篇 access control
  • 1 篇 smart contracts
  • 1 篇 automatic synthe...

机构

  • 1 篇 indiana universi...
  • 1 篇 univ cambridge c...
  • 1 篇 university of en...
  • 1 篇 department of co...
  • 1 篇 school of inform...
  • 1 篇 inria umr 7161 e...
  • 1 篇 technion israel ...
  • 1 篇 department for e...
  • 1 篇 centro de inform...
  • 1 篇 kyushu inst tech...
  • 1 篇 s-core. ltd. kor...
  • 1 篇 chalmers univers...
  • 1 篇 programming syst...
  • 1 篇 aix marseille un...
  • 1 篇 siemens ag progr...
  • 1 篇 department of co...
  • 1 篇 eth comp engn & ...
  • 1 篇 iminds-distrinet...
  • 1 篇 univ freiburg fr...
  • 1 篇 dept of computer...

作者

  • 1 篇 accattoli beniam...
  • 1 篇 van delft bart
  • 1 篇 na hyunik
  • 1 篇 clarke dave
  • 1 篇 wu youfeng
  • 1 篇 yahav eran
  • 1 篇 scherer tobias
  • 1 篇 patrignani marco
  • 1 篇 h.j. zainzinger
  • 1 篇 lucero giovanny
  • 1 篇 thiemann peter
  • 1 篇 mizuhito ogawa
  • 1 篇 wang cheng
  • 1 篇 schor lars
  • 1 篇 tretter andreas
  • 1 篇 emoto kento
  • 1 篇 thiele lothar
  • 1 篇 murata kosuke
  • 1 篇 mulligan dominic...
  • 1 篇 naumann david

语言

  • 17 篇 英文
检索条件"任意字段=11th Asian Symposium on Programming Languages and Systems, APLAS 2013"
17 条 记 录,以下是11-20 订阅
排序:
programming and Proving with Classical Types  1
收藏 引用
15th asian symposium on programming languages and systems (aplas)
作者: Matache, Cristina Gomes, Victor B. F. Mulligan, Dominic P. Univ Cambridge Comp Lab Cambridge England
the propositions-as-types correspondence is ordinarily presented as linking the metatheory of typed lambda-calculi and the proof theory of intuitionistic logic. Griffin observed that this correspondence could be exten... 详细信息
来源: 评论
A Typed Programmatic Interface to Contracts on the Blockchain  19th
A Typed Programmatic Interface to Contracts on the Blockchai...
收藏 引用
19th asian symposium on programming languages and systems (aplas)
作者: thi thu Ha Doan thiemann, Peter Univ Freiburg Freiburg Germany
Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. this interface should provide for originat... 详细信息
来源: 评论
Exploiting the Parallelism of Heterogeneous systems using Dataflow Graphs on Top of OpenCL
Exploiting the Parallelism of Heterogeneous Systems using Da...
收藏 引用
11th IEEE symposium on Embedded systems for Real-time Multimedia (ESTIMedia)
作者: Schor, Lars Tretter, Andreas Scherer, Tobias thiele, Lothar ETH Comp Engn & Networks Lab CH-8092 Zurich Switzerland
programming heterogeneous systems has been greatly simplified by OpenCL, which provides a common low-level API for a large variety of compute devices. However, many low-level details, including data transfer, task sch... 详细信息
来源: 评论
AccelDroid: Co-designed Acceleration of Android Bytecode
AccelDroid: Co-designed Acceleration of Android Bytecode
收藏 引用
11th IEEE/ACM International symposium on Code Generation and Optimization (CGO)
作者: Wang, Cheng Wu, Youfeng Cintra, Marcelo Programming Systems Lab Microprocessor and Programming Research Intel Labs
A hardware/software co-designed processor transparently supports a ubiquitous ISA (e.g. x86) with diversified and innovative microarchitectural implementations. It leverages co-designed HW features and dynamic binary ... 详细信息
来源: 评论
Automated Technology for Verification and Analysis  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Dang Hung Mizuhito Ogawa
this book constitutes the refereed proceedings of the 11th International symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. the 27 regular papers, 3 sh... 详细信息
来源: 评论
the abstract behavioral specification language: A tutorial introduction
The abstract behavioral specification language: A tutorial i...
收藏 引用
11th International symposium on Formal Methods for Components and Objects, FMCO 2012
作者: Hähnle, Reiner Department of Computer Science Technische Universität Darmstadt Germany
ABS (for abstract behavioral specification) is a novel language for modeling feature-rich, distributed, object-oriented systems at an abstract, yet precise level. ABS has a clear and simple concurrency model that perm... 详细信息
来源: 评论
Testing embedded systems by using a C++ script interpreter
Testing embedded systems by using a C++ script interpreter
收藏 引用
asian Test symposium (ATS)
作者: H.J. Zainzinger Department for Embedded Software and IP-based Applications Austria Enterprise Communication Technology Siemens AG Vienna Austria
In this paper the author presents a generic test equipment for embedded platform software. this approach helps to overcome the paradigms of modern software development like object-oriented concepts, rapid prototyping ... 详细信息
来源: 评论