Formal Correctness Methods at the Million CPU Scale
نویسندگان
چکیده
منابع مشابه
Formal Methods and Testing: Hypotheses, and Correctness Approximations
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various kinds of formal specifications, their submission, and verdict. All these methods rely upon some hypotheses on the system under test that formalise the gap between the success of a test campaign and the correctness of ...
متن کاملSafety Correctness and Reliability Analysis using Formal Methods
Safety Correctness and Reliability Analysis using Formal Methods 2 SUMMARY The objective of this report was to further investigate and develop a methodology using formal methods for doing safety correctness and reliability analysis. In an earlier report some formal analysis methods were demonstrated. In this report, after an expansion of the possibility to express system functionality, further ...
متن کاملFace Search at Scale: 80 Million Gallery
Due to the prevalence of social media websites, one challenge facing computer vision researchers is to devise methods to process and search for persons of interest among the billions of shared photos on these websites. Facebook revealed in a 2013 white paper that its users have uploaded more than 250 billion photos, and are uploading 350 million new photos each day. Due to this humongous amount...
متن کاملEnsuring Correctness of Java Frameworks A Formal Look at JCF
In this paper we propose a novel approach to speci cation development and veri cation of object oriented frameworks employing separate interface inheritance and implementation inheritance hierarchies In particular we il lustrate how our method of framework speci cation and veri cation can be used to specify Java Collections Framework which is a part of the standard Java Development Kit and ensu...
متن کاملMegaFace: A Million Faces for Recognition at Scale
Recent face recognition experiments on the LFW [12] benchmark show that face recognition is performing stunningly well, surpassing human recognition rates. In this paper, we study face recognition at scale. Specifically, we have collected from Flickr a Million faces and evaluated state of the art face recognition algorithms on this dataset. We found that the performance of algorithms varies–whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.107.1