Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for WPDS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005 (1) 2008 (1) 2009 (1)
Publication types (Num. hits)
article(1) inproceedings(2)
Venues (Conferences, Journals, ...)
ACM Trans. Design Autom. Elect...(1) Bangalore Compute Conf.(1) CAV(1)
Authors
Akash Lal(1) Arul Ganesh(1) Avinoam Kolodny(1) Chi-Hua Chen(1) David Melski(1) Gogul Balakrishnan(1) Junghee Lim(1) K. Gopinath(1) Konstantin Moiseev(1) Nicholas Kidd(1) Radu Gruian(1) Shmuel Wimer(1) Suan Hsi Yong(1) Thomas W. Reps(1) Tim Teitelbaum(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
130Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. Search on Bibsonomy CAV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Arul Ganesh, K. Gopinath SPKI/SDSI certificate chain discovery with generic constraints. Search on Bibsonomy Bangalore Compute Conf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF WPDS, certificate chain, validity specification, security, policy, SPKI/SDSI
56Konstantin Moiseev, Avinoam Kolodny, Shmuel Wimer Power-delay optimization in VLSI microprocessors by wire spacing. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Wire spacing, power optimization, interconnect optimization, delay-optimization
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license