5314 search results - page 843 / 1063 » Hybrid Dynamic Programming |
194
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
A large number of embedded systems include 8-bit microcontrollers for their energy efficiency and low cost. Multi-bank memory architecture is commonly applied in 8-bit microcontr...
164
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
188
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
173
click to vote
IISWC
2008
IEEE
16 years 29 days ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
156
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...