762 search results - page 75 / 153 » Performance-oriented software architecture engineering: an e... |
78
Voted
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
107
click to vote
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
106
click to vote
STTT
2010
14 years 7 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
86
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
64
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Advances in high-performance computing have led to the broad use of computational studies in everyday engineering and scientific applications. A single study may require thousand...