1140 search results - page 188 / 228 » Embedded Software: Better Models, Better Code |
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...
135
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
XML is fast becoming the standard format to store, exchange and publish over the web, and is getting embedded in applications. Two challenges in handling XML are its size (the XML...
101
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
114
click to vote
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
123
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...