Looking for : the art of multiprocessor programming

Formal Specification of MPI 2.0: Case Study in Specifying a ...	Download	View	HTML
Paper-socp.pdf - Search formal specification 2.0: case study specifying

An Efficient Lock-Aware Transactional Memory Implementation	Download	View	HTML
Icooolps.latm.2009.pdf - Search efficient lock-aware transactional memory implementation

Formal Methods: State of the Art and Future Directions	Download	View	HTML
Formal%20methods%20-%20state%20of%20the%20art%20and%20future%20directions.pdf - Search formal methods: state future directions

Memory Management for Real-time Java: State of the Art	Download	View	HTML
Isorc08.pdf - Search memory management real-time java: state

Parallel Programming Practice	Download	View	HTML
2009-09-17_introduction.pdf - Search parallel programming practice

State-of-the-art in Parallel Computing with R	Download	View	HTML
Parallelr_techrep.pdf - Search state-of-the-art parallel computing with

State of the Art Report on GPU Visualization	Download	View	HTML
Viznet-wp4-24-leeds-gpu-web.pdf - Search state report visualization

Inherent Limitations on Disjoint-Access Parallel Implementations ...	Download	View	HTML
Ahm09spaa.pdf - Search inherent limitations disjoint-access parallel implementations

Formal Methods: State of the Art and Future Directions	Download	View	HTML
Formal-methods-cmu-art-future.pdf - Search formal methods: state future directions

VISSIM – State-of-the-Art Multi-Modal Simulation	Download	View	HTML
Vissim_brochure_e_2009_hires.pdf - Search vissim state-of-the-art multi-modal simulation