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

19th Euromicro Conference on Digital System Design (DSD)

作者： Mazumdar, Somnath Ayguade, Eduard Bettin, Nicola Bueno, Javier Ermini, Sara Filgueras, Antonio Jimenez-Gonzalez, Daniel Alvarez Martinez, Carlos Martorell, Xavier Montefoschi, Francesco Oro, David Pnevmatikatos, Dionisis Rizzo, Antonio Theodoropoulos, Dimitris Giorgi, Roberto Univ Siena Dipartimento Ingn Informaz & Sci Matemat I-53100 Siena Italy Barcelona Supercomp Ctr Barcelona Spain VIMAR SpA Marostica Marostica Italy Univ Siena Dipartimento Sci Sociali Polit & Cognit I-53100 Siena Italy Univ Politecn Catalunya Barcelona Comp Architecture Dept Barcelona Spain Herta Secur Barcelona Barcelona Spain Fdn Res & Technol Hellas FORTH Crete Inst Comp Sci Iraklion Greece Tech Univ Crete Sch ECE Khania Greece

ISBN: (纸本)9781509028160

Cyber-Physical Systems (CPSs) are widely necessary for many applications that require interactions with the humans and the physical environment. A CPS integrates a set of hardware-software components to distribute, execute and manage its operations. The AXIOM project (Agile, eXtensible, fast I/O Module) aims at developing a hardware-software platform for CPS such that i) it can use an easy parallel programming model and ii) it can easily scale-up the performance by adding multiple boards (e.g., 1 to 10 boards can run in parallel). AXIOM supports task-based programming model based on OmpSs and leverage a high-speed, inexpensive communication interface called AXIOM-Link. Another key aspect is that the board provides programmable logic (FPGA) to accelerate portions of an application. We are using smart video surveillance, and smart home living applications to drive our design.

关键词： Cyber-physical systems distributed shared memory programming model performance evaluation reconfigurable smart video surveillance smart home living

来源：评论

学校读者我要写书评

暂无评论

Logical Time for Reactive Software

Logical Time for Reactive Software

引用

Cyber-Physical Systems and Internet-of-Things Week (CPS-IoT Week)

作者： Lohstroh, Marten Lee, Edward A. Edwards, Stephen A. Broman, David Univ Calif Berkeley Berkeley CA 94720 USA Columbia Univ New York NY USA KTH Royal Inst Technol Stockholm Sweden

ISBN: (纸本)9798400700491

Timing is an essential feature of reactive software. It is not just a performance metric, but rather forms a core part of the semantics of programs. This paper argues for a notion of logical time that serves as an engineering model to complement a notion of physical time, which models the physical passage of time. programming models that embrace logical time can provide deterministic concurrency, better analyzability, and practical realizations of timing-sensitive applications. We give definitions for physical and logical time and review some languages and formalisms that embrace logical time.

关键词： timing reactive systems programming model software

来源：评论

学校读者我要写书评

暂无评论

Accessible Near -Storage Computing with FPGAs 20

Accessible Near -Storage Computing with FPGAs

引用

15th European Conference on Computer Systems (EuroSys)

作者： Schmid, Robert Plauth, Max Wenzel, Lukas Eberhardt, Felix Polze, Andreas Univ Potsdam Hasso Plattner Inst Potsdam Germany

ISBN: (纸本)9781450368827

Data transfers impose a major bottleneck in heterogenous system architectures. As a mitigation strategy, compute resources can be introduced in places where data occurs naturally. The increased diversity of compute resources in turn affects programming models and practicalities of software development for near-data compute kernels and raises the question of how those resources can be made accessible to users and applications. We introduce the Metal FS framework to improve the accessibility of FPGA-based near-storage accelerators: Firstly, we present a near-storage-compute-aware file system that enables self-contained, reusable compute kernels to operate on the granularity of file data streams. Secondly, we provide an integrated build process for FPGA overlay images that starts with the acquisition of compute kernels through a package manager and finally allows to dynamically configure near-storage compute pipelines consisting of them. Thirdly, we integrate the framework into Linux as a file system driver and repurpose UNIX Pipes as a well-known operating system primitive to orchestrate near -storage compute pipelines.

关键词： Near -Storage Computing Near -Data Processing FPGA programming model Data -Flow Paradigm

来源：评论

学校读者我要写书评

暂无评论

An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture 08

An Automated Mapping of Timed Functional Specification to A ...

引用

12th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications

作者： Forbes, Shanna-Shaye Patel, Hiren D. Lee, Edward A. Andrade, Hugo A. Univ Calif Berkeley Dept Elect Engn & Comp Sci 545 Cory Hall Berkeley CA 94720 USA Natl Instruments Corp Berkeley CA 94704 USA

ISBN: (纸本)9780769534251

Most common real-time embedded programming languages provide a means to specify functionality;however, they have few constructs to specify precise timing constraints. LabVIEW is one example ( fa graphical programming language that supports timing specifications in the form of timed-loops. In this work, we present a plug-in for LabVIEW Embedded that maps the LabVIEW G graphical programming language and its timing specifications to the PREcision Timed machine (PRET), an architecture that exposes timing instructions in its instruction set architecture. We demonstrate the use of the plug-in with a simple producer/consumer example that uses timing to enforce synchronization.

关键词： programming model

来源：评论

学校读者我要写书评

暂无评论

DataMods: Programmable File System Services

DataMods: Programmable File System Services

引用

25th ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis (SC)

作者： Watkins, Noah Maltzahn, Carlos Brandt, Scott Manzanares, Adam Univ Calif Santa Cruz Santa Cruz CA 95064 USA Calif State Univ Chico Chico CA 95929 USA

ISBN: (纸本)9780769549569;9781467362184

As applications become more complex, and the level of concurrency in systems continue to rise, developers are struggling to scale complex data models on top of a traditional byte stream interface. Middleware tailored for specific data models is a common approach to dealing with these challenges, but middleware commonly reproduces scalable services already present in many distributed file systems. We present DataMods, an abstraction over existing services found in large-scale storage systems that allows middleware to take advantage of existing, highly tuned services. Specifically, DataMods provides an abstraction for extending storage system services in order to implement native, domain-specific data models and interfaces throughout the storage hierarchy.

关键词： programming model active storage distributed file system

来源：评论

学校读者我要写书评

暂无评论

On the model of OoS multicast routing problems in active networks

On the model of OoS multicast routing problems in active net...

引用

2nd International Conference on Computer Networks and Mobile Computing

作者： Yu, ZW Pan, Y Wang, LC China Univ Min & Technol Beijing Beijing 100083 Peoples R China

ISBN: (纸本)0769520332

In this paper, we propose the concept of order of services (OoS) and construct the programming model of OoS multicast routing in active networks. We also give methods to assure services and to compute the violation degree of OoS. Then, based on an improved prufer encoding method, we design a novel genetic algorithm for the new model. The complexities of encoding and decoding of our algorithm do not exceed O(n(2)). A great number of numerical experiments suggest that our algorithm is feasible and efficient.

关键词： active networks genetic algorithms telecommunication network routing encoding multicast communication OoS order of services multicast routing active networks programming model violation degree prufer encoding method genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

Exploring Dataflow-based Thread Level Parallelism in Cyber-Physical Systems (invited paper) 16

Exploring Dataflow-based Thread Level Parallelism in Cyber-P...

引用

ACM International Conference on Computing Frontiers (CF)

作者： Giorgi, Roberto Univ Siena Dept Informat Engn & Math Siena Italy

ISBN: (纸本)9781450341288

Smart Cyber-Physical Systems (SCPS) aim not only at integrating computational platforms and physical processes, but also at creating larger "systems of systems" capable of satisfying multiple critical constraints such as energy efficiency, high-performance, safety, security, size and cost. The AXIOM project aims at designing such systems by focusing on low-cost Single Board Computers (SBC), based on current System-on-Chips (SoC) that include both programmable logic (FPGA), multi-core CPUs, accelerators and peripherals. A dataflow execution model, partially developed in the TERAFLUX project, brings a more predictable and reliable execution. The goals of AXIOM include: i) the possibility to easily program the system with a shared-memory model based on OmpSs;ii) the possibility of scaling up the system through a custom but inexpensive interconnect;iii) the possibility of accelerating a specific function on a single or multiple FPGAs of the system. The dataflow execution model operates at thread-level granularity. In this paper the AXIOM execution model and the related memory memory model is further detailed. The memory model is key for the execution of threads while reducing the need of data transfers. The preliminary results confirm the scalability of this model.

关键词： Thread-Level Parallelism Dataflow Cyber-Physical System Scalability Distributed Shared Memory programming model

来源：评论

学校读者我要写书评

暂无评论

Evaluation of Blue Gene/Q Hardware Support for Transactional Memories 12

Evaluation of Blue Gene/Q Hardware Support for Transactional...

引用

21st International Conference on Parallel Architectures and Compilation Techniques (PACT)

作者： Wang, Amy Gaudet, Matthew Wu, Peng Amaral, Jose Nelson Ohmacht, Martin Barton, Christopher Silvera, Raul Michael, Maged IBM Toronto Software Lab Markham ON Canada Univ Alberta Dep Comp Sci Edmonton AB Canada IBM Res Yorktown Hts NY USA

ISBN: (纸本)9781450311823

This paper describes an end-to-end system implementation of the transactional memory (TM) programming model on top of the hardware transactional memory (HTM) of the Blue Gene/Q (BG/Q) machine. The TM programming model supports most C/C++ programming constructs on top of a best-effort HTM with the help of a complete software stack including the compiler, the kernel, and the TM runtime. An extensive evaluation of the STAMP benchmarks on BG/Q is the first of its kind in understanding characteristics of running coarse-grained TM workloads on HTMs. The study reveals several interesting insights on the overhead and the scalability of BG/Q HTM with respect to sequential execution, coarse-grain locking, and software TM.

关键词： Hardware Transactional Memories programming model Run-time System Software Support

来源：评论

学校读者我要写书评

暂无评论

INTERREGIONAL ANALYSIS OF ENERGY FLOWS

引用

PAPERS OF THE REGIONAL SCIENCE ASSOCIATION 1983年第1期53卷 83-104页

作者： BEUTEL, J Ifo-Institut für Wirtschaftsforschung 8000 München 86 West Germany

The analysis of energy problems is limited by the lack of adequate statistics and instruments for energy analysis. The Commmission of the European Communities, therefore, asked the Federal Statistical Office of the Federal Republic of Germany and the Ifo-Institute for Economic Research in Munich to establish input-output tables of energy flows. Relevant studies were simultaneously conducted in six other EEC countries (France, Italy, Belgium, Netherlands, United Kingdom and Denmark). This paper analyses the regional structure of energy flows in Europe. Empirical results are presented for the physical energy content (terajoule) and the energy costs (mill. DM) of commodities in France, Italy, Denmark, and the Federal Republic of Germany. In addition, it shows how mixed input-output systems in physical and value units can be analysed with the general input-output model. Mathematically, input-output analysis can be regarded as a special statement of a linear programming model; here, the customary quantity and price models of input-output analysis are transferred into a linear optimization model (general inputo-output model) with a substantial gain of information for users. The objective is to analyse regional differences in energy production and energy use within the European Communities.

关键词： programming model European Community Federal Republic Federal Statistical Energy Flow

来源：评论

学校读者我要写书评

暂无评论

Deserv: Decentralized Serverless Computing

Deserv: Decentralized Serverless Computing

引用

IEEE International Conference on Web Services (ICWS) / IEEE World Congress on Services (IEEE SERVICES)

作者： Christie, Samuel H., V Chopra, Amit K. Singh, Munindar P. Univ Lancaster Sch Comp & Commun Lancaster England North Carolina State Univ Dept Comp Sci Raleigh NC USA

ISBN: (纸本)9781665416818

A decentralized application involves multiple autonomous principals, e.g., humans and organizations. Autonomy motivates (i) specifying a decentralized application via a protocol that captures the interactions between the principals, and (ii) a programming model that enables each principal to independently (from other principals) construct its own protocol-compliant agent. An agent encodes its principal's decision making and represents it in the application. We contribute Deserv, the first protocol-based programming model for decentralized applications that is suited to the cloud. Specifically, Desery demonstrates how to leverage function-as-a-service (FaaS), a popular serverless programming model, to implement agents. A notable feature of Desery is the use declarative protocols to specify interactions. Declarative protocols support implementing stateful agents in a manner that naturally exploits the concurrency and autoscaling benefits offered by serverless computing.

关键词： multiagent systems protocols programming model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：