![]() |
A Concurrency and Time Centered Framework for Autonomous Space Systems
ISBN: 9783838377339 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the most critical notions in an autonomous embedded system. In this work we present the design and implementation of the first concurrency and time centered framework for design and certification of autonomous space systems. We achieve this by implementing and applying a number of innovative techniques for lock-free concurrent synchronization and utilizing advanced program static analysis and formal verification.
Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the ...
|
cena:
304,16 |
![]() |
Explicit and Implicit Parallel Functional Programming
ISBN: 9783838378992 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
304,16 |
![]() |
Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF
ISBN: 9783838311982 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Pure Lucid programs are concurrent with very fine granularity. Sequential threads (ST) are procedures introduced to enlarge the grain size; they are passed from a server to workers by communication procedures (CP) in the General Intensional Programming System (GIPSY). A JLucid program combines Java code for the STs with Lucid code for parallel control and also introduces array support. Furthermore, we go through some additional transformations to the Lucid family of languages to enable the use of Java objects and their members: first, in the form of JLucid allowing the use of pseudo-objects,...
Pure Lucid programs are concurrent with very fine granularity. Sequential threads (ST) are procedures introduced to enlarge the grain size; they are p...
|
cena:
353,37 |
![]() |
stOMP: A Specializing Threads Library for OpenMP
ISBN: 9783838303239 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While runtime compilation has in practice been largely restricted to programming languages that execute on virtual machines, such as Java and C#, parallel OpenMP programs show many promising traits for efficient and effective runtime optimization. This work introduces stOMP: a specializing thread-library for OpenMP. Using a combined compile-time and run-time system, stOMP specializes OpenMP parallel regions for frequently-seen values and the configuration of the runtime system. We present a detailed description of the system, focusing on the optimizations implemented and techniques to...
While runtime compilation has in practice been largely restricted to programming languages that execute on virtual machines, such as Java and C#, para...
|
cena:
219,18 |
![]() |
Managing Active Object Scalability on Distributed Memory
ISBN: 9783838307282 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The de-facto standard for programming distributed memory parallel architectures are the PVM and MPI message passing libraries. Their low level of abstraction makes the programmers task error-prone and reduces application portability. SODA is a novel programming model that presents a much higher level of abstraction and manages most low-level distribution and parallelism details implicitly. SODA is based on an extension of the active objects paradigm. This work is structured into two main parts. In the first part we present a novel data-flow synchronisation mechanism for active objects that...
The de-facto standard for programming distributed memory parallel architectures are the PVM and MPI message passing libraries. Their low level of abst...
|
cena:
353,37 |
![]() |
Variant Handling Using Zac
ISBN: 9783838341033 / Angielski / Miękka / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The objective of this book is to support software decision makers in handling additional software complexity introduced by product line architectures. This book is about to discuss the scientific research and development work done in managing variable behavior of traditional and Product Line Architecture based software applications by analyzing their preprocessed source code with the use of Metrics. In order to meet the objectives an approach to analyze, visualize, and measure the Product Line specific characteristics of the C/C++ source code has been proposed i.e., Zeeshan Ahmed...
The objective of this book is to support software decision makers in handling additional software complexity introduced by product line architectures....
|
cena:
219,18 |
![]() |
Computerization of a Live System
ISBN: 9783838342795 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will enable to have an idea of turning a manual system into a computerized one. It contains user manual with it's programming language(codings). It is a computerized operation for a video club system that shows how data can be processed, easy editing interfaces, data manipulations and sorting. This project has undergone further testing, researches and experiments. Programming Language used in this situation is Visual Basic. It is an analysed system, with full explanations and testing. This research contributes a lot in my current degree course.
This book will enable to have an idea of turning a manual system into a computerized one. It contains user manual with it's programming language(codin...
|
cena:
304,16 |
![]() |
Turning It to Easy Mode: Computerization
ISBN: 9783838342979 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computerization has brought us so much comfort in our lives that we remain indebted to it's results. Processes are done in a most accurate and time saving way. Computerization of Payroll System has reduced errors in salary payments, bill generation and most appropriate data saving. The manipulation of data can be rectified in many cases by switching from manual to computerized systems. This project may help you having an idea of how a payroll system works and a most convenient and less time consumer way to turn it to a computerized one.
Computerization has brought us so much comfort in our lives that we remain indebted to it's results. Processes are done in a most accurate and time sa...
|
cena:
219,18 |
![]() |
Learning Computer Languages to Rise Computerization
ISBN: 9783838342993 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This research was done full of devotion and high attitude. It describes you about the transactions of a video club. Indeed to our great pleasure this research has been a success since it has emerged as the best solution for the video club. Through this work you shall be able to view and learn about some basic facts of this programming language and understand the concept through which this video club works. Hopefully no one who takes on this work will ever view computers in the same way again.
This research was done full of devotion and high attitude. It describes you about the transactions of a video club. Indeed to our great pleasure this ...
|
cena:
353,37 |
![]() |
Messenger-Pigeon
ISBN: 9783838391311 / Angielski / Miękka / 68 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Messenger-Pigeon is an application developed in Java platform programming language as on purpose of no additional requirements of library or platform independence. Different LAN Chatting applications are developed in different programming languages, with different ways, interfaces and usage availabilities. Messenger-Pigeon is an application with client-server software architecture. The interface it is very simple and easy to use for all different ages. It is simple and easy of configuration and setup the server with the two different database sources (ODBC and MySQL). Messenger-Pigeon as an...
Messenger-Pigeon is an application developed in Java platform programming language as on purpose of no additional requirements of library or platform ...
|
cena:
219,18 |
![]() |
Easy C/C++
ISBN: 9783844384338 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
353,37 |
![]() |
Modeling Web Application Components
ISBN: 9783844387636 / Angielski / Miękka / 68 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main motivation of this work is to present the component based development methodologies for the web components residing at the presentation tier. Java Enterprise Edition architecture introduced JSF lately, which is a nice move towards the "componentization" of the web applications. Web applications being very interactive, need more focus towards the presentation tier. Through this study we have presented two metamodels: one targeting the existing state of the art, while other is our proposed solution to the optimization of the meta-model for web components.
The main motivation of this work is to present the component based development methodologies for the web components residing at the presentation tier....
|
cena:
219,18 |
![]() |
How to Think Like a Computer Programmer
ISBN: 9783845423746 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Professional C++ is an approach to C++ programming that will both increase the quality of your code and improve your programming efficiency. Professional C++ teaches more than just the syntax and language features of C++. This C++ reference is designed for all C++ programmers, regardless of their experience level. It does assume, however, a reader able to create at least a simple program. If you are just learning C++, this book will make an excellent companion to any C++ tutorial and serve as a source of answers to your specific questions. Experienced C++ pros will find the coverage of the...
Professional C++ is an approach to C++ programming that will both increase the quality of your code and improve your programming efficiency. Professio...
|
cena:
353,37 |
![]() |
Scheduling on Cyclo Static Data Flow Graphs
ISBN: 9783838373843 / Angielski / Miękka / 88 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Book main objective is to present differentalgorithms for showing how to schedule cyclo staticdata flow graphs(CSDFGs) which are used to representdigital signal processing applications and tooptimize their schedules. We present an iterationbound equation for CSDFGs and equation for checkingthe liveness of a CSDFG which is a key factor forconstructing a static schedule. Optimizing theschedule is also explained by designing rotationscheduling algorithm which continuously applies thedown rotate operation on the given CSDFG for aconstant number of times, which is determinedexperimentally.
This Book main objective is to present differentalgorithms for showing how to schedule cyclo staticdata flow graphs(CSDFGs) which are used to represen...
|
cena:
219,18 |
![]() |
A Distributed Tuple Space for Scalable Scientific Computing
ISBN: 9783843383899 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This publication describes Tupleware, an implementation of a distributed tuple space which acts as a scalable and efficient middleware for computationally intensive numerical and scientific applications. Tupleware is based on the Linda coordination language introduced by David Gelernter in 1985, and incorporates additional techniques such as peer-to-peer communications and exploitation of data locality in order to address problems such as scalability and performance, which are commonly encountered by traditional centralised tuple space implementations. Furthermore, unlike some...
This publication describes Tupleware, an implementation of a distributed tuple space which acts as a scalable and efficient middleware for computat...
|
cena:
304,16 |
![]() |
Cell Processor Based Sequence Alignment
ISBN: 9783844319187 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The project focuses on using the capabilities of Cell processor for computing sequence alignments. In order to achieve this, existing algorithms used for sequence alignment need to be rewritten so that they could be efficiently executed on Cell processor. This process involves making use of two main features of Cell processors - parallelisation and vectorisation, which ensure achieving maximum performance. Two main algorithms for sequence alignment to be analyzed in this project are Needleman-Wunsch (for global sequence alignment) and Smith-Waterman (for local sequence alignment) algorithm....
The project focuses on using the capabilities of Cell processor for computing sequence alignments. In order to achieve this, existing algorithms used ...
|
cena:
304,16 |
![]() |
Embedded Systems
ISBN: 9783838335520 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An embedded system is a special-purpose computer system designed to perform one or a few dedicated functions, often with real-time computing constraints. It is usually embedded as part of a complete device including hardware and mechanical parts. In contrast, a general-purpose computer, such as a personal computer, can do many different tasks depending on programming. Embedded systems control many of the common devices in use today
An embedded system is a special-purpose computer system designed to perform one or a few dedicated functions, often with real-time computing constrain...
|
cena:
219,18 |
![]() |
Entwicklung einer Komponente zur automatisierten Adaption von Workflows
ISBN: 9783640892419 / Niemiecki / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diplomarbeit aus dem Jahr 2010 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,0, Universitat Trier, Sprache: Deutsch, Abstract: Die Bedeutung der Prozessorganisation von Unternehmen wird in den kommenden Jahren nicht nur erhalten bleiben, sondern groer werden. Denn die Grunde, die zu einer intensiveren Auseinandersetzung mit den Prozessen gefuhrt haben, werden nicht wegfallen, sondern sich eher noch verstarken Wi07]. Diese Arbeit beschaftigt sich mit dem Problem, dass solche etablierten und standardisierten Prozesse fehlerhaft sein konnen oder geandert werden mussen, weil sich...
Diplomarbeit aus dem Jahr 2010 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,0, Universitat Trier, Sprache: Deutsch, Abstract: Die Bedeut...
|
cena:
311,15 |
![]() |
Analyse der Einführung von Mobile Ticketing im deutschen Regional- und Fernverkehr
ISBN: 9783640895823 / Niemiecki / Miękka / 60 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Projektarbeit aus dem Jahr 2009 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 2,0, Otto-Friedrich-Universitat Bamberg (Lehrstuhl fur Wirtschaftsinformatik, insbes. Industrielle Anwendungssysteme), Sprache: Deutsch, Abstract: Mobiltelefone sind zu standigen Begleitern des modernen Menschen geworden. Mit ihrer groen Verbreitung und Leistungsfahigkeit eroffnen sich auch dem Mobile Business groe Zukunftschancen. Das Mobile Ticketing gehort zu den zentralen Bausteinen des M-Business bzw. M-Commerce. Dabei werden Eintrittskarten fur Veranstaltungen oder Fahrscheine fur den offentlichen...
Projektarbeit aus dem Jahr 2009 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 2,0, Otto-Friedrich-Universitat Bamberg (Lehrstuhl fur Wirtsc...
|
cena:
204,33 |
![]() |
Recommendersysteme in Software Shops für mobile Plattformen (SwSmP): Empfehlung von Applikationen aufgrund kontextsensitiver Informationen
ISBN: 9783640898800 / Niemiecki / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Masterarbeit aus dem Jahr 2011 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Otto-Friedrich-Universitat Bamberg (Lehrstuhl fur Angewandte Informatik / Kooperative Systeme), Sprache: Deutsch, Abstract: Die fortschreitende Entwicklung von mobilen Endgeraten wie Personal Digital Assistants (PDAs) und Smartphones ermoglicht einen immer weiter gehenden Einsatz fur Aufgaben im beruflichen und privaten Umfeld von Benutzern. (Kleine) Anwendungen fur diese mobilen Endgerate werden kurz auch als "App" bezeichnet und konnen uber Software Shops der verschiedenen Plattformen einfach...
Masterarbeit aus dem Jahr 2011 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,3, Otto-Friedrich-Universitat Bamberg (Lehrstuhl fur Angewan...
|
cena:
455,20 |