|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
Results
Found 4 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | Yiannis E. Papelis, Thomas L. Casavant |
Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
parallel/distributed software, transition enabling functions, TEFs, decision-making activities, analytical properties, PNs, TEFs, parallel/distributed software, formal specification, parallel programming, Petri nets, Petri nets, specification, distributed computing systems, expressive power |
51 | A. A. G. Tefs, T. A. Stadnyk, K. A. Koenig, Stephen J. Dery, M. K. MacDonald, P. Slota, J. Crawford, M. Hamilton |
Simulating river regulation and reservoir performance in a continental-scale hydrologic model. |
Environ. Model. Softw. |
2021 |
DBLP DOI BibTeX RDF |
|
46 | Wade Penson, Scott Fazackerley, Ramon Lawrence |
TEFS: A flash file system for use on memory constrained devices. |
CCECE |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|