4067 search results - page 634 / 814 » Programs for Applying Symmetries |
169
click to vote
CSMR
2007
IEEE
16 years 23 days ago
2007
IEEE
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
174
click to vote
CSMR
2007
IEEE
16 years 23 days ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
169
click to vote
EUROMICRO
2007
IEEE
16 years 23 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
177
click to vote
GLOBECOM
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— A novel cluster-based coherent multi-user (MU) relaying system is proposed, where a number of source/destination pairs communicate concurrently over the same physical c...
157
click to vote
HPDC
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper describes a novel approach to generate an optimized schedule to run threads on distributed shared memory (DSM) systems. The approach relies upon a binary instrumentatio...