𝔖 Bobbio Scriptorium

✦ LIBER ✦

A decision procedure for detecting atomicity violations for communicating processes with locks

✍ Scribed by Nicholas Kidd; Peter Lammich; Tayssir Touili; Thomas Reps

Book ID: 106245546
Publisher: Springer
Year: 2010
Tongue: English
Weight: 909 KB
Volume: 13
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-010-0159-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

COMPARISON OF TWO RAPID METHODS FOR THE

COMPARISON OF TWO RAPID METHODS FOR THE DETECTION OF LISTERIA MONOCYTOGENES WITH A STANDARD PROCEDURE IN NATURALLY CONTAMINATED ENVIRONMENTS OF RAW POULTRY PROCESSING

✍ E. CHASSEIGNAUX; Y. MICHEL; M.-T. TOQUIN; G. ERMEL; G. SALVAT; P. COLIN 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 282 KB

[IEEE Symposium on Adaptive Systems for

[IEEE Symposium on Adaptive Systems for Signal Processing Communications and Control - Lake Louise, Alta., Canada (1-4 Oct. 2000)] Proceedings of the IEEE 2000 Adaptive Systems for Signal Processing, Communications, and Control Symposium (Cat. No.00EX373) - Detection of weak signals hidden beneath the noise floor with a modified principal components analysis

✍ Zhou, C.T.; Ting, C. 📂 Article 📅 2000 🏛 IEEE ⚖ 430 KB