|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 15 keywords
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
138 | Venkatesh Akella, Ganesh Gopalakrishnan |
Specification and Validation of Control-Intensive IC's in hopCP. |
IEEE Trans. Software Eng. |
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 |
59 | Ganesh Gopalakrishnan, Venkatesh Akella |
High-level optimizations in compiling process descriptions to asynchronous circuits. |
J. VLSI Signal Process. |
1994 |
DBLP DOI BibTeX RDF |
|
42 | Venkatesh Akella, Ganesh Gopalakrishnan |
CFSIM: A Concurrent Compiled Code Functional Simulator for hopCP. |
Int. J. Comput. Simul. |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|