archives

Browse by Subject: COMPUTER SYSTEM IMPLEMENTATION


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 4 entries

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 (2012) Open Effects. Technical Report 12-02, Computer Science, Iowa State University.

Rajan, Hridesh, Dyer, Robert, Hanna, Youssef and Narayanappa, Harish (2006) Preserving Separation of Concerns Through Compilation. Technical Report, Computer Science, Iowa State University.

Subramanian, Nalin and Ghosh, Arka (2007) Statistical Verification and Validation of an Energy-Balanced Model for Data Transmission in Sensor Networks. Technical Report, Computer Science, Iowa State University.



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