674 search results - page 107 / 135 » Explanation Based Program Transformation |
108
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
101
click to vote
ICS
2003
Tsinghua U.
15 years 7 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
109
click to vote
HICSS
2009
IEEE
15 years 9 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
121
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
Multi-core architectures are increasingly being adopted in the design of emerging complex embedded systems. Key issues of designing such systems are on-chip interconnects, memory a...
139
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...