3436 search results - page 403 / 688 » Software Tools for Performance Modeling of Parallel Programs |
120
Voted
ECMDAFA
2008
Springer
15 years 4 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
147
click to vote
CF
2006
ACM
15 years 4 months ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
115
click to vote
TFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
114
Voted
ENC
2006
IEEE
15 years 6 months ago
2006
IEEE
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
143
Voted
EMSOFT
2010
Springer
15 years 16 days ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...