1. Edmund M. Clarke: VSL Keynote Talk "Verification of Computer Systems with Model Checking"


    from Vienna Summer of Logic 2014 / Added

    Abstract: Model Checking is an automatic verification technique for large state transition systems. The technique has been used successfully to debug complex computer hardware and communication protocols. Now, it is beginning to be used for complex hybrid (continuous/discrete) systems as well. The major disadvantage of the technique is a phenomenon called the State Explosion Problem. This problem is impossible to avoid in worst case. However, by using sophisticated data structures and clever search algorithms, it is now possible to verify hybrid systems with astronomical numbers of states.

    + More details
    • Creating Your eProktor ID


      from Lecticon LLC / Added

      51 Plays / / 0 Comments

      Shorrt tutorial on creating eProktor facial recognition IDs.

      + More details
      • Bureau Veritas - Coal Services


        from Bureau Veritas / Added

        169 Plays / / 0 Comments

        Bureau Veritas is the provider of a full spectrum of coal quality, coal technology and technical support services to the Australian coal industry. The services provided are offered from a comprehensive network of 10 facilities throughout the key coal activity centres.

        + More details
        • Artwork Tutor - TEASER


          from Antares Vision / Added

          201 Plays / / 0 Comments

          Artwork Tutor supports the management of the packaging artworks in the pharmaceutical industry, from the original design to the mass printing of materials. Based on a sophisticated software able to import and process the PDF files of the original artworks, Artwork Tutor compares them with the physical printings, automatically detecting and outlining the differences. Discover more @ http://www.antaresvision.com/ART_-_ARtwork_Tutor

          + More details
          • Formal Verification of Cyber-Physical Systems


            from Galois Video / Added

            128 Plays / / 0 Comments

            abstract: Cyber-Physical Systems (CPS) refer to systems in which control, computation and communication converge to achieve complex functionalities. The ubiquitous deployment of cyber-physical systems in safety critical applications including aeronautics, automotive, medical devices and industrial process control, has pressurized the need for the development of automated analysis methods to aid the design of high-confidence systems. The talk will focus on an important feature of cyber-physical systems, namely, the mixed discrete-continuous behaviors manifesting as a result of the interaction of a network of embedded processors with the physical world. Hybrid Automata are a popular formalism for modeling systems exhibiting both discrete and continuous behaviors. We discuss formal approaches for the verification of hybrid automata. More precisely, scalable approaches based on approximations, including predicate abstraction, counter-example guided abstraction refinement and bounded error approximations, will be discussed in the context of safety and stability analysis. We will present applications of the techniques on hybrid automata models. bio: Pavithra Prabhakar is on the faculty at the IMDEA Software Institute in Madrid, Spain, since 2011. Previously, she obtained her doctorate in Computer Science from the University of Illinois at Urbana-Champaign, from where she also obtained a masters in Applied Mathematics. She has a masters degree in Computer Science from the Indian Institute of Science, Bangalore and a bachelors degree from the National Institute of Technology, Warangal, in India. She spent the year between 2011-2012 at the California Institute of Technology as a CMI (Center for Mathematics of Information) fellow. Her main research interest is in Formal Analysis of Cyber-Physical Systems, more precisely, hybrid systems, with focus on both theoretical and practical aspects.

            + More details
            • Introduction to Trauma Systems


              from Abrazo Level1 Trauma Center / Added

              37 Plays / / 0 Comments

              Discuss the different parts of trauma systems. Identify components of verification (state and American College of Surgeons). Review levels of verifications (Levels I, II, etc.)

              + More details
              • Scan, Design, Build


                from IES Engineering / Added

                By overlaying scans with the 3D design model, IES generates deviation reports which give the client the option to reject or accept any structural components not within set project specifications and tolerances. Pre-installation scanning in the fabrication shop creates a baseline for asset integrity and contributes to both safety and project risk mitigation.

                + More details
                • SV-RANDOMIZATION : PART-I


                  from microelectronicsdevelopmentlab / Added

                  26 Plays / / 0 Comments

                  This Video will give the basic understanding of System Verilog : Randomization. In this section, we will deliver 4 Videos to cover complete Randomization and it's usage in Verification.

                  + More details
                  • Adap.tv Advertising Assurance


                    from ONE by AOL / Added

                    549 Plays / / 0 Comments

                    A global, multi-lateral approach to protecting brands and ensuring quality in video advertising.

                    + More details
                    • Keep your group in the loop!


                      from Rob Page / Added

                      104 Plays / / 0 Comments

                      What is reac.ht and why did we make it? This video has the answer!

                      + More details

                      What are Tags?


                      Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."