In the era of e-services such as e-learning, e-government, e-business, etc. enhancing such services and adapting them to one's personal needs is a very promising way for the user to benefit even further from them....
详细信息
ISBN:
(纸本)9789898425157
In the era of e-services such as e-learning, e-government, e-business, etc. enhancing such services and adapting them to one's personal needs is a very promising way for the user to benefit even further from them. As a step forward in the development of adaptive learning systems with integrated game elements it is first necessary to review different types of games and their characteristics. Moreover, it is important to take into account gaming styles as well as to summarize the processes of learning and playing by mapping learning styles corresponding to different gaming styles. This paper attempts to investigate and describe different gaming issues as a first step toward building a software framework for the integration of game elements utilized in e-learning.
Utilizing virtualization technology to combine real-time operating system (RTOS) and off-the-shelf time-sharing general purpose operating system (GPOS) is attracting much more interest recently. Such combination has t...
详细信息
This special session aims to introduce to the hardware/software codesign community challenges and opportunities in designing high performance computing (HPC) systems. Though embedded system design and HPC system desig...
详细信息
The aim of our research is to find a suitable RE process to be applied in our organisation for the development of software projects. We identified the actor and their roles through the relation practice while implemen...
详细信息
The aim of our research is to find a suitable RE process to be applied in our organisation for the development of software projects. We identified the actor and their roles through the relation practice while implementing the RE process. In order to redefine the RE process, good analysis skill is needed besides having a good understanding of the RE process itself. We believe that our experince can be understood and used by other reseachers.
Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high- level inconsistency between textual requirements, abstract interactio...
详细信息
From the strong point of XML that allows document owners to describe their documents in their own format, it is difficult to search information if those XML documents use different formats. Moreover, users might not r...
详细信息
ISBN:
(纸本)9781424455690
From the strong point of XML that allows document owners to describe their documents in their own format, it is difficult to search information if those XML documents use different formats. Moreover, users might not retrieve all relevant information from differently formatted XML documents. To allow users to retrieve all relevant results, users need to have as many as queries for all possible formats. SXER (Semantic Ranking for XML Element Recommendation) is an idea to make XML documents easier for searching. It receives XML document as an input, checks all possible semantics for each element, and checks those semantic elements to find which element (word) should be used. The output is a recommendation for each element of input XML document.
In a publish/subscribe (pub/sub) system, information (referred to as events) published by publishers and interests submitted by subscribers are sent to the network, which conducts matching between events and interests...
详细信息
In a publish/subscribe (pub/sub) system, information (referred to as events) published by publishers and interests submitted by subscribers are sent to the network, which conducts matching between events and interests, and only delivers those events satisfying the interests. When the pub/sub infrastructure is untrusted, it is often desirable to keep both events and interests secret from the pub/sub network. In this paper, we formulate this goal as the private subscription problem. We then describe cryptographic schemes to solve this problem in some types of publish/subscribe systems. The algorithms we present are efficient in that they are based on symmetric encryptions requiring O(n) cipher operations for a message of length n.
Power and fault tolerance are deemed to be two orthogonal optimization objectives in FPGA synthesis, with independent attempts to develop algorithms and CAD tools to optimize each objective. In this paper, we study th...
详细信息
ISBN:
(纸本)9781424481927
Power and fault tolerance are deemed to be two orthogonal optimization objectives in FPGA synthesis, with independent attempts to develop algorithms and CAD tools to optimize each objective. In this paper, we study the relationship between these two optimizations and show empirically that there are strong ties between them. Specifically, we analyze the power and reliability optimization problems in FPGA physical synthesis (i.e., packing, placement, and routing), and show that the intrinsic structures of these two problems are very similar. Supported by the post routing results with detailed power and reliability analysis for a wide selection of benchmark circuits, we show that with minimal changes - fewer than one hundred lines of C code - an existing power-aware physical synthesis tool can be used to minimize the fault rate of a circuit under SEU faults. As a by-product of this study, we also show that one can improve the mean-time-to-failure by 100% with negligible area and delay overhead by performing fault-tolerant physical synthesis for FPGAs. The results from this study show a great potential to develop CAD systems co-optimized for power and fault-tolerance.
This paper addresses the implementation of a video player on an embedded asymmetric, dual-core architecture with the two cores having significantly different performances. The paper proposes a new parallelization appr...
详细信息
This paper addresses the implementation of a video player on an embedded asymmetric, dual-core architecture with the two cores having significantly different performances. The paper proposes a new parallelization approach that effectively handles the issues of load balancing and inter-core communication. Load balancing is based upon a coarse-grained strategy at the function level where the two cores are decoupled such that each core runs without being blocked waiting for the other. Inter-core communication is implemented through shared memory, and client stub and server skeleton functions for every remote procedure call. Optimization techniques are proposed to address the issues of memory contention between the two cores, inefficient utilization of cache memory, impact of branching instructions, intensive mathematical and data exchange functions, inefficient array access parallelization, and the dynamic memory allocation and re-allocation. The video player is implemented on Texas Instruments's DM6446 digital media evaluation module with ARM and DSP cores. It is demonstrated that with the proposed parallelization and optimization, the player is capable of playing smoothly H.264 Baseline profile and Xvid video files with 640×480 resolutions at 25 frames per second.
暂无评论