|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 21 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
204 | Benjamin Aminof, Orna Kupferman, Omer Lev |
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 183-197, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
110 | K. H. (Kane) Kim |
A Non-Blocking Buffer Mechanism for Real-Time Event Message Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 32(3), pp. 197-211, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
NBW, NBB, real time, middleware, distributed computing, synchronization, monitor, concurrent programming, object, thread, buffer, blocking, TMO, consumer, TMOSM, producer |
76 | Udi Boker, Orna Kupferman |
Co-ing Büchi Made Tight and Useful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 245-254, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Orna Kupferman, Moshe Y. Vardi |
From Complementation to Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 591-606, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Hermann Kopetz, Johannes Reisinger |
The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, pp. 131-137, 1993, IEEE Computer Society, 0-8186-4480-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
34 | K. H. Kim |
Basic Program Structures for Avoiding Priority Inversions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan, pp. 26-36, 2003, IEEE Computer Society, 0-7695-1928-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
NBW, NBAB, scheduling, real time, monitor, process, concurrent programming, inheritance, object, priority, deadline, TMO, inversion, urgency |
25 | Sunho Chang, Lee-Sup Kim |
Design trade-off in merged DRAM logic for video signal processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 267-270, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|