2271 search results - page 155 / 455 » Scalable Software Libraries |
168
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
137
click to vote
ICPP
1995
IEEE
15 years 8 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
135
click to vote
CASCON
1997
15 years 6 months ago
1997
The paper presents a similarity-based retrieval framework for a software repository that aids the process of maintaining, understanding, and migrating legacy software systems [12]...
150
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
142
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...