| 2009 |
|---|
| 13 | EE | Rajesh K. Bawa,
Srinivasan Natesan:
An efficient hybrid numerical scheme for convection-dominated boundary-value problems.
Int. J. Comput. Math. 86(2): 261-273 (2009) |
| 2008 |
|---|
| 12 | EE | Rajesh K. Bawa,
Vinod Kumar:
An Efficient Computational Technique for a System of Singularly Perturbed Initial Value Problems.
NAA 2008: 184-191 |
| 2007 |
|---|
| 11 | EE | Rajesh K. Bawa:
A parallel approach for self-adjoint singular perturbation problems using Numerov's scheme.
Int. J. Comput. Math. 84(3): 317-323 (2007) |
| 2006 |
|---|
| 10 | EE | Rajesh K. Bawa,
Srinivasan Natesan:
Parallel Implementation of a Spline Based Computational Approach for Singular Perturbation Problems.
HiPC 2006: 254-262 |
| 9 | EE | Rajesh K. Bawa:
Parallelizable Computational Technique for Singularly Perturbed Boundary Value Problems Using Spline.
ICCSA (1) 2006: 1177-1182 |
| 8 | EE | Rajesh K. Bawa,
V. Rathish Kumar,
Tanu Gupta:
Parallel Mesh Division Algorithm For General Linear Two Point Boundary Value Problems.
PARELEC 2006: 417-420 |
| 2005 |
|---|
| 7 | EE | Rajesh K. Bawa,
Srinivasan Natesan:
Quintic Spline Based Computational Scheme for Singularly Perturbed Convection-Diffusion Problems.
HPCS 2005: 24-28 |
| 6 | EE | Rajesh K. Bawa,
Srinivasan Natesan:
Uniformly Convergent Computational Technique for Singularly Perturbed Self-adjoint Mixed Boundary-Value Problems.
International Conference on Computational Science (3) 2005: 1104-1107 |
| 5 | EE | Rajesh K. Bawa:
Spline based computational technique for linear singularly perturbed boundary value problems.
Applied Mathematics and Computation 167(1): 225-236 (2005) |
| 1999 |
|---|
| 4 | EE | Ludovic Jacomme,
Frédéric Pétrot,
Rajesh K. Bawa:
Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis.
VLSI Design 1999: 151-156 |
| 1998 |
|---|
| 3 | | Fahim Rahim-Sarwary,
Emmanuelle Encrenaz,
Michel Minoux,
Rajesh K. Bawa:
Modular model checking of VLSI designs described in VHDL.
Computers and Their Applications 1998: 368-371 |
| 2 | EE | Ludovic Jacomme,
Frédéric Pétrot,
Rajesh K. Bawa:
Formal Extraction of Memorizing Elements for Sequential VHDL Synthesis.
EUROMICRO 1998: 10317-10620 |
| 1996 |
|---|
| 1 | | Rajesh K. Bawa,
Emmanuelle Encrenaz:
A Tool for Translation of VHDL Descriptions into a Formal Model and its Application to Formal Verification and Synthesis.
FTRTFT 1996: 471-474 |
