|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ruth Haas, Michael Young |
The anti-Ramsey number of perfect matching.  |
Discrete Mathematics  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Burgarth, Vittorio Giovannetti, Leslie Hogben, Simone Severini, Michael Young |
Logic circuits from zero forcing |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | sarah-marie belcastro, Michael Young |
1-factor covers of regular graphs. |
Discrete Applied Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huan Liu, John J. Salerno, Michael Young, Rakesh Agrawal, Philip S. Yu |
Introduction to special issue on social computing, behavioral modeling, and prediction. |
TKDD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Young |
NN Music: Improvising with a 'Living' Computer. |
CMMR |
2007 |
DBLP DOI BibTeX RDF |
Live algorithms, performance systems, artificial neural networks, improvisation |
| 1 | Jonathan Gratch, Michael Young, Ruth Aylett, Daniel Ballin, Patrick Olivier (eds.) |
Intelligent Virtual Agents, 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006, Proceedings |
IVA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ross D. King, Michael Young, Amanda Clare, Kenneth Whelan, Jem J. Rowland |
The Robot Scientist Project. |
Discovery Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Blackwell, Michael Young |
Swarm Granulator. |
EvoWorkshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Young, David L. Levine, Richard N. Taylor |
Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models |
| 1 | Richard F. Rashid, Avadis Tevanian, Michael Young, David B. Golub, Robert V. Baron, David L. Black, William J. Bolosky, Jonathan Chew |
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
CMU Mach operating system, paged multiprocessor architecture, paged uniprocessor, Mach virtual-memory management system, architecture independence, distributed system support, parallel architectures, computer architecture, software portability, virtual storage |
| 1 | Avadis Tevanian, Richard F. Rashid, Michael Young, David B. Golub, Mary R. Thompson, William J. Bolosky, Richard Sanzi |
A UNIX Interface for Shared Memory and Memory Mapped Files Under Mach. |
USENIX Summer |
1987 |
DBLP BibTeX RDF |
|
| 1 | Michael Young, Avadis Tevanian, Richard F. Rashid, David B. Golub, Jeffrey L. Eppinger, Jonathan Chew, William J. Bolosky, David L. Black, Robert V. Baron |
The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. |
SOSP |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Rashid, Avadis Tevanian, Michael Young, David B. Golub, Robert V. Baron, David L. Black, William J. Bolosky, Jonathan Chew |
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Accetta, Robert V. Baron, William J. Bolosky, David B. Golub, Richard F. Rashid, Avadis Tevanian, Michael Young |
Mach: A New Kernel Foundation for UNIX Development. |
USENIX Summer |
1986 |
DBLP BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")