Implementing OpenSHMEM using MPI-3 one-sided communication Jeff R. Hammond1 , Sayan Ghosh2 , and Barbara M. Chapman2 Argonne National Laboratory1 Argonne IL, 60439

Source URL: www.csm.ornl.gov

• Computing
• Parallel computing
• Computer programming
• Application programming interfaces
• SHMEM
• Free software
• Message Passing Interface
• LAM/MPI

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi

Source URL: anil.recoil.org

• Computing
• Software
• System software
• Application programming interfaces
• Rename
• Symbolic link
• POSIX
• File system permissions
• Hard link
• File locking
• File system
• Tar

Chapter 5 Building User Interfaces in Squeak 1 Issues in Building a User Interface Designing user interface software really has two pieces to it. •

Source URL: sdmeta.gforge.inria.fr

Efficient Mapping of Irregular C++ Applications to Integrated GPUs Rajkishore Barik (Presenter) Rashid Kaleem, UT Austin Deepak Majeti, Rice University

Source URL: cgo.org

• Parallel computing
• GPGPU
• Application programming interfaces
• Graphics hardware
• Fortran
• OpenCL
• Graphics processing unit
• CUDA
• OpenACC
• C++ AMP
• Compute kernel
• Clang

Improving Tag-Clouds as Visual Information Retrieval Interfaces

Source URL: yusef.es

User Experience Immersion training Foundation Certificate in User Experience Gain hands-on practice in all the key areas of UX — from interviewing your users through to

Source URL: www.userfocus.co.uk

• Usability
• Humancomputer interaction
• Technical communication
• User interfaces
• Design
• User interface design
• User experience
• User
• Progressive disclosure
• Paper prototyping
• Interaction design
• Persona

Automatic Register Verification UVM/Formal Automation for Addressable Registers and Memory Interfaces Register verification is a time and resource intense activity in the IP/SoC development process. Automatic Register Ve

Source URL: www.agnisys.com

FioranoAPIConnect_DataSheet_Web.cdr

Source URL: www.fiorano.com

• Application programming interfaces
• Cloud computing
• Cloud applications
• Technical communication
• Mobile backend as a service
• Web API
• IBM API Management
• Cloud API

ISO/IEC TR 18015:2004(EInformation Technology — Programming languages, their environments and system software interfaces

Source URL: stroustrup.com

Telestream_Logotype_CMYK_2013

Source URL: www.telestream.net

• Software
• Screencasting software
• Graphical user interfaces
• Screencast
• Training
• ScreenFlow
• Telestream
• Script