archives

EPrints submitted by Hridesh Rajan


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 30 EPrints

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-type Declarations. Technical Report 09-23b, Computer Science, Iowa State University.

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-type Declarations. Technical Report 09-23a, Computer Science, Iowa State University.

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) A Quantitative Cost/Benefit Analysis for Dynamic Updating. Technical Report 09-27, Computer Science, Iowa State University.

Gharaibeh, Bashar, Rajan, Hridesh and Chang, J. Morris (2009) Towards Efficient Virtual Machine Support for Flexible, Dynamic Deployment of Inter-type Declarations. Technical Report 09-23, Computer Science, Iowa State University.

Rajan, Hridesh, Tao, Jia, Shaner, Steve and Leavens, Gary T. (2009) Reconciling Trust and Modularity Goals in Web Services. Technical Report 08-07b, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2008) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14d, Computer Science, Iowa State University.

Setty, Rakesh, Dyer, Robert and Rajan, Hridesh (2008) Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models. Technical Report 08-02, Computer Science, Iowa State University.

Rajan, Hridesh (2007) Design Patterns in Eos. Technical Report, Department of Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14c, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14b, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.

Rajan, Hridesh (2007) Design Patterns in Eos. Technical Report, Department of Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.

Hanna, Youssef and Rajan, Hridesh (2007) Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms. Technical Report 07-11, Computer Science, Iowa State University.

Mahantesh, Hosamani, Harish, Narayanappa and Hridesh, Rajan (2007) Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture. Technical Report 07-07, Computer Science, Iowa State University.

Viswanath , Krishnamurthy, Tyler, Sondag and Hridesh, Rajan (2007) Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor. Technical Report 07-10, Computer Science, Iowa State University.

Hanna, Youssef and Rajan, Hridesh (2007) SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations. Technical Report 07-09, Computer Science, Iowa State University.

Mahantesh, Hosamani, Harish, Narayanappa and Hridesh, Rajan (2007) Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture. Technical Report 07-07, Computer Science, Iowa State University.

Dyer, Robert, Setty, Rakesh and Rajan, Hridesh (2007) Nu: Towards a Flexible and Dynamic Aspect-Oriented Intermediate Language Model. Technical Report 07-06, Computer Science, Iowa State University.

Dyer, Robert and Rajan, Hridesh (2006) Modular Compilation Strategies for Aspect-Oriented Constructs. Technical Report 06-30, Computer Science, Iowa State University.

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols. Technical Report 06-31, Computer Science, Iowa State University.

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) SLEDE: Event-Based Specification of Sensor Network Protocols. Technical Report, Computer Science, Iowa State University.

Dyer, Robert and Rajan, Hridesh (2006) Modular Program Transformations for Aspect-Oriented Constructs. Technical Report, Computer Science, Iowa State University.

Rajan, Hridesh, Dyer, Robert, Narayanappa, Harish and Hanna, Youssef (2006) Nu: Towards an Aspect-Oriented Invocation Mechanism. Technical Report, Dept. of Computer Sc., 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.

Rajan, Hridesh (2005) Nu: Enabling Modularity in Multilingual, Multienvironment, Distributed Systems. Technical Report, Computer Science, Iowa State University.

Rajan, Hridesh and Sullivan, Kevin (2005) Design Patterns: A Canonical Test of Unified Aspect Model. Technical Report, Department of Computer Science, Iowa State University.

Rajan, Hridesh and Sullivan, Kevin (2005) Classpects in Practice: A Test of the Unified Aspect Model. Technical Report, Department of Computer Science, Iowa State University.



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