5832 search results - page 284 / 1167 » Software complexity and maintainability |
132
click to vote
JDCTA
2010
14 years 11 months ago
2010
Platform-based development is currently the dominant development method of enterprise application, but the features provided by current mainstream enterprise application developme...
141
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
The management of shared caches in multicore processors is a critical and challenging task. Many hardware and OS-based methods have been proposed. However, they may be hardly adop...
129
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
137
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
158
click to vote
EUROPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Prefetching transfers a data item in advance from its storage location to its usage location so that communication is hidden and does not delay computation. We present a ...