Browsing Singapore-MIT Alliance (SMA) by Author "Andrei, Å tefan"

Now showing items 1-3 of 3

    • Incremental Verification of Timing Constraints for Real-Time Systems 

      Andrei, Å tefan; Chin, Wei Ngan; Rinard, Martin C. (2005-01)
      Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by ...

    • A New Constructive Method for the One-Letter Context-Free Grammars 

      Andrei, Å tefan; Chin, Wei Ngan (2004-01)
      Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars for which this is always ...

    • Solving a Class of Higher-Order Equations over a Group Structure 

      Andrei, Å tefan; Chin, Wei Ngan (2003-01)
      In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the ...