1. ScholarBank@NUS

Joxan Jaffar

rp09652

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Joxan Jaffar
Variants
Jaffar, Joxan
Jaffar, J.
 
Main Affiliation
 
Faculty
 
Email
dcsjj@nus.edu.sg
 

Publications

Refined By:
Date Issued:  [2000 TO 2009]
Department:  COMPUTER SCIENCE

Results 1-19 of 19 (Search time: 0.006 seconds).

Issue DateTitleAuthor(s)
12004A CLP approach to modelling systemsJaffar, J. 
22006A CLP method for compositional and intermittent predicate abstractionJaffar, J. ; Santosa, A.E. ; Voicu, R. 
32004A CLP proof method for timed automataJaffar, J. ; Santosa, A. ; Voicu, R. 
42008A coinduction rule for entailment of recursively defined propertiesJaffar, J. ; Santosa, A.E. ; Voicu, R. 
52001An efficient algorithm for scheduling instructions with deadline constraints on ILP processorsWu, H. ; Jaffar, J. 
62002An efficient distributed deadlock avoidance algorithm for the AND modelWu, H. ; Chin, W.-N. ; Jaffar, J. 
72009An interpolation method for CLP traversalJaffar, J. ; Santosa, A.E. ; Voicu, R. 
82005Coordination of many agentsJaffar, J. ; Yap, R.H.C. ; Zhu, K.Q. 
92008Efficient memoization for dynamic programming with ad-hoc constraintsJaffar, J. ; Santosa, A.E. ; Voicu, R. 
102000Fast algorithm for scheduling instructions with deadline constraints on RISC machinesWu, Hui ; Jaffar, Joxan ; Yap, Roland 
112000Framework for combining analysis and verificationHeintze, N.; Jaffar, J. ; Voicu, R. 
122007Generalized committed choiceJaffar, J. ; Yap, R.H.C. ; Zhu, K.Q.
132006Indexing for dynamic abstract regionsJaffar, J. ; Yap, R.H.C. ; Zhu, K.Q.
142006Instruction scheduling with release times and deadlines on ILP processorsWu, H.; Jaffar, J. ; Xue, J.
152005Modeling systems in CLPJaffar, J. ; Santosa, A.E. ; Voicu, R. 
162009Recursive abstractions for parameterized systemsJaffar, J. ; Santosa, A.E. 
172006Relative safetyJaffar, J. ; Santosa, A.E. ; Voicu, R. 
182004Scalable distributed depth-first search with greedy work stealingJaffar, J. ; Santosa, A.E. ; Yap, R.H.C. ; Zhu, K.Q. 
192002Two processor scheduling with real release times and deadlinesWu, H. ; Jaffar, J.