6167 search results - page 227 / 1234 » Can Refinement be Automated |
176
click to vote
CGO
2010
IEEE
16 years 24 days ago
2010
IEEE
Managed runtime systems, such as a Java virtual machine (JVM), are complex pieces of software with many interacting components. The Just-In-Time (JIT) compiler is at the core of t...
179
click to vote
KBSE
2009
IEEE
16 years 20 days 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...
194
click to vote
LCTRTS
2007
Springer
16 years 2 days ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
165
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
176
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...