×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [rajeev alur]
CIS 540 Principles of Embedded Computation Spring 2014 cis540/ Instructor: Rajeev Alur
[email protected]
261 views
A Fixpoint Calculus for Local and Global Program Flows Swarat Chaudhuri, U.Penn (with Rajeev Alur and P. Madhusudan)
217 views
CIS 540 Principles of Embedded Computation Spring 2015 cis540/ Instructor: Rajeev Alur
[email protected]
239 views
Art of Multiprocessor Programming1 Futures, Scheduling, and Work Distribution Companion slides for The Art of Multiprocessor Programming by Maurice Herlihy
215 views
EECE 396-1 Hybrid and Embedded Systems: Computation T. John Koo Institute for Software Integrated Systems Department of Electrical Engineering and Computer
213 views
Art of Multiprocessor Programming1 Concurrent Hashing Companion slides for The Art of Multiprocessor Programming by Maurice Herlihy & Nir Shavit Modified
227 views
WG5 Steve van Albert, Rajeev Alur, Douglas Barton, Ralph DePalma, Matthew Dwyer, Steven Getz, LeRoy Jones, Peter Kuzmak, Peter Lee, Rami Melhem, Jens Palsberg,
214 views
Streaming Tree Transducers
45 views
CSE Bytes & Pieces
223 views
Art of Multiprocessor Programming 1 Universality of Consensus Companion slides for The Art of Multiprocessor Programming by Maurice Herlihy & Nir Shavit
218 views
Linked Lists: Locking, Lock- Free, and Beyond … Companion slides for The Art of Multiprocessor Programming by Maurice Herlihy & Nir Shavit Modified by
221 views
Automated Bandwidth Allocation Problems in Data Centers
44 views