|
Search the dblp DataBase
Elena Teica:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rajesh Radhakrishnan, Elena Teica, Ranga Vemuri
Verification of Basic Block Schedules Using RTL Transformations. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:173-178 [Conf]
- Elena Teica, Rajesh Radhakrishnan, Ranga Vemuri
On the verification of synthesized designs using automatically generated transformational witnesses. [Citation Graph (0, 0)][DBLP] DATE, 2001, pp:798- [Conf]
- Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri
Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:19, n:3, pp:237-273 [Journal]
Search in 0.001secs, Finished in 0.001secs
|