3436 search results - page 259 / 688 » Software Tools for Performance Modeling of Parallel Programs |
113
click to vote
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents core fusion, a reconfigurable chip multiprocessor (CMP) architecture where groups of fundamentally independent cores can dynamically morph into a larger CPU, ...
113
click to vote
FSEN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
124
click to vote
IJISEC
2006
15 years 3 months ago
2006
We examine the problem of containing buffer overflow attacks in a safe and efficient manner. Briefly, we automatically augment source code to dynamically catch stack and heap-based...
155
click to vote
SIGSOFT
2009
ACM
15 years 8 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
129
click to vote
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...