|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manu Jose, Rupak Majumdar |
Cause clue clauses: error localization using maximum satisfiability.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Bug-Assist: Assisting Fault Localization in ANSI-C Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Cause Clue Clauses: Error Localization using Maximum Satisfiability |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manu Jose, Yu Hu, Rupak Majumdar, Lei He |
Rewiring for robustness. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
SPFD, FPGA, logic synthesis, soft errors, rewiring |
| 1 | Manu Jose, Yu Hu, Rupak Majumdar |
On power and fault-tolerance optimization in FPGA physical synthesis. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinod Pathari, Manu Jose, G. R. Ragul, P. Muhammed Irshad |
K-RTP: A Reliable Transport Layer Protocol for Wireless Sensor Networks. |
Wireless and Optical Communications |
2006 |
DBLP BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")