1675 search results - page 62 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
166
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
107
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
150
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...
136
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
109
Voted
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...