854 search results - page 131 / 171 » Addressing Dynamic Issues of Program Model Checking |
128
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...
137
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
137
click to vote
JUCS
2008
15 years 2 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
114
click to vote
JCSS
2008
15 years 2 months ago
2008
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. Detailed simulations can help identify...
141
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
This article proposes a novel similarity measure between
vector sequences. Recently, a model-based approach was
introduced to address this issue. It consists in modeling
each se...