1370 search results - page 136 / 274 » Synchronization Transformations for Parallel Computing |
131
click to vote
CCGRID
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents the design and implementation of a new file system independent collective I/O optimization based on file views: view-based collective I/O. View-based collective...
106
click to vote
PPOPP
2009
ACM
16 years 3 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 ...
103
Voted
HPCC
2009
Springer
15 years 7 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
121
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
121
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...