6 search results - page 2 / 2 » Interval Slopes as a Numerical Abstract Domain for Floating-... |
132
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Today’s wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...