Videos tagged with Computer Science




A JVM Does That?

A JVM Does That?

Posted in Development, Companies, Conferences

Google Tech Talk (more info below) March 29, 2011 Presented by Cliff Click, Azul Systems. ABSTRACT Just what the heck is a JVM *supposed* to do? JVMs already provide a host of services. The 'J' part definitely slants the service selection and the 'V' part means that underneath the illusion there's a lot of really cruddy stuff. The success of these illusions has led to the real popularity of JVM...

Tags: Google Tech Talk, Java, JVM, Computer Science, Google, GoogleTechTalks


LLBMC: The Low-Level Bounded Model Checker

LLBMC: The Low-Level Bounded Model Checker

Posted in Testing, Companies, Conferences

Google Tech Talk (more info below) February 22, 2011 Presented by Carsten Sinz, Stephan Falke, & Florian Merz, Karlsruhe Institute of Technology, Germany. ABSTRACT Producing reliable and secure software is time consuming and cost intensive, and still many software systems suffer from security vulnerabilities or show unintended, faulty behavior. Testing is currently the predominant method to asc...

Tags: Google Tech Talk, software bugs, Testing, Computer Science, LLBMC, Google, GoogleTechTalks


Helping Domain Experts Build Better Algorithms

Helping Domain Experts Build Better Algorithms

Posted in Companies, Conferences

"Helping Domain Experts Build Better Algorithms: Automated Performance Modelling, Configuration, and Selection" Google Tech Talk August 8, 2011 Presented by Frank Hutter. ABSTRACT Algorithm developers and end users in a wide variety of areas often face questions like the following: Which parameter setting should I use to optimize my algorithm's empirical performance? Which algorithm components ...

Tags: Google Tech Talk, Algorithms, Computer Science, Google, GoogleTechTalks





Propping Open the Document Trapdoor

Propping Open the Document Trapdoor

Posted in Conferences, Companies, Science

Computer document processing often starts with an abstract, structural, representation before entering a processing pipeline which creates a desired layout and appearance. But unfortunately the whole system resembles a series of steps in a one-way chemical reaction, or the successive irreversible stages of creating assembler code using a compiler. This `one-way function' behaviour is most obvio...

Tags: Techtalks, Google, Conferences, Technologies, Science, Computer Science, PDF, Google Tech Talks, Text Mining, Companies, document processing, ...


The Marriage of Fractals and Splines: Fractals with Control Points, Splines as Attractors

The Marriage of Fractals and Splines: Fractals with Control Points, Splines as Attractors

Posted in Conferences, Companies, Science

Fractals and splines have very different geometric features. Fractals can be continuous everywhere, yet differentiable nowhere. Fractals are often selfsimilar curves with fractional dimension. And fractals are also attractors, fixed points of iterated function systems. In contrast, splines are piecewise polynomial curves, so well behaved that they are often used for large scale industrial desig...

Tags: Techtalks, Google, Conferences, Science, Computer Science, Google Tech Talks, Mathematics, Companies


Three Beautiful Quicksorts

Three Beautiful Quicksorts

Posted in Conferences, Companies, Science, Development

This talk describes three of the most beautiful pieces of code that I have ever written: three different implementations of Hoare's classic Quicksort algorithm. The first implementation is a bare-bones function in about a dozen lines of C. The second implementation starts by instrumenting the first program to measure its run time; a dozen systematic code transformations proceed to make it more ...

Tags: Techtalks, Google, Conferences, Science, Computer Science, C and C++, Google Tech Talks, Howto, Development, Companies, quicksorts, ...


Web-based Inference Detection

Web-based Inference Detection

Posted in Conferences, Companies, Science

Text content can allow unintended inferences. Consider, for example, the numerous people who have published anonymous blogs for venting about their employer only to be identified through seemingly non-identifying posts. Similarly, the US government's "Operation Iraqi Freedom Portal" was assembled as evidence of nuclear weapons presence in Iraq, but removed because it could be used to infer much...

Tags: Techtalks, Google, Conferences, Science, Computer Science, Cryptography, Google Tech Talks, Companies, inference