Multi-processor system-on-chip (MPSoC) technology is finding widespread application in the embedded system domain, like in cell phones, automotive control units or avionics. Once deployed in field, these devices alway...
详细信息
ISBN:
(纸本)9783540899815
Multi-processor system-on-chip (MPSoC) technology is finding widespread application in the embedded system domain, like in cell phones, automotive control units or avionics. Once deployed in field, these devices always run the same set of applications, in a well-characterized context. It is therefore possible to spend a large amount of time for off-line software optimization and then deploy the results on the field. Each possible set of applications that can be active simultaneously in an MPSoC platform leads to a different use-case that the system has to be verified and tested for. Above all, smooth switching between use-cases falls within the scope of the resource manager, since users should not experience artifacts or delays when a transition between any two consecutive use-cases takes place. In this paper, we propose a semi-static approach to the resource management problem, where the allocation and scheduling solutions for the tasks in each use-case are computed off-line via a Logic Based Benders Decomposition approach using Constraint programming and stored for use in run-time mapping decisions. the solutions are logically organized in a lattice, so that the transition costs between any two consecutive use-cases can be bound. the resulting framework exhibits both a high level of flexibility and orders of magnitude speed ups w.r.t. monolithic approaches that do not exploit decomposition
Software frameworks enable modular, large-scale reuse by both providing a core architecture addressing recurring concerns in a certain domain and a set of variability options. However, the high volatility of requireme...
详细信息
ISBN:
(纸本)9780769530918
Software frameworks enable modular, large-scale reuse by both providing a core architecture addressing recurring concerns in a certain domain and a set of variability options. However, the high volatility of requirements nowadays often imposes a number of framework changes with an architecture-wide impact. In order to avoid the framework design erosion, the modularity and stability of its core architecture implementation must be preserved. With aspect-oriented programming (AOP) promising superior software evolvability, there is a need for verging its efficacy to enhance or not framework architecture stability. this paper presents a systematic case study where we have compared the evolution of OO and aspectual versions of a code mobility framework, called MobiGrid Our analysis was driven by the application of heterogeneous evolutionary changes to MobiGrid, such as feature extensions and compositions with a second framework. Our analysis is also rooted at a comprehensive suite of conventional quantitative stability and modularity indicators.
System modeling, analysis and visualization are becoming a common practice for the design of distributed intelligent systems since the wide adoption of the Unified Modeling Language (UML). However, UML cannot;describe...
详细信息
ISBN:
(纸本)9783540886358
System modeling, analysis and visualization are becoming a common practice for the design of distributed intelligent systems since the wide adoption of the Unified Modeling Language (UML). However, UML cannot;describe important behavioral properties such as context awareness as required for ubiquitous computing. In this paper, we present Context, Aware UML Sequence diagrams (CA UML-S), an experimental visual programming language that extends UML sequence diagrams with data/object spaces to represent computational context awareness. the programming language provides the means to describe the event-condition-action (ECA) rules that govern complex nomadic user behavior and to visualize their effect. the ECA rules are compiled into common concurrent programming abstractions by introducing structuring notions of object creation, synchronization, and communication, along with sequential and selective composition of simpler rules. the contribution of this work is in Providing programming abstractions that facilitate the design of context-aware applications for ubiquitous and nomadic computing.
this paper utilizes Genetic programming(GP) and Genetic Algorithm(GA) to analyze experiment data. the purpose of this research is to establish a function model of the data. the core methodology of this research is usi...
详细信息
ISBN:
(纸本)9780878493999
this paper utilizes Genetic programming(GP) and Genetic Algorithm(GA) to analyze experiment data. the purpose of this research is to establish a function model of the data. the core methodology of this research is using GP to get the approximate model first, and then optimizes the parameters and enhance the fitness value of the model by using GA. To validate this method, two examples are given: one is the reconstruction of permeability-strain equation of the rock in literature[l];another example is the function search automatically of the wire cable isolator experiment data. In the process of programming of parse tree, this paper adopted a new way that different from three traditional methods, the parse tree is described by matrix of special size, more significantly, this new method makes the genetic operation of crossover and mutation intuitionstic, even the pellucid Matlab programming language could implement it.
this poster presents a programmatic interface (SKOS API) and plugin for Protégé 4 for editing and working withthe Simple Knowledge Organisation System (SKOS). the SKOS API has been designed to work with SKO...
详细信息
this poster presents a programmatic interface (SKOS API) and plugin for Protégé 4 for editing and working withthe Simple Knowledge Organisation System (SKOS). the SKOS API has been designed to work with SKOS models at a high level of abstraction to aid developers of applications that use SKOS. We discuss SKOSEd, a tool for authoring and editing SKOS artefacts. A key aspect to the design of the API and editor is how SKOS relates to OWL and what existing OWL infrastructure can be exploited to work with SKOS.
the proceedings contain 15 papers. the special focus in this conference is on Rewriting Logic and Its Applications. the topics include: Rewriting logic specification of membrane systems with promoters and inhibitors;s...
the proceedings contain 15 papers. the special focus in this conference is on Rewriting Logic and Its Applications. the topics include: Rewriting logic specification of membrane systems with promoters and inhibitors;strategy-based proof calculus for membrane systems;hierarchical design rewriting with Maude;a declarative debugger for Maude functional modules;a guide to extending full Maude illustrated withthe implementation of real-time Maude;variant narrowing and equational unification;patterns for Maude metalanguage applications;equational abstractions for reducing the state space of rewrite theories;memory representations in rewriting logic semantics definitions;proof search for the first-order connection calculus in Maude;operational termination of membership equational programs;a rewriting semantics for Maude strategies;implementing and analyzing in Maude the enhanced interior gateway routing protocol and combining techniques to reduce state space and prove strong properties.
Over-the-air programming (OAP) is a fundamental service in sensor networks that relies upon reliable broadcast for efficient dissemination. As such, existing OAP protocols become decidedly inefficient (with respect to...
详细信息
ISBN:
(纸本)9780769531571
Over-the-air programming (OAP) is a fundamental service in sensor networks that relies upon reliable broadcast for efficient dissemination. As such, existing OAP protocols become decidedly inefficient (with respect to energy, communication or delay) in unreliable broadcast environments, such as those with relatively high node density or noise. In this paper, we consider OAP approaches based on rateless codes, which significantly improve OAP in such environments by drastically reducing the need for packet rebroadcasting. We thus design and implement two rateless OAP protocols, rateless Deluge and ACKless Deluge, both of which replace the data transfer mechanism of the established OAP Deluge protocol with rateless analogs. Experiments with Tmote Sky motes on single-hop networks with packet loss rates of 7% show these protocols to save significantly in communication over regular Deluge (roughly 15-30% savings in the data plane, and 50-80% in the control plane), and multi-hop experiments reveal similar trends. Simulations further shows that our new protocols scale better than standard Deluge (in terms of communication and energy) to high network density. TinyOS code for our implementation can be found at http://***.
the proceedings contain 43 papers. the topics discussed include: on a hybrid symbolic-connectionist approach for modeling the kinematic robot map - and benchmarks for computer algebra;applying link grammar formalism i...
详细信息
ISBN:
(纸本)3540851097
the proceedings contain 43 papers. the topics discussed include: on a hybrid symbolic-connectionist approach for modeling the kinematic robot map - and benchmarks for computer algebra;applying link grammar formalism in the development of English-Indonesian machine translation system;case studies in model manipulation for scientific computing;mechanising a proof of Craig's interpolation theorem for intuitionistic logic in nominal Isabelle;ASIC meets natural typography;the monoids of order eight and nine;extending graphical representations for compact closed categories with applications to symbolic quantum computation;a full first-order constraint solver for decomposable theories;search techniques for rational polynomial orders;strategies for solving sat in grids by randomized search;towards an implementation of a computer algebra system in a functional language;and automated model building: from finite to infinite models.
We present two methods to represent and use parameterised indexed FOR-loops in genetic programming. they are tested on learning the repetitive unit of regular binary pattern strings to reproduce these patterns to user...
详细信息
ISBN:
(纸本)9783540896937
We present two methods to represent and use parameterised indexed FOR-loops in genetic programming. they are tested on learning the repetitive unit of regular binary pattern strings to reproduce these patterns to user specified arbitrary lengths. Particularly, we investigate the effectiveness of low-level and high-level functions inside these loops for the accuracy and the semantic efficiency of solutions. We used 5 test cases at increasing difficulty levels and our results show the high-level approach producing solutions in at least 19% of the runs when the low-level approach struggled to produce any in most cases.
Educational game, motivates learners, is full of entertaining. Learners can practice and challenge themselves in an interactive game. In order to become formal tools in everyday teaching/learning process, we create Bo...
详细信息
ISBN:
(纸本)9783540850328
Educational game, motivates learners, is full of entertaining. Learners can practice and challenge themselves in an interactive game. In order to become formal tools in everyday teaching/learning process, we create Bomberman game which is included most concepts in introductory C programming language. It brings modem education concept in concert withthe classical teaching and laboratory work. Learners can view the learning materials, reading/writing C codes, solving problems with C codes to control the movement of the Bomberman accompany with game music. Bomberman game combines continuous challenge, interesting storyline, fun and realism. this vivid learning environment can engage students spending their precious time for extensive practice since students have highly motivation to win the game. We hope that we have shown a new method for educational practice with game-based digital learning for teaching C programming course.
暂无评论