| Document Date: 2007-11-11 18:13:27
Open Document File Size: 498,81 KBShare Result on Facebook
City New York / / Company Application-Based Systems / Atmel / ACM Inc. / Texas Instruments / Embedded Systems / / Country United States / / Currency USD / / / Facility University of Utah / KIRK WEBB University of Utah An / / / IndustryTerm consumer electronics / digital signal processors / prototype tool / end-product / stack tool / prototype stack tool / sensor networks / software validation / stack analysis tool / catastrophic software / real-time operating systems / virtual memory hardware / prototype stack analysis tool / safety critical applications / software development / sensor network / software defects / / OperatingSystem TinyOS / / Organization KIRK WEBB University of Utah An / University of Utah / Salt Lake City / / Person JOHN REGEHR / ALASTAIR REID / / / Position Dynamic Storage Management General / abstract interpreter / head / / ProgrammingLanguage Java / C / / ProvinceOrState Utah / New York / / Technology real processor / RAM / Java / analog-to-digital conversion / virtual memory / operating system / operating systems / DSP / digital signal processors / ATmega128 chips / /
SocialTag |
Eliminating Stack Overflow by Abstract Interpretation JOHN REGEHR, ALASTAIR REID, and KIRK WEBB University of Utah An important correctness criterion for software running on embedded microcontrollers is stack