DSpace Repository

Browsing Technical Reports by Author "Abhik ROYCHOUDHURY"

Browsing Technical Reports by Author "Abhik ROYCHOUDHURY"

Sort by: Order: Results:

  • Xianfeng LI; Abhik ROYCHOUDHURY; Tulika MITRA (2004-08-01)
    Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typically model the timing effects of ...
  • Lei XIE; Abhik ROYCHOUDHURY; Tulika MITRA (2003-07-01)
    The semantics of Java multithreading dictates all possible behaviors that a multithreaded Java program can exhibit on any platform. This is called the Java memory model and describes the allowed re-orderings among the ...
  • Shishir C. CHOUDHARY; Abhik ROYCHOUDHURY; Roland Hock Chuan YAP (2003-07-01)
    Message Sequence Charts (MSC) have traditionally been used as a weak form of requirements specification in software design; they denote scenarios which may happen. Live Sequence Charts (LSC)extend Message Sequence Charts ...

Search DSpace


My Account