ResourceSync: Leveraging Sitemaps for Resource Synchronization Bernhard Haslhofer Simeon Warner

Source URL: www2013.wwwconference.org

• Computing
• Data
• Web design
• Data synchronization
• Communication
• Concurrency
• Synchronization
• Sitemaps
• Site map
• Microsoft Sync Framework
• Europeana
• Protocol for Metadata Harvesting

34 Summary Dialogue on Concurrency Professor: So, does your head hurt now? Student: (taking two Motrin tablets) Well, some. It’s hard to think about all the ways threads can interleave.

Source URL: pages.cs.wisc.edu

Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University

Source URL: www.cs.columbia.edu

• Concurrent computing
• Software bugs
• Computer memory
• Software testing
• Edsger W. Dijkstra
• Concurrency
• Code injection
• Computer security
• Go
• Lock
• Thread
• Parallel computing

Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang

Source URL: www.cs.columbia.edu

• Parallel computing
• Compiler optimizations
• Concurrent computing
• Concurrency
• OpenMP
• Thread
• Synchronization
• Optimizing compiler
• Data-flow analysis
• Static single assignment form
• POSIX Threads

Motivations for Atomicity 1. Beyond Race Conditions Lightweight Analyses For Reliable Concurrency

Source URL: dept.cs.williams.edu

36th International Conference on Application and Theory of Petri Nets and Concurrency Practical Work Part 1 Understanding

Source URL: www.cosyverif.org

PROGRAMMING LANGUAGE APPROACHES TO CONCURRENCY AND COMMUNICATION-CENTRIC SOFTWARE June 7, 2008, Oslo, Norway http://places08.di.fc.ul.pt/

Source URL: places08.di.fc.ul.pt

Chair of Software Engineering Robotics Programming Laboratory Bertrand Meyer Jiwon Shin

Source URL: se.inf.ethz.ch

• Concurrency
• Deadlock
• Edsger W. Dijkstra
• Lock

How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored

Source URL: www.hboehm.info

• Computing
• Software engineering
• Software
• Compiler construction
• Concurrency
• Programming language implementation
• Parallel computing
• Memory model
• Volatile
• Java memory model
• OpenMP
• Optimizing compiler

Bulk File I/O Extensions to Java Dan Bonachea EECS Department University of California, Berkeley Berkeley, CA 94720, USA

Source URL: titanium.cs.berkeley.edu

• Computing
• Java platform
• Concurrent computing
• Java
• Asynchronous I/O
• Concurrency control
• Input/output
• Message Passing Interface
• Actor model
• Non-blocking I/O
• Thread
• Synchronization