Singapore-MIT Alliance (SMA): Recent submissions

Now showing items 175-177 of 554

    • Memory Usage Inference for Object-Oriented Programs 

      Nguyen, Huu Hai; Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2005-01)
      We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias ...

    • Memory Hierarchy Hardware-Software Co-design in Embedded Systems 

      Ge, Zhiguo; Lim, H. B.; Wong, Weng Fai (2005-01)
      The memory hierarchy is the main bottleneck in modern computer systems as the gap between the speed of the processor and the memory continues to grow larger. The situation in embedded systems is even worse. The memory ...

    • Matching Interest Points Using Projective Invariant Concentric Circles 

      Chiu, Han-Pang; Lozano-Pérez, Tomás (2005-01)
      We present a new method to perform reliable matching between different images. This method exploits a projective invariant property between concentric circles and the corresponding projected ellipses to find complete region ...