20130710 tech.tech-news: Texas Instruments names Bobby Mitra as worldwide director