Reconfigurable Computing
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
اقرأ المزيد
Reconfigurable Computing: Architectures, Tools and Applications
This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...
اقرأ المزيد
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...
اقرأ المزيد
Reverse Engineering : An Industrial Perspective
This edited collection of essays from world-leading academic and industrial authors yields insight into all aspects of reverse ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
اقرأ المزيد
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
Rigid Body Dynamics Algorithms
It explains how to model a rigid-body system and how to analyze it, and it presents the most comprehensive collection of ...
اقرأ المزيد
RoboCup 2007: Robot Soccer World Cup XI
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
اقرأ المزيد
Robot Motion and Control
Robot Motion and Control presents very recent results in robot motion and control. Twenty papers have been chosen and expanded ...
اقرأ المزيدRobot Motion and Control 2007
"Robot Motion Control 2007" presents very recent results in robot motion and control. Forty-one short papers have been ...
اقرأ المزيد
Robot Navigation from Nature : Simultaneous Localisation, Mapping, and Path Planning based on Hippocampal Models
This book describes the development of a robot mapping and navigation system inspired by models of the neural mechanisms ...
اقرأ المزيد
Robot Vision : Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings
obot vision (or, more general, robotics) is a fast-growing discipline, already taught as a dedicated teaching program at ...
اقرأ المزيد
Robotic Exploration and Landmark Determination : Hardware-Efficient Algorithms and FPGA Implementations
This book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark ...
اقرأ المزيدRobotic Welding, Intelligence and Automation
Robotic welding systems have been used in different types of manufacturing. They can provide several benefits in welding ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
اقرأ المزيد
SOFSEM 2006: Theory and Practice of Computer Science
This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, 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 ...
اقرأ المزيد
SOFSEM 2008: Theory and Practice of Computer Science : 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008. Proceedings
This book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
اقرأ المزيد
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
اقرأ المزيد
