|
|
|
|
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.  |
LPAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 110 | K. H. (Kane) Kim |
A Non-Blocking Buffer Mechanism for Real-Time Event Message Communication. |
Real Time Syst. |
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. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 51 | Orna Kupferman, Moshe Y. Vardi |
From Complementation to Certification. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 46 | Hermann Kopetz, Johannes Reisinger |
The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem. |
RTSS |
1993 |
DBLP DOI BibTeX RDF |
|
| 34 | K. H. Kim |
Basic Program Structures for Avoiding Priority Inversions. |
ISORC |
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. |
ISCAS (5) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license