| 2008 |
|---|
| 6 | EE | Michael J. Carey,
Shahram Ghandeharizadeh,
K. Mehta,
Peter Mork,
Leonard J. Seligman,
S. Srivastava,
Sachin Thatte:
Semantically-Assisted Integration Query Editing in the AquaLogic Data Services Platform.
ICSC 2008: 482-483 |
| 5 | EE | S. Srivastava,
J. Roychowdhury:
Independent and Interdependent Latch Setup/Hold Time Characterization via Newton-Raphson Solution and Euler Curve Tracking of State-Transition Equations.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 817-830 (2008) |
| 4 | EE | B. A. Frigyik,
S. Srivastava,
M. R. Gupta:
Functional Bregman Divergence and Bayesian Estimation of Distributions.
IEEE Transactions on Information Theory 54(11): 5130-5139 (2008) |
| 2006 |
|---|
| 3 | EE | B. A. Frigyik,
S. Srivastava,
M. R. Gupta:
Functional Bregman Divergence and Bayesian Estimation of Distributions
CoRR abs/cs/0611123: (2006) |
| 2005 |
|---|
| 2 | EE | Tal Lev-Ami,
Neil Immerman,
Thomas W. Reps,
Shmuel Sagiv,
S. Srivastava,
Greta Yorsh:
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.
CADE 2005: 99-115 |
| 1998 |
|---|
| 1 | EE | S. Srivastava,
S. C. Bose,
B. P. Mathur,
Arti Noor,
Raj Singh,
A. S. Mandal,
K. Prabhakaran,
A. Karmakar,
Chandra Shekhar,
Sudhir Kumar,
Amit K. Agarwal:
Evolution of Architectural Concepts and Design Methods of Microprocessors.
VLSI Design 1998: 312-317 |
