CESCA Newsletter : April 2014

Simple item page
dc.contributor.authorVirginia Tech. Center for Embedded Systems for Critical Applicationsen
dc.contributor.departmentCenter for Embedded Systems for Critical Applicationsen
dc.date.accessioned2017-04-24T02:07:18Zen
dc.date.available2017-04-24T02:07:18Zen
dc.date.issued2014-04en
dc.description.abstractDr. Chao Wang and his Ph.D. student, Hassan Eldib, received the Best Paper Award at the International Conference on Formal Methods in Computer Aided Design (FMCAD) in November 2013 for a paper titled “An SMT based method for optimizing arithmetic computations in embedded software code.” FMCAD 2013 is a leading conference on the theory and applications of formal methods in hardware and system verification, providing a forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. According to the FMCAD 2013 Best Paper Committee, Eldib and Wang’s work “tackles a very interesting problem, namely the optimization of control software manipulating fixed-point integer data, and presents an innovative and scalable solution based on the use of SMT solvers and inductive synthesis procedures” and is “an important step towards the design of better embedded software.”en
dc.format.extent12 pagesen
dc.format.mimetypeapplication/pdfen
dc.identifier2014-04-15.pdfen
dc.identifier.issueNumber 011en
dc.identifier.urihttp://hdl.handle.net/10919/77470en
dc.identifier.urlhttp://www.cesca.centers.vt.edu/About/News-letters/2014-04-15.pdfen
dc.language.isoen_USen
dc.publisherVirginia Tech. Center for Embedded Systems for Critical Applicationsen
dc.rightsIn Copyrighten
dc.rights.holderVirginia Tech. Center for Embedded Systems for Critical Applicationsen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleCESCA Newsletter : April 2014en
dc.title.serialCESCA Newsletteren
dc.typePeriodicalen
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
2014-04-15.pdf
Size:
890.27 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Center Publications, Center for Embedded Systems for Critical Applications
Strategic Growth Area: Creativity and Innovation (C&I)