|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 2 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
60 | Nagendra J. Kumar, Vasanth Asokan, Siddhartha Shivshankar, Alexander G. Dean |
Efficient software implementation of embedded communication protocol controllers using asynchronous software thread integration with time- and space-efficient procedure calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 6(1), pp. 2, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous software thread integration, J1850, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency |
60 | Nagendra J. Kumar, Siddhartha Shivshankar, Alexander G. Dean |
Asynchronous software thread integration for efficient software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 37-46, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
J1850, asynchronous software thread integration, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency |
46 | Nikolaus Lange, Matthias Mutz |
Formale Verifikation eines funktionalen VHDL Modells der J1850 Busarbitrierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998, pp. 67-74, 1998, HNI-Verlagsschriften. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | E. Allen Emerson, Kedar S. Namjoshi |
Verification of Parameterized Bus Arbitration Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 452-463, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|