This handbook offers a state-of-the-art overview of quantitative science and technology research. It focuses on the development ...
Lire la suiteThis handbook couples the difficult, critical-thinking aspects of mathematical modeling with the hot area of discrete optimization. ...
Lire la suiteThis handbook covers not only in a unified approach the most important scheduling models and methods, it also put special ...
Lire la suiteExpands your understanding of key structures, including stacks, queues, and lists, and also show you how to apply priority ...
Lire la suiteJava design patterns are reusable and proven solutions to software design problems. This book covers over 60 battle-tested ...
Lire la suiteStarts with the fundamentals of architecture and takes you through the basic components of application architecture. You'll ...
Lire la suiteBegins with an overview of the technology landscape behind BERT. It takes you through the basics of NLP, including natural ...
Lire la suitePart I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II ...
Lire la suiteVerification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning ...
Lire la suiteThese are the conference proceedings of the 4th Haifa Verifcation Conference, held October 27–30, 2008 in Haifa, Israel. ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
Lire la suiteThe objective of this symposium is to exchange the latest research results in software, architecture, and applications in ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, ...
Lire la suiteThe 75 revised full papers address all current issues of parallel and distributed systems and high performance computing ...
Lire la suiteHPCC has moved into the mainstream of c- puting and has become a key technology in future research and development activities ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on High Performance ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on High Performance Embedded Architectures ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on High Performance Embedded Architectures ...
Lire la suiteThis book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both ...
Lire la suiteThis is the joint post-proceedings of the 6th International Symposium on High Performance Computing (ISHPC-VI) and the First ...
Lire la suite