|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 326 occurrences of 253 keywords
|
|
|
Results
Found 412 publication records. Showing 412 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Deepak Kapur, Mahadevan Subramaniam |
Mechanically Verifying a Family of Multiplier Circuits. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Stanley M. Sutton Jr., Leon J. Osterweil |
Product families and process families. |
ISPW |
1996 |
DBLP DOI BibTeX RDF |
software process families, host platforms, software process engineering, security, software engineering, product lines, software product families |
12 | James D. Hadley, Brad L. Hutchings |
Design methodologies for partially reconfigured systems. |
FCCM |
1995 |
DBLP DOI BibTeX RDF |
|
12 | James W. Coyne, Norman C. Kluksdahl |
"Mainstreaming" Automated Information Systems Security Engineering (a case study in security run amok). |
CCS |
1994 |
DBLP DOI BibTeX RDF |
|
12 | Jeffrey A. Barnett |
Calculating Dempster-Shafer Plausibility. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1991 |
DBLP DOI BibTeX RDF |
plausible reasoning, Dempster-Shafer, belief calculus, probability, probability, inference mechanisms, decision theory, decision theory, equality, calculus, sufficient condition, choice, plausibility |
12 | John Lamping |
An Algorithm for Optimal Lambda Calculus Reduction. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Frank Wm. Tompa |
A Data Model for Flexible Hypertext Database Systems. |
ACM Trans. Inf. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
12 | D. Jeannes |
Technology for managing large packet switching networks (panel session, abstract only). |
SIGCOMM |
1985 |
DBLP DOI BibTeX RDF |
|
12 | Alex Pentland |
Models (fractal and otherwise) for perception and generation of images. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
|
12 | Roy M. Jenevein, James C. Browne |
A control processor for a reconfigurable array computer. |
ISCA |
1982 |
DBLP BibTeX RDF |
|
12 | Bharat K. Bhargava, Stephen R. Kimbleton, Barbara H. Liskov, Jack Minker, Jeffrey D. Ullman |
Crossfertilization Of DBMS Research With Other Disciplines Of Computer Science (Panel Discussion). |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
|
12 | Neil C. Wilhelm |
A General Model for the Performance of Disk Systems. |
J. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #412 of 412 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|