Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1994 (2)
Publication types (Num. hits)
article(2)
Venues (Conferences, Journals, ...)
IEEE Trans. Software Eng.(1) Int. J. Comput. Simul.(1)
Authors
Ganesh Gopalakrishnan(2) Venkatesh Akella(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 15 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
102Venkatesh Akella, Ganesh Gopalakrishnan Specification and Validation of Control-Intensive IC's in hopCP. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
46Venkatesh Akella, Ganesh Gopalakrishnan CFSIM: A Concurrent Compiled Code Functional Simulator for hopCP. Search on Bibsonomy Int. J. Comput. Simul. The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #2 of 2 (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