Processor Design
Processor Design addresses the design of different types of embedded, firmware-programmable computation engines. Because ...
اقرأ المزيد
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, ...
اقرأ المزيدProgramming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April ...
اقرأ المزيد
Progress in Cryptology - INDOCRYPT 2006
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology in India, INDOCRYPT 2006, ...
اقرأ المزيد
Quality of Software Architectures
Although the quality of a system’s software architecture is one of the critical factors in its overall quality, the architecture ...
اقرأ المزيد
Radiation Effects on Embedded Systems
Radiation Effects on Embedded Systems aims at providing the reader with the major guidelines for coping with radiation effects ...
اقرأ المزيد
Rapid Prototyping of Digital Systems
The more advanced topics and exercises also make this text useful for upper level courses in digital logic, programmable ...
اقرأ المزيد
Rapid Prototyping of Digital Systems
RAPID PROTOTYPING OF DIGITAL SYSTEMS provides an exciting and challenging environment for rapidly adapting System-on-a-Programmable ...
اقرأ المزيد
Real-Time Applications with Stochastic Task Execution Times
Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ...
اقرأ المزيد
Real-Time Object Uniform Design Methodology with UML
The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...
اقرأ المزيد
Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings
The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
اقرأ المزيد
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
اقرأ المزيد
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
Reliable Systems on Unreliable Networked Platforms
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
اقرأ المزيد
SOFSEM 2007: Theory and Practice of Computer Science
This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...
اقرأ المزيد
Security in Pervasive Computing (vol. # 3934)
This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...
اقرأ المزيد
