|
|
|
This subject category contains 12 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 (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
|
