archives

Browse by Subject: Concurrent Programming


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 14 entries

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2005) SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems. Technical Report 05-19, Computer Science, Iowa State University.

Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2004) SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings. Technical Report 04-09, Computer Science, Iowa State University.

Long, Yuheng (2014) Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency. Technical Report 13-04a, Computer Science, Iowa State University.

Long, Yuheng (2013) Open Effects: Programmer-guided Effects for Open World Concurrent Programs. Technical Report 13-04, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects: Optimistic Effects for Dynamic Dispatch. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects: Optimistic Effects for Dynamic Dispatch. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2010) A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems. Technical Report 10-09, Computer Science, Iowa State University.

Long, Yuheng, Mooney, Sean, Tyler, Sondag and Rajan, Hridesh (2010) Panini: Reconciling Concurrency and Modularity in Design. Technical Report 09-28B, Computer Science, Iowa State University.

Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Vaibhav, Sundriyal and Masha, Sosonkina (2011) Per-call Energy Saving Strategies in All-to-all Communications. Technical Report 11-05, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu