𝔖 Bobbio Scriptorium
✦   LIBER   ✦

LLVMVF: A Generic Approach for Verification of Multicore Software

✍ Scribed by Sousa, Marcelo; Sen, Alper

Book ID
121610737
Publisher
Springer US
Year
2013
Tongue
English
Weight
754 KB
Volume
29
Category
Article
ISSN
0923-8174

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A systematic approach for the generation
A systematic approach for the generation and verification of structural hypotheses
✍ Mikhail Elyashberg; Kirill Blinov; Antony Williams πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 596 KB

## Abstract During the process of molecular structure elucidation the selection of the most probable structural hypothesis may be based on chemical shift prediction. The prediction is carried out using either empirical or quantum‐mechanical (QM) methods. When QM methods are used, NMR prediction com

Development and verification of a generi
Development and verification of a generic framework for conceptual design
✍ Sebastian Macmillan; John Steele; Simon Austin; Paul Kirby; Robin Spence πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 406 KB

The rapid and dynamic information and knowledge transfer between designers during the conceptual phase of building projects can result in disorganised behaviour within the team. Team members can become frustrated by the lack of a common understanding of the manner in which the design activity is bei