|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
92 | George R. Ribeiro-Justo |
A rigorous method for the constructive design of parallel and distributed programs. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems |
83 | Gregory Neven |
Efficient Sequential Aggregate Signed Data. |
EUROCRYPT |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Lingling Zi, Xin Cong |
SASD: A Shape-Aware Saliency Object Detection Approach for RGB-D Images. |
CICAI (1) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Zhou Zhou 0007, Xi Zhang, Qingyun Liu, Yujia Zhu, Da Li 0002, Li Guo |
SASD: A Self-Adaptive Stateful Decompression Architecture. |
GLOBECOM |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Fan Zhang 0008, Renee Drabier |
SASD: the Synthetic Alternative Splicing Database for identifying novel isoform from proteomics. |
BMC Bioinform. |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Juraj Svec |
Slovak Archive of Social Data (SASD) and Its Experiences with Implementing DDI 3.0. |
IASSIST Conference |
2009 |
DBLP BibTeX RDF |
|
28 | Muhammad Fahad 0011 |
ER2OWL: Generating OWL Ontology from ER Diagram. |
Intelligent Information Processing |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|