Google Tech Talks September, 11 2007 ABSTRACT The name Maple is synonymous with doing complex math on computers. Best known for its symbolic or algebraic computation abilities, Maple is one of the most important tools for the modern applied mathematician and scientist. Many of you are likely familiar with Maple from college but you've probably not kept up to date with latest developments. This presentation will present some of the latest product developments from Maplesoft. Topics include - developments in high performance numerical computation - recent advances in symbolic computing - new Maple libraries including graph theory, statistics, optimization, polynomial operations, and more - parallel and grid computing - knowledge capture for mathematical documents - the Maple programming language and application development - overview of new add-on products including global optimization, and modeling and simulation The presenter will be Mohamed Bendame, a senior engineer from...
Google Tech Talks September 11, 2007 ABSTRACT The name Maple is synonymous with doing complex math on computers. Best known for its symbolic or algebraic computation abilities, Maple is one of...
Google Tech Talks September 11, 2007 ABSTRACT The name Maple is synonymous with doing complex math on computers. Best known for its symbolic or algebraic computation abilities, Maple is one of...
Google Tech Talks November, 16 2007 This talk describes techniques that use model checking and symbolic execution for test input generation. Abstract state matching is used to avoid generation of...
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...
Google Tech Talks January, 25 2008 ABSTRACT In this talk we examine how high performance computing has changed over the last 10-year and look toward the future in terms of trends. These changes...
Google Tech Talks June, 4 2008 ABSTRACT We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of...
Google Tech TalksMarch, 7 2008ABSTRACTCoconut is a developing system for high-assurance, high-performancesoftware. It was used to develop a library of special functions forthe Cell BE processor,...
Google Tech Talks November, 20 2007 Adobe AIR™ software is a new cross--operating system runtime that enables web application developers to extend the reach and functionality of rich Internet...
Google Tech Talks December, 14 2007 ABSTRACT About Gemalto Gemalto (Euronext NL 0000400653 GTO) is the leader in digital security with pro forma 2006 annual revenues of €1.7 billion, more than...
Google Tech TalksFebruary, 7 2008ABSTRACTA few years ago, development of the X Window System was revitalized by a change in management and the rise of a new generation of machines and operating...