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

13th international conference on the Foundations of Digital Games, FDG 2018

作者： Sullivan, Anne Eladhari, Mirjam Palosaari Cook, Michael Georgia Institute of Technology AtlantaGA United States Södertörn University Stockholm Sweden Max Planck Institute for Software Systems Saarbrücken Germany

ISBN: (纸本)9781450365710

Tarot has been used for centuries as a method to give structure to storytelling, both in game and fortune-telling settings. As such, tarot cards have developed over time, expanding the symbolism and depth of meaning associated with each card. this provides a corpus for a large number of possible stories, making tarot a rich area of exploration for story generation. therefore, we have created a tarot-based narrative generation system that creates short movie-like story synopses, along with a tagline one might see on a movie poster. this project is in early development;we have created a prototype as a proof of concept. the project exists as a webpage that an interactor can use to draw new tarot cards for the story spread (card layout) and generate new stories from them. In this paper we discuss the details of our system and describe more details about the tarot as a corpus. We also discuss future areas of exploration based on our proof of concept. © 2018 acm.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

SOFTWARE IMPLEMENTATION OF A RECURSIVE FAULT TOLERANCE ALGORIthM ON A NETWORK OF COMPUTERS.

SOFTWARE IMPLEMENTATION OF A RECURSIVE FAULT TOLERANCE ALGOR...

引用

13th Annual international Symposium on Computer Architecture - conference Proceedings.

作者： Agrawal, Prathima Agrawal, Rakesh AT&T Bell Lab Murray Hill NJ USA AT&T Bell Lab Murray Hill NJ USA

ISBN: (纸本)081860719X

RAFT is a recursive algorithm for fault tolerance that uses a combination of dynamic space and time redundancy techniques for detecting faulty processors and recovering from errors. U*** is a multicomputer testbed consisting of a network of AT&T 3B2 computers running a network operating system based on the UNIX system. the authors describe a software implementation of RAFT on U*** , and demonstrate the effectiveness of a RAFT-like scheme for designing fault-tolerant multicomputer systems. Results of Monte Carlo experiments conducted on this system that validated the theoretical basis of RAFT are presented. Experimentally observed performance penalty, incurred due to fault tolerance, is also presented.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Merge: A programming model for heterogeneous multi-core systems

引用

acm sigplan NOTICES 2008年第3期43卷 287-296页

作者： Linderman, Michael D. Collins, Jamison D. Wang, Hong Meng, Teresa H. Stanford Univ Dept Elect Engn Stanford CA 94305 USA Intel Corp Microarchitecture Res Lab Santa Cruz CA USA

In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. the Merge framework replaces current ad hoc approaches to parallel programming on heterogeneous platforms with a rigorous, library-based methodology that can automatically distribute computation across heterogeneous cores to achieve increased energy and performance efficiency. the Merge framework provides (1) a predicate dispatch-based library system for managing and invoking function variants for multiple architectures;(2) a high-level, library-oriented parallel language based on map-reduce;and (3) a compiler and runtime which implement the map-reduce language pattern by dynamically selecting the best available function implementations for a given input and machine configuration. Using a generic sequencer architecture interface for heterogeneous accelerators, the Merge framework can integrate function variants for specialized accelerators, offering the potential for to-the-metal performance for a wide range of heterogeneous architectures, all transparent to the user. the Merge framework has been prototyped on a heterogeneous platform consisting of an Intel Core 2 Duo CPU and an 8-core 32-thread Intel Graphics and Media Accelerator X3000, and a homogeneous 32-way Unisys SNIP system with Intel Xeon processors. We implemented a set of benchmarks using the Merge framework and enhanced the library with X3000 specific implementations, achieving speedups of 3.6x - 8.5x using the X3000 and 5.2x - 22x using the 32-way system relative to the straight C reference implementation on a single IA32 core.

关键词： performance design languages heterogeneous multi-core GPGPU predicate dispatch

来源：评论

学校读者我要写书评

暂无评论

Run-time evolution through explicit meta-objects

Run-time evolution through explicit meta-objects

引用

5th Workshop on Models@run.time 2010, MRT 2010 - At the acm/IEEE 13th international conference on Model Driven Engineering Languages and Systems, MODELS 2010

作者： Ressia, Jorge Renggli, Lukas Gîrba, Tudor Nierstrasz, Oscar Software Composition Group University of Bern Switzerland

Software must be constantly adapted due to evolving domain knowledge and unanticipated requirements changes. To adapt a system at run-time we need to reflect on its structure and its behavior. Object oriented languages introduced reflection to deal with this issue, however, no reflective approach up to now has tried to provide a unified solution to both structural and behavioral reflection. this paper describes ALBEDO1, a unified approach to structural and behavioral reflection. ALBEDO is a model of fined-grained unanticipated dynamic structural and behavioral adaptation. Instead of providing reflective capabilities as an external mechanism we integrate them deeply in the environment. We show how explicit meta-objects allow us to provide a range of reflective features and thereby evolve both application models and environments at run-time.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Testing of Local Control Cabinet In Gas Insulated Switchgear Using Design of Simulation Kit - Revista 13

Testing of Local Control Cabinet In Gas Insulated Switchgear...

引用

IEEE 13th international conference on Compatibility, Power Electronics and Power Engineering (IEEE IES CPE-POWERENG)

作者： Taur, Aishwarya Badave, Sunita M. Padmanaban, Sanjeevikumar Bhaskar, Mahajan Sagar Ramachandaramurthy, Vigna K. Holm-Nielsen, Jens Bo Marathwada Inst Technol Dept Elect & Elect Engn Aurangabad Maharashtra India Aalborg Univ Dept Energy Technol Esbjerg Denmark Prince Sultan Univ Coll Engn Dept Commun & Networks Renewable Energy Lab Riyadh Saudi Arabia Univ Tenaga Nas Power Qual Res Grp Dept Elect Power Engn Kajang Malaysia Aalborg Univ Dept Energy Technol Ctr Bioenergy & Green Engn Esbjerg Denmark

ISBN: (纸本)9781728132020

In order to keep generation and distribution of power at high priority, two switchgear playing a key role i) Air insulated Substation/Switchgear (AIS) ii) Gas Insulated Substation/Switchgear (GIS). Nowadays, the GIS innovation began with the view of broad essential research and from that point forward the administration encounter together with creative advancement work has presented this system to a sheltered and natural good, a most dependable and accessible component of the power supply. Controllers always play a significant role in the power sector. GIS has low-Local Control Cabinet (LCC) cost and can be utilized for indoor and open-air applications. the local control cabinet is controlling part in Gas Insulated Switchgear. Its task is to follow the logic and interlocks that are set accordingly. the Problem came across while testing LCC panel is studied in this paper and solution to this is found out. In this paper, a test kit for LCC is proposed which will work as a dummy GIS bay. the contact status is found out whether NO or NC by studying connection drawings. this status fed to the relays in the kit through PLC-HMI programming and testing will be done. the proposed test simulation kit allows conducting a full functional assessment of LCC panel, panel wiring, interlock wiring, component functioning etc.

关键词： Switchgear Gas Insulated Substation Local Control Cabinet Harting Connector Circuit Breaker PLC-HMI programming

来源：评论

学校读者我要写书评

暂无评论

MORENA: A middleware for programming NFC-enabled android applications as distributed object-oriented programs

MORENA: A middleware for programming NFC-enabled android app...

引用

13th acm/IFIP/USENIX international Middleware conference, Middleware 2012

作者： Lombide Carreton, Andoni Pinte, Kevin De Meuter, Wolfgang Software Languages Lab. Vrije Universiteit Brussel Pleinlaan 2 1050 Brussels Belgium

ISBN: (纸本)9783642351693

NFC is a wireless technology that allows software to interact with RFID tags and that is increasingly integrated into smartphones and other mobile devices. In this paper, we present MORENA: a middleware that treats NFC-enabled programs as distributed object-oriented programs in which RFID tags are represented as intermittently connected remote objects. We draw inspiration from the ambient-oriented programming paradigm to represent these objects as first-class remote references which only offer asynchronous communication with the tag to which they refer. this allows the programmer to implement mobile applications that read from or write to RFID tags without having to handle every single fault manually and without blocking the entire application during read or write operations. We built MORENA on top of the Android platform and evaluated our abstractions by implementing a representative application running on NFC-enabled Android phones using MORENA. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

A research proposal: Initial development of operational indicators for measuring US federal public sector organization virtuality

A research proposal: Initial development of operational indi...

引用

13th Annual international Digital Government Research conference: Bridging Research and Practice, dg.o 2012

作者： Johnson, Patrick W. Center for Public Administration and Policy Virginia Tech. Northern Virginia Graduate Center 1021 Prince Street Alexandria VA 22314 United States

ISBN: (纸本)9781450314039

the purpose of this paper is to propose a research agenda for measuring the virtuality of US federal public sector organizations. Much of the e-Government literature has focused on service delivery. this paper moves the discussion to the administrative side of the equation and develops a research agenda that focuses attention to the real or perceived impact of IT on the day-to-day functions (structure and process) of the public sector. Building on Fountain's framework of virtual bureaucracy, a multi-case study method using operational indicators of virtual public sector organizations in conjunction with enterprise architecture analysis is discussed. © 2012 Author.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Relational STE and theorem Proving for Formal Verification of Industrial Circuit Designs

Relational STE and Theorem Proving for Formal Verification o...

引用

13th international conference on Formal Methods in Computer-Aided Design (FMCAD)

作者： O'Leary, John Kaivola, Roope Melham, Tom Intel Corp Santa Clara CA 95051 USA Univ Oxford Oxford OX1 2JD England

ISBN: (纸本)9780983567837

Model checking by symbolic trajectory evaluation, orchestrated in a flexible functional-programming framework, is a well-established technology for correctness verification of industrial-scale circuit designs. Most verifications in this domain require decomposition into subproblems that symbolic trajectory evaluation can handle, and deductive theorem proving has long been proposed as a complement to symbolic trajectory evaluation to enable such compositional reasoning. this paper describes an approach to verification by symbolic simulation, called Relational STE, that raises verification properties to the purely logical level suitable for compositional reasoning in a theorem prover. We also introduce a new deductive theorem prover, called Goaled, that has been integrated into Intel's Forte verification framework for this purpose. We illustrate the effectiveness of this combination of technologies by describing a general framework, accessible to non-experts, that is widely used for verification and regression validation of integer multipliers at Intel.

关键词： circuit analysis computing formal verification functional programming network synthesis symbol manipulation theorem proving

来源：评论

学校读者我要写书评

暂无评论

acm international conference Proceeding Series

ACM International Conference Proceeding Series

引用

13th Central and Eastern European Software Engineering conference in Russia, CEE-SECR 2017

ISBN: (纸本)9781450363969

the proceedings contain 23 papers. the topics discussed include: SLang: current status and next steps;application of multidimensional interpolation and random forest regression to enhanced oil recovery modeling;specifying MobileApp quality characteristics that may influence trust;visual methods of formalization of knowledge in the conditions of the synchronous technologies of system engineering;architecting the open education: the integrated metadata warehouse;adapting software applications to hybrid supercomputer;on one source of latency in nfsv4 client;the extended model of goals, operators, methods and selection rules (GOMS) for gesture interfaces;the architecture of a client's application;context-free path querying with structural representation of result;task dispatching system for the complex of natural language processing tools;constructing the formal grammar of system calls;checkpoint and restore of file locks in userspace;smart face control: machine learning algorithms for efficient SSD caching;novel approach to network function development;applications of TRIZ methods in SW development and design;lions, swans, monkeys - a new approach to biometric menagerie;on development of a framework for massive source code analysis using static code analyzers;and PictoMir - how and why do we teach textless programming for preschoolers, first graders and students of pedagogical universities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evolving quantum computer algorithms: A tutorial at the 2011 Genetic and Evolutionary Computation conference (GECCO 2011)

Evolving quantum computer algorithms: A tutorial at the 2011...

引用

13th Annual Genetic and Evolutionary Computation conference - Companion Publication, GECCO 2011 Companion

作者： Spector, Lee School of Cognitive Science Hampshire College Amherst MA 01002 United States

ISBN: (纸本)9781450306904

Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed and if the properties of these computers meet optimistic expectations. Nevertheless, computer scientists still lack a thorough understanding of the power of quantum computing, and it is not always clear how best to utilize the power that is understood. this dilemma exists because quantum algorithms are difficult to grasp and even more difficult to write. Despite large-scale international efforts, only a few important quantum algorithms are documented, leaving many essential questions about the potential of quantum algorithms unanswered. these unsolved problems are ideal challenges for the application of automatic programming technologies. Genetic programming techniques, in particular, have already produced several new quantum algorithms and it is reasonable to expect further discoveries in the future. these methods will help researchers to discover how additional practical problems can be solved using quantum computers, and they will also help to guide theoretical work on both the power and limits of quantum computing. this tutorial will provide an introduction to quantum computing and an introduction to the use of evolutionary computation for automatic quantum computer programming. No background in physics or in evolutionary computation will be assumed. While the primary focus of the tutorial will be on general concepts, specific results will also be presented, including human-competitive results produced by genetic programming. Follow-up material is available from the presenter's book, Automatic Quantum Computer programming: A Genetic programming Approach, published by Springer and Kluwer Academic Publishers. © 2011 Author.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：