326 search results - page 7 / 66 » Experimenting different software architectures performance t... |
CASES
2005
ACM
13 years 9 months ago
2005
ACM
Horizontally partitioned data caches are a popular architectural feature in which the processor maintains two or more data caches at the same level of hierarchy. Horizontally part...
ERSHOV
2009
Springer
13 years 5 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
CGO
2009
IEEE
14 years 2 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
COMCOM
2000
13 years 7 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
ECOOP
1995
Springer
13 years 11 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...