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 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 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 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 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 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 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 Talks May, 23 2008 ABSTRACT Overview: Mark Birbeck has spent a number of years working on flexible user interfaces, both by developing software and working with the W3C on new...
Truveo video search lets you search and find videos from across the Web. Use Truveo to find all types of online video including hit television shows, full-length movies, breaking news clips, sports highlights, music videos, or the latest viral videos. If you are looking for a specific video, Truveo video search can help you find exactly the video you want. Truveo can also help you browse through video across the web and discover new videos that you might like.