Videos tagged with GoogleTechTalks

Google Tech Talks March, 6 2008 ABSTRACT The extensive use of automated testing has been a breakthrough practice in improving the quality of software produced by developers. By now, many companies have experimented with the use of automated functional tests and unit tests. Those that have had good experiences with it rave about it and cannot imagine having been successful without their automate...

Google Tech Talks May, 20 2008 ABSTRACT Rudy Rucker's latest novel, Postsingular, describes an Earth blanketed with a light mesh of nanomachines, about one per square millimeter. The mesh makes everything "visible" on the Web. What happens then? Rudy will read a bit from the novel, describe the underlying ideas, and answer questions about his science-fictional visions of what's next. Speaker: R...

Google Tech Talks June, 4 2008 ABSTRACT In this talk I will present the results of mathematically verifying third party flight control software. I will then present the results of mathematically verifying automatically generated code using The Mathworks code generation facilities and compare the cost against conventional development including V If time permits I will also present a small exampl...

Google Tech Talks June 4, 2008 ABSTRACT Speaker: Andrew Ireland Andrew Ireland graduated with a First Class Hons degree in Computing Science from the University of Stirling. Supported by a Carnegie Scholarship, he continued his studies at Stirling obtaining a PhD. He then moved to the University of Edinburgh, where he took up the post of teaching assistant within the then Department of Artifici...

Google Tech Talks June, 4 2008 ABSTRACT Story Driven Modeling (SDM) is a systematic software development approach based on scencario analysis on model level. Usual text book approaches start with the derivation of a domain level class diagram from textual requirements specifications. This does not work. Class diagrams structure programs not your domain. Thus SDM proposes to analyse requirements...

Google Tech Talks June 4, 2008 ABSTRACT The essence of system-level design is the need to concurrently consider information from multiple engineering domains across multiple subsystems to assess holistic system properties. The systems engineer is responsible for bringing together all facets of a system for evaluation of system-level requirements and to aid in understanding system impacts of loc...

Google Tech Talks June, 2 2008 ABSTRACT Feature-based structured models provide a flexible and elegant framework for various information extraction (IE) tasks. These include label sequences for traditional IE, segmentation models for entity-level extractions, and skip chain models for collective labeling. I will present efficient inference algorithms for finding the highest scoring (MAP) predic...

Google Tech Talks June, 4 2008 ABSTRACT Verification techniques that rely on state enumeration (such as model checking) face two important challenges: 1) State-space explosion: exponential increase in the state space with the increasing number of components. 2) Environment generation: modeling components that are either not available for analysis, or that are outside the scope of the verificati...

Google Tech Talks June, 3 2008 ABSTRACT Have you heard that Google wants to wire up the entire African continent? Or that broadband will be ubiqitous throughout developing countries in ten years? Or that poor kids with connected laptops will teach each other? Or that the latest fiber optics cable being installed will lower Internet costs overnight? Just like many other realms of human activity,...

Google Tech Talk August 12, 2009 ABSTRACT Presented by Cliff Click, Azul Systems. Azul Systems designs and builds systems for running business logic applications written in Java. Unlike scientific computing, business logic code tends to be very large and complex (greater than 1MLOC is common), display very irregular data access patterns, and make heavy use of threads and locks. The common unit ...