Videos tagged with GoogleTechTalks


CORE - Cooperative Reasoning for Automatic Software Verification

CORE - Cooperative Reasoning for Automatic Software Verification

Posted in Companies, Conferences

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...

Tags: Google, Techtalks, techtalk, engEDU, Talk, talks, GoogleTechTalks, Education



Story Driven Modeling with Fujaba: Turning Scenarios into Automated Tests

Story Driven Modeling with Fujaba: Turning Scenarios into Automated Tests

Posted in Companies, Conferences

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...

Tags: Google, Techtalks, techtalk, engEDU, Talk, talks, GoogleTechTalks, Education


Security as a System-Level Constraint

Security as a System-Level Constraint

Posted in Companies, Conferences

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...

Tags: Google, Techtalks, techtalk, engEDU, Talk, talks, GoogleTechTalks, Education


Max-margin training and inference on structured models for information extrac...

Max-margin training and inference on structured models for information extrac...

Posted in Companies, Conferences

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...

Tags: Google, Techtalks, techtalk, engEDU, Talk, talks, GoogleTechTalks, Education


Interface Grammars for Modular Software Verification

Interface Grammars for Modular Software Verification

Posted in Companies, Conferences

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...

Tags: Google, Techtalks, techtalk, engEDU, Talk, talks, GoogleTechTalks, Education



Scaling Information Access to Serve Billions of the World's Poorest People

Scaling Information Access to Serve Billions of the World's Poorest People

Posted in Companies, Conferences

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,...

Tags: Google, Techtalks, techtalk, engEDU, Talk, talks, GoogleTechTalks, Education


Java on a 1000 Cores - Tales of Hardware / Software CoDesign

Java on a 1000 Cores - Tales of Hardware / Software CoDesign

Posted in Companies, Development, Conferences

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 ...

Tags: Google, tech, Talk, multicore, Java, GoogleTechTalks


Beyond Web 2.0 -- How RDFa Can Help to Democratise Data on t

Beyond Web 2.0 -- How RDFa Can Help to Democratise Data on t

Posted in Companies, Conferences

Google Tech Talk June 19, 2009 ABSTRACT Beyond Web 2.0 -- How RDFa Can Help to Democratise Data on the Web. Presented by Mark Birbeck. Publishing to the web has never been easier, with the proliferation of content management systems, online blogging platforms, microblogging, and more. However, publishing data is either the preserve of organizations prepared to manage their own IT, or requires i...

Tags: Google, tech, Talk, microformats, GoogleTechTalks


Nuclear Fusion: Clean Power for the Next Hundred Centuries

Nuclear Fusion: Clean Power for the Next Hundred Centuries

Posted in Science, Companies, Conferences

Google Tech Talks Feb. 13, 2008 ABSTRACT Presented by Dr. James Grossnickle Nuclear fusion, the process that powers the sun, can also be harnessed for power on Earth. Present research in magnetic confinement fusion is promising and advancing. ITER (international thermonuclear experimental reactor), based on the tokamak configuration, has been sited and will begin construction soon. An alternate...

Tags: googlel, tech, Talk, tokamak, Energy, Google, GoogleTechTalks


Implementing a National Health Monitoring Evaluation & Case...

Implementing a National Health Monitoring Evaluation & Case...

Posted in Companies, Conferences

Google Tech Talk August 31, 2009 ABSTRACT Implementing a National Health Monitoring Evaluation and Case Surveillance Interface in Haiti (Lessons and Perspectives) Presented by Kurt Jean Charles. This talk is about the experience of SOLUTIONS' team of software developers on a project financed and piloted by CDC's office in Haiti in support to the Ministry of Health. It will include a demo of the...

Tags: Google, tech, Talk, health, GoogleTechTalks