检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

48 篇 会议

馆藏范围

48 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

34 篇 工学
- 33 篇 软件工程
- 18 篇 计算机科学与技术...
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 安全科学与工程
4 篇 理学
- 3 篇 数学
- 1 篇 物理学

主题

19 篇 embedded systems
9 篇 performance
5 篇 experimentation
5 篇 algorithms
5 篇 design
4 篇 languages
3 篇 reliability
3 篇 parallelization
2 篇 runtime
2 篇 multicores
2 篇 keso
2 篇 java virtual mac...
2 篇 memory managemen...
2 篇 debugging
2 篇 tracing
2 篇 speculation
2 篇 standardization
2 篇 java
2 篇 side-channel ana...
2 篇 static analysis

机构

1 篇 univ toronto on
1 篇 sungkyunkwan uni...
1 篇 university of ca...
1 篇 chang univ sch i...
1 篇 univ michigan ad...
1 篇 univ toulouse fe...
1 篇 georgia institut...
1 篇 zhejiang univ pe...
1 篇 east china norma...
1 篇 microsoft res be...
1 篇 univ erlangen nu...
1 篇 sharif univ tech...
1 篇 east china norma...
1 篇 college of compu...
1 篇 univ waterloo wa...
1 篇 school of comput...
1 篇 cnrs lirmm f-757...
1 篇 univ calif davis...
1 篇 cortus montpelli...
1 篇 swiss fed inst t...

作者

3 篇 xue chun jason
2 篇 zhao mengying
1 篇 ma junyan
1 篇 aslam faisal
1 篇 jim holt
1 篇 fan xiaokang
1 篇 schuldt michael
1 篇 cheng wang
1 篇 nie chuanyao
1 篇 rink norman a.
1 篇 sallenave olivie...
1 篇 zheng wenguang
1 篇 leather hugh
1 篇 gollenstede nikl...
1 篇 di yejia
1 篇 wu sen
1 篇 lee seong-won
1 篇 dubach christoph...
1 篇 sharma rahul
1 篇 jang hakbeom

语言

48 篇 英文

检索条件"任意字段=14th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems"

共 48 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

LCTES 2023 - Proceedings of the 24th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems

LCTES 2023 - Proceedings of the 24th ACM SIGPLAN/SIGBED Inte...

引用

24th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems, LCTES 2023

ISBN: (纸本)9798400701740

the proceedings contain 14 papers. the topics discussed include: facilitating the bootstrapping of a new ISA;synchronization-aware NAS for an efficient collaborative inference on mobile platforms;MinUn: accurate ML inference on microcontrollers;optimizing function layout for mobile applications;thread-level attack-surface reduction;sequential scheduling of dataflow graphs for memory peak minimization;PinIt: influencing OS scheduling via compiler-induced affinities;Rep-RAID: an integrated approach to optimizing data replication and garbage collection in RAID-enabled SSDs;LUNAR: a native table engine for embedded devices;and towards automated identification of layering violations in embedded applications (WIP).

关键词：

来源：评论

学校读者我要写书评

暂无评论

LCTES 2019 - Proceedings of the 20th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems, co-located with PLDI 2019

LCTES 2019 - Proceedings of the 20th ACM SIGPLAN/SIGBED Inte...

引用

20th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems, LCTES 2019, co-located with PLDI 2019

ISBN: (纸本)9781450367240

the proceedings contain 21 papers. the topics discussed include: Optimizing tensor contractions for embedded devices with racetrack memory scratch-pads;crash recoverable ARMv8-oriented B+-tree for byte-addressable persistent memory;1+1>2: variation-aware lifetime enhancement for embedded 3D NAND flash systems;efficient intermittent computing with differential checkpointing;SPECTRUM: a software defined predictable many-core architecture for LTE baseband processing;the betrayal of constant power × time: finding the missing joules of transiently-powered computers;from java to real-time Java: a model-driven methodology with automated toolchain;ApproxSymate: path sensitive program approximation using symbolic execution;and automating the generation of hardware component knowledge bases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LCTES 2024 - Proceedings of the 25th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems, Co-located with: PLDI 2024

LCTES 2024 - Proceedings of the 25th ACM SIGPLAN/SIGBED Inte...

引用

25th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems, LCTES 2024

ISBN: (纸本)9798400706165

the proceedings contain 17 papers. the topics discussed include: accelerating shared library execution in a DBT;efficient implementation of neural networks usual layers on fixed-point architectures;TinySeg: model optimizing framework for image segmentation on tiny embedded systems;MixPert: optimizing mixed-precision floating-point emulation on GPU integer tensor cores;optimistic and scalable global function merging;language-based deployment optimization for random forests;SmartVisor: user-friendly hypervisor for mobile robots;orchestrating multiple mixed precision models on a shared precision-scalable NPU;WoCA: avoiding intermittent execution in embedded systems by worst-case analyses with device states;unmasking the lurking: malicious behavior detection for IoT malware with multi-label classification;and CodeExtract: enhancing binary code similarity detection with code extraction techniques.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 13th acm sigplan/sigbed International conference on languages, compilers, tools and theory for embedded systems, LCTES 2012

Proceedings of the 13th ACM SIGPLAN/SIGBED International Con...

引用

13th acm sigplan/sigbed International conference on languages, compilers, tools and theory for embedded systems, LCTES 2012

ISBN: (纸本)9781450312127

the proceedings contain 16 papers. the topics discussed include: rethinking java call stack design for tiny embedded devices;lightweight generics in embedded systems through static analysis;efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation;WCET-aware re-scheduling register allocation for real-time embedded systems with clustered VLIW architecture;a modular memory optimization for synchronous data-flow languages;mapping a data-flow programming model onto heterogeneous platforms;FORMLESS: scalable utilization of embedded manycores in streaming applications;profile-guided deployment of stream programs on multicores;improving dynamic prediction accuracy through multi-level phase analysis;efficient soft error protection for commodity embedded microprocessors using profile information;and an operational semantics for Simulink's simulation engine.

关键词：

来源：评论

学校读者我要写书评

暂无评论

LCTES 2013 - Proceedings of the 2013 acm sigplan/sigbed conference on languages, compilers and tools for embedded systems

LCTES 2013 - Proceedings of the 2013 ACM SIGPLAN/SIGBED Conf...

引用

14th acm sigplan/sigbed conference on languages, compilers, tools and theory for embedded systems, LCTES 2013

ISBN: (纸本)9781450320856

the proceedings contain 18 papers. the topics discussed include: low cost control flow protection using abstract control signatures;boosting efficiency of fault detection and recovery through application-specific comparison and checkpointing;a JVM for soft-error-prone embedded systems;practical speculative parallelization of variable-length decompression algorithms;program performance spectrum;non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis;the role of C in the dark ages of multi-core;compiler directed write-mode selection for high performance low power volatile PCM;a two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems;buffer minimization in earliest-deadline first scheduling of dataflow graphs;and automatic dataflow model extraction from modal real-time stream processing applications.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive Program Tracing and Debugging of Deployed embedded systems through Side-Channel Analysis

Non-Intrusive Program Tracing and Debugging of Deployed Embe...

引用

14th acm sigplan/sigbed conference on languages, compilers and tools for embedded systems

作者： Moreno, Carlos Fischmeister, Sebastian Hasan, M. Anwar Univ Waterloo Waterloo ON N2L 3G1 Canada

ISBN: (纸本)9781450320856

One of the hardest aspects of embedded software development is that of debugging, especially when faulty behavior is observed at the production or deployment stage. Non-intrusive observation of the system's behavior is often insufficient to infer the cause of the problem and identify and fix the bug. In this work, we present a novel approach for non-intrusive program tracing aimed at assisting developers in the task of debugging embedded systems at deployment or production stage, where standard debugging tools are usually no longer available. the technique is rooted in cryptography, in particular the area of side-channel attacks. Our proposed technique expands the scope of these cryptographic techniques so that we recover the sequence of operations from power consumption observations (power traces). To this end, we use digital signal processing techniques (in particular, spectral analysis) combined with pattern recognition techniques to determine blocks of source code being executed given the observed power trace. One of the important highlights of our contribution is the fact that the system works on a standard PC, capturing the power traces through the recording input of the sound card. Experimental results are presented and confirm that the approach is viable.

关键词： theory Algorithms Experimentation embedded systems debugging tracing side-channel analysis simple power analysis

来源：评论

学校读者我要写书评

暂无评论

Towards SMT-Based LTL Model Checking of Clock Constraint Specification Language for Real-Time and embedded systems 2017

Towards SMT-Based LTL Model Checking of Clock Constraint Spe...

引用

18th acm sigplan/sigbed conference on languages, compilers, tools and theory for embedded systems (LCTES)

作者： Zhang, Min Ying, Yunhui ECNU Shanghai Key Lab Trustworthy Comp Shanghai Peoples R China ECNU MoE Int Joint Lab Trustworthy Software Shanghai Peoples R China

ISBN: (纸本)9781450350303

the Clock Constraint Specification Language (CCSL) is a formal language companion to MARTE (shorthand for Modeling and Analysis of Real-Time and embedded systems), a UML profile used to facilitate the design and analysis of real-time and embedded systems. CCSL is proposed to specify constraints on the occurrences of events in systems. However, the language lacks efficient verification support to formally analyze temporal properties, which are important properties to real-time and embedded systems. In this paper, we propose an SMT-based approach to model checking of the temporal properties specified in Linear Temporal Logic (LTL) for CCSL by transforming CCSL constraints and LTL formulas into SMT formulas. We implement a prototype tool for the proposed approach and use the state-of-the-art tool Z3 as its underlying SMT solver. We model two practical real-time and embedded systems, i.e., a traffic light controller and a power window system in CCSL, and model check LTL properties of them using the proposed approach. Experimental results demonstrate the effectiveness and efficiency of our approach.

关键词： Model checking SMT Z3 CCSL LTL

来源：评论

学校读者我要写书评

暂无评论

reUpNix: Reconfigurable and Updateable embedded systems 2023

reUpNix: Reconfigurable and Updateable Embedded Systems

引用

24th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems (LCTES)

作者： Gollenstede, Niklas Kulau, Ulf Dietrich, Christian Hamburg Univ Technol Hamburg Germany

ISBN: (纸本)9798400701740

Managing the life cycle of an embedded Linux stack is difficult, as we have to integrate in-house and third-party services, prepare firmware images, and update the devices in the field. Further, if device deployment is expensive (e.g. in space), our stack should support multi-mission setups to make the best use of our investment. With reUpNix, we propose a methodology based on NixOS that provides reproducible, updateable, and reconfigurable embedded Linux stacks. For this, we identify the shortcomings of NixOS for use on embedded devices, reduce its base installation size by up to 86 percent, and make system updates failure atomic and significantly smaller. We also allow integration of third-party OCI images, which, due to fine-grained file deduplication, require up to 24 percent less on-disk space.

关键词： reproducible systems embedded systems NixOS

来源：评论

学校读者我要写书评

暂无评论

Portable Mapping of OpenMP to Multicore embedded systems Using MCA APIs

Portable Mapping of OpenMP to Multicore Embedded Systems Usi...

引用

14th acm sigplan/sigbed conference on languages, compilers and tools for embedded systems

作者： Wang, Cheng Chandrasekaran, Sunita Sun, Peng Chapman, Barbara Holt, Jim Univ Houston Dept Comp Sci Houston TX 77004 USA Freescale Semicond Inc Austin TX 78735 USA

ISBN: (纸本)9781450320856

Multicore embedded systems are being widely used in telecommunication systems, robotics, medical applications and more. While they offer a high-performance with low-power solution, programming in an efficient way is still a challenge. In order to exploit the capabilities that the hardware offers, software developers are expected to handle many of the low-level details of programming including utilizing DMA, ensuring cache coherency, and inserting synchronization primitives explicitly. the state-of-the-art involves solutions where the software toolchain is too vendor-specific thus tying the software to a particular hardware leaving no room for portability. In this paper we present a runtime system to explore mapping a high-level programming model, OpenMP, on to multicore embedded systems. A key feature of our scheme is that unlike the existing approaches that largely rely on POSIX threads, our approach leverages the Multicore Association (MCA) APIs as an OpenMP translation layer. the MCA APIs is a set of low-level APIs handling resource management, inter-process communications and task scheduling for multicore embedded systems. By deploying the MCA APIs, our runtime is able to effectively capture the characteristics of multicore embedded systems compared with the POSIX threads. Furthermore, the MCA layer enables our runtime implementation to be portable across various architectures. thus programmers only need to maintain a single OpenMP code base which is compatible by various compilers, while on the other hand, the code is portable across different possible types of platforms. We have evaluated our runtime system using several embedded benchmarks. the experiments demonstrate promising and competitive performance compared to the native approach for the platform.

关键词： languages Performance Standardization OpenMP MCA Runtime optimizations embedded systems

来源：评论

学校读者我要写书评

暂无评论

Towards Automated Identification of Layering Violations in embedded Applications (WIP) 2023

Towards Automated Identification of Layering Violations in E...

引用

24th acm sigplan/sigbed International conference on languages, compilers, and tools for embedded systems (LCTES)

作者： Shen, Mingjie Davis, James C. Machiry, Aravind Purdue Univ W Lafayette IN 47907 USA

ISBN: (纸本)9798400701740

For portability, embedded systems software follows a layered design to reduce dependence on particular hardware behavior. We consider the problem of identifying layering violations: instances where the embedded application accesses non-adjacent layers. this paper presents our preliminary work to detect a class of layering violations called Non Conventional MMIO Accesses (NCMAs). We find them by searching for direct Memory Mapped Input Output (MMIO) accesses made outside of the Hardware Abstraction Layer (HAL). For evaluation, we curated a list of 988 applications spanning 5 Real Time Operating systems (RTOSes) - the first large dataset of compilable embedded applications. Our system identified 369 NCMAs. We reported these issues to the corresponding developers and found interesting reasons for committing layering violations. We have open-sourced our tool and the collected dataset to foster future research.

关键词： embedded systems Portability Firmware Hardware Abstraction Layer Static Analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：