Model-Based Methodologies for Pervasive and Embedded Software

Model-Based Methodologies for Pervasive and Embedded Software
Author: Ricardo J. Machado
Publisher: Springer
Total Pages: 146
Release: 2013-11-18
Genre: Computers
ISBN: 3642382096

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

Software Engineering Research, Management and Applications

Software Engineering Research, Management and Applications
Author: Roger Lee
Publisher: Springer
Total Pages: 251
Release: 2009-01-29
Genre: Technology & Engineering
ISBN: 3540705619

The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held in Prague in the Czech Republic on August 20 – 22. SERA ’08 featured excellent theoretical and practical contributions in the areas of formal methods and tools, requirements engineering, software process models, communication systems and networks, software quality and evaluation, software engineering, networks and mobile computing, parallel/distributed computing, software testing, reuse and metrics, database retrieval, computer security, software architectures and modeling. Our conference officers selected the best 17 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members or the program committee, and underwent further rounds of rigorous review.

Algorithm-Architecture Matching for Signal and Image Processing

Algorithm-Architecture Matching for Signal and Image Processing
Author: Guy Gogniat
Publisher: Springer Science & Business Media
Total Pages: 298
Release: 2010-10-20
Genre: Technology & Engineering
ISBN: 9048199654

Advances in signal and image processing together with increasing computing power are bringing mobile technology closer to applications in a variety of domains like automotive, health, telecommunication, multimedia, entertainment and many others. The development of these leading applications, involving a large diversity of algorithms (e.g. signal, image, video, 3D, communication, cryptography) is classically divided into three consecutive steps: a theoretical study of the algorithms, a study of the target architecture, and finally the implementation. Such a linear design flow is reaching its limits due to intense pressure on design cycle and strict performance constraints. The approach, called Algorithm-Architecture Matching, aims to leverage design flows with a simultaneous study of both algorithmic and architectural issues, taking into account multiple design constraints, as well as algorithm and architecture optimizations, that couldn’t be achieved otherwise if considered separately. Introducing new design methodologies is mandatory when facing the new emerging applications as for example advanced mobile communication or graphics using sub-micron manufacturing technologies or 3D-Integrated Circuits. This diversity forms a driving force for the future evolutions of embedded system designs methodologies. The main expectations from system designers’ point of view are related to methods, tools and architectures supporting application complexity and design cycle reduction. Advanced optimizations are essential to meet design constraints and to enable a wide acceptance of these new technologies. Algorithm-Architecture Matching for Signal and Image Processing presents a collection of selected contributions from both industry and academia, addressing different aspects of Algorithm-Architecture Matching approach ranging from sensors to architectures design. The scope of this book reflects the diversity of potential algorithms, including signal, communication, image, video, 3D-Graphics implemented onto various architectures from FPGA to multiprocessor systems. Several synthesis and resource management techniques leveraging design optimizations are also described and applied to numerous algorithms. Algorithm-Architecture Matching for Signal and Image Processing should be on each designer’s and EDA tool developer’s shelf, as well as on those with an interest in digital system design optimizations dealing with advanced algorithms.

Advances in Information Systems and Technologies

Advances in Information Systems and Technologies
Author: Álvaro Rocha
Publisher: Springer Science & Business Media
Total Pages: 1143
Release: 2013-03-14
Genre: Technology & Engineering
ISBN: 3642369812

This book contains a selection of articles from The 2013 World Conference on Information Systems and Technologies (WorldCIST'13), a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the several perspectives of Information Systems and Technologies. The main topics covered are: Information and Knowledge Management; Organizational Models and Information Systems; Intelligent and Decision Support Systems; Software Systems, Architectures, Applications and Tools; Computer Networks, Mobility and Pervasive Systems; Radar Technologies; and Human-Computer Interaction.

Model-Driven Domain Analysis and Software Development: Architectures and Functions

Model-Driven Domain Analysis and Software Development: Architectures and Functions
Author: Osis, Janis
Publisher: IGI Global
Total Pages: 518
Release: 2010-10-31
Genre: Computers
ISBN: 161692876X

"This book displays how to effectively map and respond to the real-world challenges and purposes which software must solve, covering domains such as mechatronic, embedded and high risk systems, where failure could cost human lives"--Provided by publisher.

An Approach for Guiding Developers to Performance and Scalability Solutions

An Approach for Guiding Developers to Performance and Scalability Solutions
Author: Heger, Christoph
Publisher: KIT Scientific Publishing
Total Pages: 390
Release: 2018-09-05
Genre: Electronic computers. Computer science
ISBN: 373150698X

The quality of enterprise software applications plays a crucial role for the satisfaction of the users and the economic success of the enterprises. Software applications with unsatisfying performance and scalability are perceived by its users as low in quality, as less interesting and less attractive, and cause frustration when preventing the users from attaining their goals. This book proposes an approach for a recommendation system that enables developers who are novices in software perform.