By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which ...
Lire la suiteThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
Lire la suiteThe size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
Lire la suiteOn behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition ...
Lire la suiteSoftware visualization encompasses the development and evaluation of methods for graphically representing different aspects ...
Lire la suiteSqueak: Learn Programming with Robots will teach you core programming concepts based on simple, visual problems that involve ...
Lire la suiteOrganizing websites is highly dynamic and often chaotic. Thus, it is crucial that host web servers manipulate URLs in order ...
Lire la suite"The Developer's Guide to Debugging" is a book for both professional software developers seeking to broaden their skills ...
Lire la suiteExplore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...
Lire la suiteThis book constitutes the refereed proceedings of the joined 6th International Semantic Web Conference, ISWC 2007, and the ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, ...
Lire la suiteTo support application developers in the various tasks involved in this process, several different tools need to be at his ...
Lire la suiteConstitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...
Lire la suiteThis volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suiteThe book feature current research from the communities of verification, program certification, model checking, debugging ...
Lire la suiteThis book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
Lire la suiteThis book focuses on Zope 3, though it also addresses the needs of Zope 2 developers who want to use Zope 3 features as they ...
Lire la suiteNew Zope 3 is a web applications server written in Python that allows developing complex web applications rapidly and collaboratively. ...
Lire la suite