![]() |
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, the Netherlands, January 8-10, 1992. Proceedings
ISBN: 9783540550921 / Angielski / Miękka / 628 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.
Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event model...
|
cena:
408,20 |
![]() |
Architecting Dependable Systems III
ISBN: 9783540289685 / Angielski / Miękka / 343 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. This book comes as a result of an effort to bring together the research communities of software architectures and dependability. This state-of-the-art survey contains 16 carefully selected papers originating from the Twin Workshops on Architecting Dependable Systems (WADS 2004) accomplished as part of the... As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be consi... |
cena:
204,08 |
![]() |
Advances in Computer Systems Architecture: 10th Asia-Pacific Conference, Acsac 2005, Singapore, October 24-26, 2005, Proceedings
ISBN: 9783540296430 / Angielski / Miękka / 834 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2005, held in Singapore in October 2005. The 65 revised full papers presented were carefully reviewed and selected from 173 submissions. The papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable...
This book constitutes the refereed proceedings of the 10th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2005, held in Singapore in Oct...
|
cena:
408,20 |
![]() |
Computer Aided Systems Theory - Cast '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers
ISBN: 9783540614784 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994.
The 31 full papers included in the book were chosen from originally 82 submissions and reflect the state of the art in the area of computer aided systems theory. The volume is divided into sections on foundations, methods, and tools and environments. This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Sy...
|
cena:
204,08 |
![]() |
High Performance Embedded Architectures and Compilers: Fourth International Conference, Hipeac 2009
ISBN: 9783540929895 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2009, held in Paphos, Cyprus, in January 2009. The 27 revised full papers presented together with 2 invited keynote paper were carefully reviewed and selected from 97 submissions. The papers are organized in topical sections on dynamic translation and optimisation, low level scheduling, parallelism and resource control, communication, mapping for CMPs, power, cache issues as well as parallel embedded applications.
This book constitutes the refereed proceedings of the Fourth International Conference on High Performance Embedded Architectures and Compilers, HiPEAC...
|
cena:
204,08 |
![]() |
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming
ISBN: 9781402017278 / Angielski / Twarda / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modem computer systems possess two main characteristics: their ever- growing complexity and the increasing number and range of abnormal situa- tions they have to cope with successfully in order to deliver the service. Developing such systems is ademanding task requiring discipline and cIear thinking, which are best ensured by the right design mechanisms aiming at both appropriate system structuring and a disciplined provision of fault toler- ance. The groundlaying research of the 60s and 70s created a solid basis in this area by developing a number of fundamental mechanisms, such as ACID...
Modem computer systems possess two main characteristics: their ever- growing complexity and the increasing number and range of abnormal situa- tions t...
|
cena:
408,20 |
![]() |
Embedded Systems Handbook: Networked Embedded Systems
ISBN: 9781439807613 / Angielski / Twarda / 837 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information needed to launch a wealth of diverse applications, including those in automotive electronics, industrial automated systems, and building automation and control. Now a new resource is required to report on current developments and provide a technical reference for those looking to move the field forward yet again. Divided into two volumes to accommodate this growth, the Embedded Systems Handbook, Second Edition presents a comprehensive view on this... Considered a standard industry resource, the Embedded Systems Handbook provided researchers and technicians with the authoritative information need... |
cena:
1169,72 |
![]() |
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portug
ISBN: 9783540959472 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the proceedings of PATMOS 2008, the 18th in a series of int- national workshops. PATMOS 2008 was organized by INESC-ID / IST - TU Lisbon, Portugal, with sponsorship by Cadence, IBM, Chipidea, and Tecmic, and technical co-sponsorship by the IEEE. Over the years, PATMOS has evolved into an important European event, where researchers from both industry and academia discuss and investigate the emerging challenges in future and contemporary applications, design meth- ologies, and tools required for the development of the upcoming generations of integrated circuits and systems. The...
Welcome to the proceedings of PATMOS 2008, the 18th in a series of int- national workshops. PATMOS 2008 was organized by INESC-ID / IST - TU Lisbon, P...
|
cena:
204,08 |
![]() |
Domain Decomposition Methods in Science and Engineering
ISBN: 9783540225232 / Angielski / Miękka / 690 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Domain decomposition is an active, interdisciplinary research area that is devoted to the development, analysis and implementation of coupling and decoupling strategies in mathematics, computational science, engineering and industry. A series of international conferences starting in 1987 set the stage for the presentation of many meanwhile classical results on substructuring, block iterative methods, parallel and distributed high performance computing etc. This volume contains a selection from the papers presented at the 15th International Domain Decomposition Conference held in Berlin,... Domain decomposition is an active, interdisciplinary research area that is devoted to the development, analysis and implementation of coupling and ... |
cena:
612,32 |
![]() |
Neural Nets: 14th Italian Workshop on Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003, Revised Papers
ISBN: 9783540202271 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the 14th Italian Workshop on Neural Nets WIRN VIETRI 2003 are collected in this volume. The workshop, held in Vietri sul Mare (SA) June 4 7, 2003 was jointly organized by the International Institute for Advanced Scienti?c Studies Eduardo R. Caianiello (IIASS) and the Societ a Italiana Reti Neuroniche(SIREN). Thevolumecoversup-to-datetopicsonneuralnetsand- lated ?elds. It contains invited review papers and selected original contributions presented in either oral or poster sessions by both Italian and non-Italian - searchers. The contributions have been assembled, for reading...
The proceedings of the 14th Italian Workshop on Neural Nets WIRN VIETRI 2003 are collected in this volume. The workshop, held in Vietri sul Mare (SA) ...
|
cena:
272,09 |
![]() |
Computer Aided Systems Theory - EUROCAST 2003
ISBN: 9783540202219 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80 s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) that will provide for a complete picture of the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community....
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80 s to include those computer theoretical and ...
|
cena:
408,20 |
![]() |
Transactions on High-Performance Embedded Architectures and Compilers II
ISBN: 9783642009037 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains 15 papers that were selected out of 31 submissions. This title also contains extended versions of the top five papers from the 2nd International Conference on High-Performance Embedded Architectures and Compilers (HiPEAC 2007) held in Ghent, Belgium, in January 2007.
Contains 15 papers that were selected out of 31 submissions. This title also contains extended versions of the top five papers from the 2nd Internatio...
|
cena:
204,08 |
![]() |
Sustainable It Architecture: The Progressive Way of Overhauling Information Systems with Soa
ISBN: 9781848210899 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book focuses on Service Oriented Architecture (SOA), the basis of sustainable and more agile IT systems that are able to adapt themselves to new trends and manage processes involving a third party.
This book focuses on Service Oriented Architecture (SOA), the basis of sustainable and more agile IT systems that are able to adapt themselves to new ...
|
cena:
691,62 |
![]() |
Evolving Openmp in an Age of Extreme Parallelism: 5th International Workshop on Openmp, Iwomp 2009, Dresden, Germany, June 3-5, 2009 Proceedings
ISBN: 9783642022845 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. OpenMP is an application programming interface (API) that is widely accepted as a de facto standard for high-level shared-memory parallel programming. It is a portable, scalable programming model that provides a simple and ?exible interface for developing shared-memory parallel applications in Fortran, C, and C++. Since its introduction in 1997, OpenMP has gained support from the - jority of high-performance compiler and hardware vendors. Under the direction of the OpenMP Architecture Review Board (ARB), the OpenMP speci?cation is undergoing further improvement. Active research in OpenMP...
OpenMP is an application programming interface (API) that is widely accepted as a de facto standard for high-level shared-memory parallel programming....
|
cena:
204,08 |
![]() |
Quantum Computation Aus Algorithmischer Sicht
ISBN: 9783486589146 / Angielski / Twarda / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nach einer kurzen Beschreibung der Grundlagen aus der Quantenmechanik werden die benotigten mathematischen Definitionen und Notationen eingefuhrt und mit diesen dann die Modellierung eines Quantencomputers erstellt. Auf dieser Grundlage werden die bekanntesten Quantenalgorithmen vorgestellt. Abschlieend wird diskutiert, inwieweit die neuartigen Konzepte der Quantenalgorithmen auf heutige Computerarchitekturen abgebildet werden konnten.
Nach einer kurzen Beschreibung der Grundlagen aus der Quantenmechanik werden die benotigten mathematischen Definitionen und Notationen eingefuhrt und ...
|
cena:
236,79 |
![]() |
Web Content Caching and Distribution: Proceedings of the 8th International Workshop
ISBN: 9781402022579 / Angielski / Twarda / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Web caching and content delivery technologies provide the infrastructure on which systems are built for the scalable distribution of information. This proceedings of the eighth annual workshop, captures a cross-section of the latest issues and techniques of interest to network architects and researchers in large-scale content delivery. Topics covered include the distribution of streaming multimedia, edge caching and computation, multicast, delivery of dynamic content, enterprise content delivery, streaming proxies and servers, content transcoding, replication and caching strategies,...
Web caching and content delivery technologies provide the infrastructure on which systems are built for the scalable distribution of information. This...
|
cena:
681,08 |
![]() |
Mikroprozessortechnik Und Rechnerstrukturen
ISBN: 9783540222705 / Niemiecki / Twarda / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch behandelt den Entwurf und die Programmierung von Rechnersystemen auf der Basis von Mikroprozessoren. Themenschwerpunkte sind: - CISC- und RISC-Prinzipien heutiger skalarer, superskalarer und VLIW-Prozessoren, - Strukturen von Einbus- und Mehrbussystemen sowie von Einprozessor- und Mehrprozessorsystemen, basierend auf Bridges und Hubs, - Optimierung des Speicherzugriffs in Abhangigkeit moderner synchroner DRAM- und SRAM-Technologien und unter Einbeziehung von Caches und Speicherverwaltungseinheiten, - Techniken der Ein-/Ausgabeorganisation... Dieses Buch behandelt den Entwurf und die Programmierung von Rechnersystemen auf der Basis von Mikroprozessoren. Themenschwerpunkte sind: -... |
cena:
286,09 |
![]() |
Dynamically Reconfigurable Systems: Architectures, Design Methods and Applications
ISBN: 9789048134847 / Angielski / Twarda / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dynamically Reconfigurable Systems is the first ever to focus on the emerging field of Dynamically Reconfigurable Computing Systems. While programmable logic and design-time configurability are well elaborated and covered by various texts, this book presents a unique overview over the state of the art and recent results for dynamic and run-time reconfigurable computing systems. Reconfigurable hardware is not only of utmost importance for large manufacturers and vendors of microelectronic devices and systems, but also a very attractive technology for smaller and medium-sized... Dynamically Reconfigurable Systems is the first ever to focus on the emerging field of Dynamically Reconfigurable Computing Systems. While programm... |
cena:
408,20 |
![]() |
Dependable Network Computing
ISBN: 9780792377115 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dependable Network Computing provides insights into various problems facing millions of global users resulting from the internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields.
Dependable Network Computing provides useful information for scientists, researchers, and... Dependable Network Computing provides insights into various problems facing millions of global users resulting from the internet revolution'....
|
cena:
943,06 |
![]() |
Parallel Problem Solving from Nature - Ppsn V: 5th International Conference, Amsterdam, the Netherlands, September 27-30, 1998, Proceedings
ISBN: 9783540650782 / Angielski / Miękka / 1585 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Parallel Problem Solving from Nature, PPSN V, held in Amsterdam, The Netherlands, in September 1998.
The 101 papers included in their revised form were carefully reviewed and selected from a total of 185 submissions. The book is divided into topical sections on convergence theory; fitness landscape and problem difficulty; noisy and non-stationary objective functions; multi-criteria and constrained optimization; representative issues; selection, operators, and evolution schemes; coevolution and learning;... This book constitutes the refereed proceedings of the 5th International Conference on Parallel Problem Solving from Nature, PPSN V, held in Amsterdam,...
|
cena:
612,32 |