2245 search results - page 188 / 449 » A Case Study Implementing Features Using AspectJ |
131
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
Transactional Memory (TM) is being studied widely as a new technique for synchronizing concurrent accesses to shared memory data structures for use in multi-core systems. Much of ...
116
click to vote
CCE
2005
15 years 5 months ago
2005
A detailed implementation of the Tabu Search (TS) algorithm for computer-aided molecular design (CAMD) of transition metal catalysts is presented in this paper. Previous CAMD rese...
143
click to vote
ICCAD
2007
IEEE
16 years 2 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
155
click to vote
CBSE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
144
click to vote
IPPS
2009
IEEE
2009
IEEE
Scaling communication-intensive applications on BlueGene/P using one-sided communication and overlap
15 years 11 months ago
In earlier work, we showed that the one-sided communication model found in PGAS languages (such as UPC) offers significant advantages in communication efficiency by decoupling d...