Incremental Verification of Timing Constraints for Real-Time Systems (2004)
Andrei, Åtefan, Chin, Wei Ngan, Rinard, Martin C.
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...
Incremental Verification of Timing Constraints for Real-Time Systems (2004)
Andrei, Åtefan, Chin, Wei Ngan, Rinard, Martin C.
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...
A New Constructive Method for the One-Letter Context-Free Grammars (2003)
Andrei, Åtefan, Chin, Wei Ngan
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...
A New Constructive Method for the One-Letter Context-Free Grammars (2003)
Andrei, Åtefan, Chin, Wei Ngan
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...
Solving a Class of Higher-Order Equations over a Group Structure (2003)
Andrei, Åtefan, Chin, Wei Ngan
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...
Solving a Class of Higher-Order Equations over a Group Structure (2003)
Andrei, Åtefan, Chin, Wei Ngan
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...