the proceedings contain 14 papers. the special focus in this conference is on Agile Methods. the topics include: An empirical study on the adoption of agile software development in public organizations;using agile met...
ISBN:
(纸本)9783319559063
the proceedings contain 14 papers. the special focus in this conference is on Agile Methods. the topics include: An empirical study on the adoption of agile software development in public organizations;using agile methods in distributed software development environments;application of scrum maturity model in softdesign company;modeling in agile software development;strategies for reducing technical debt in agile teams;framework for applying TDD in the development of non-deterministic algorithms;invalidating ideas and discovering the problems that must be solved;IBM design thinking software development framework;using Monte Carlo simulation to predict project completion date;gamifying the scrum framework;motivating factors in agile and traditional software development methods and quality assurance in agile software development.
作者：
Kulikov, IgorRAS
Inst Computat Math & Math Geophys SB 6 th Lavrentyev Ave Novosibirsk Russia
the program code for modeling the processes of special relativistic hydrodynamics is briefly described in the paper. the code is based on the author's library IPANEMA (I'm parallel NEsted Mesh librAry) - the i...
详细信息
the program code for modeling the processes of special relativistic hydrodynamics is briefly described in the paper. the code is based on the author's library IPANEMA (I'm parallel NEsted Mesh librAry) - the implementation of nested grids for architectures with shared and distributed memory. A brief description of a subset of the library for working with shared memory is presented in the paper. the results of numerical simulation of the central interaction of a relativistic jet with a dense gas cloud at various jet speeds are presented. A jet moves through a dense uniform gas and collides with a gas cloud, whose density exceeds ten times the background gas. the mechanism of dense clouds destruction when exposed to it by a relativistic jet is presented.
One of the main challenges pertinent to Long Term Evolution (LTE) systems is the development of distributed and selforganized solutions for the Physical Cell Identities (PCIs) assignment problem. this challenge is the...
详细信息
ISBN:
(纸本)9781450316262
One of the main challenges pertinent to Long Term Evolution (LTE) systems is the development of distributed and selforganized solutions for the Physical Cell Identities (PCIs) assignment problem. this challenge is the focus of the paper, which highlights the state of art and investigates via simulation studies the performance of three well-known distributed approaches (the graph coloring approach, the LTE standard proposal and the NS approach) deploying several scenarios, namely static, growing and dynamic. Our simulation results show that the NS approach outperforms the two other studied schemes in all investigated scenarios: it reduces collisions by more than 70% and confusions by more than 40%. We also show that the deployment of eNBs significantly affects the performance of the PCI assignment approaches. the network converges to a steady state employing all studied approaches deploying the static and growing scenarios. However, there is no guarantee to reach a steady state when deploying the dynamic scenario. In fact, this depends on the degree of dynamic the network has. the higher the dynamic degree, the higher is the probability that the system transits into an unstable state. Our results show that the probability of experiencing confusions when deploying the dynamic scenario is 0.45, 0.57 and 0.57 when operating the LTE proposal, the graph coloring and the NS approach, respectively. Our studies conclude that considerable developments to the approaches must be achieved to cope with dynamic scenarios.
A massively parallel processor called JUMP-I has been developed to build an efficient cache coherent-distributed shared memory (DSM) on a large system with more than 1000 processors. Here, the dedicated processor call...
详细信息
ISBN:
(纸本)0769500870
A massively parallel processor called JUMP-I has been developed to build an efficient cache coherent-distributed shared memory (DSM) on a large system with more than 1000 processors. Here, the dedicated processor called MBP (Memory Based Processor) -light to manage the DSM of JUMP-I is introduced, and its preliminary performance with two protocol policies -update/invalidate- is evaluated. From results of its simulation, it appears that simple operations like the tag check and the collection/generation of acknowledgment packets are mostly processed by the hardware mechanisms in MBP-light without aids of the core processor with both policies. Also, the buffer-register architecture adopted by the core processor in MBP-light is exploited enough to process a protocol transaction for both policies.
In this paper we present a simulation environment for storage area networks called SIMLAB. SIMLAB is a part of the PRESTO project, which is a joint project of the Electrical Engineering Department and the Computer Sci...
详细信息
Many software projects today are executed geographically distributed with teams of developers, designers, testers, etc. in different countries all over the globe. this requires a development environment that allows ea...
ISBN:
(纸本)9789898111906
Many software projects today are executed geographically distributed with teams of developers, designers, testers, etc. in different countries all over the globe. this requires a development environment that allows easy and flexible adaptation to different kinds of teams and their processes. this paper presents an architecture for a distributed software development environment, that allows users to collaborate on flexible processes. the focus is put on providing distributed tools and organising the processes needed to successfully produce software withthese tools.
the proceedings contain 32 papers. the topics discussed include: slightly-off-specification failures in the time-triggered architecture;high-level design verification using Taylor expansion diagrams: first results;che...
ISBN:
(纸本)0780376552
the proceedings contain 32 papers. the topics discussed include: slightly-off-specification failures in the time-triggered architecture;high-level design verification using Taylor expansion diagrams: first results;checking temporal properties in SystemC specifications;high level validation of next-generation microprocessors;top-level validation of systems on chips in Esterel studio;practical experiences in functional simulation an integrated method from unit to co-simulation;formal analysis and validation of continuous-time Markov chain based system level power management strategies;setting break-points in distributed time-triggered architecture;a hierarchical approach for designing dependable systems;and generating concurrent test-programs with collisions for multi-processor verification.
Interface automata is a light-weight formalism to be used for describing the temporal interface behaviors of software components. this paper investigates the refinement of interface automata and shows its application ...
详细信息
ISBN:
(纸本)3540297979
Interface automata is a light-weight formalism to be used for describing the temporal interface behaviors of software components. this paper investigates the refinement of interface automata and shows its application to serve as a semantic foundation for software architectural description languages. Firstly, inspired by 2/3 simulation, the 2/3 alternating simulation between interface automata is presented, and the corresponding refinement relation is also derived between interface automata. the distinguished feature is that it can preserve dead lock-freedom. then, a concise formal semantics is provided for the architectural description language WRIGHT, based on interface automata, where the checking of compatibility and deadlock-freedom becomes simpler.
In most of mapping Algorithms for application in HDC, the Alhusaini's method is one of the most important Algorithms. However, we find there are some weaknesses in Alhusaini's method though the experiments and...
详细信息
ISBN:
(纸本)9783540729044
In most of mapping Algorithms for application in HDC, the Alhusaini's method is one of the most important Algorithms. However, we find there are some weaknesses in Alhusaini's method though the experiments and analysis. So, we propose a two-phase algorithm called 2-phases dynamic resource co-allocation algorithm (2PDRCA) based on Alhusaini's method. the first phase only generates the data that will be used in the second phase. the second phase will selected a set of independent tasks and allocate according to the weight of each task in our method. the simulation results show that the method is effective, and solves the problem such as Low efficiency of Alhusaini's method in communication intension application.
this is the proceedings of IFToMM CK 2017, the 7th International workshop on Computational Kinematics that was held in Futuroscope-Poitiers, France in May 2017. Topics treated include: kinematic design and synthesis, ...
ISBN:
(纸本)9783319608662
this is the proceedings of IFToMM CK 2017, the 7th International workshop on Computational Kinematics that was held in Futuroscope-Poitiers, France in May 2017. Topics treated include: kinematic design and synthesis, computational geometry in kinematics, motion analysis and synthesis, theory of mechanisms, mechanism design, kinematical analysis of serial and parallel robots, kinematical issues in biomechanics, molecular kinematics, kinematical motion analysis and simulation, geometric constraint solvers, deployable and tensegrity structures, robot motion planning, applications of computational kinematics, education in computational kinematics, and theoretical foundations of kinematics. Kinematics is an exciting area of computational mechanics and plays a central role in a great variety of fields and industrial applications nowadays. Apart from research in pure kinematics, the field deals with problems of practical relevance that need to be solved in an interdisciplinary manner in order for new technologies to develop. the results presented in this book should be of interest for practicing and research engineers as well as Ph.D. students from the fields of mechanical and electrical engineering, computer science, and computer graphics.
暂无评论