|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 20 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
Architecture optimisation with currawong.  |
Computer Communication Review  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
Architecture optimisation with Currawong. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
optimization, prolog, optimisation, android, binary rewriting |
| 1 | Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker |
capDL: a language for describing capability-based systems. |
ApSys |
2010 |
DBLP DOI BibTeX RDF |
SEL4, capability distribution, capabilities, security analysis, isabelle |
| 1 | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
Automatic device driver synthesis with termite. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
domain-specific languages, device drivers, software synthesis, two-player games |
| 1 | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
Dingo: taming device drivers. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance |
| 1 | Ihor Kuz, Yan Liu, Ian Gorton, Gernot Heiser |
CAmkES: A component model for secure microkernel-based embedded systems. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters |
Towards trustworthy computing systems: taking microkernels to the next level. |
Operating Systems Review |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ihor Kuz, Yan Liu |
Extending the Capabilities of Component Models for Embedded Systems. |
QoSA |
2007 |
DBLP DOI BibTeX RDF |
embedded system, component, scenario, extension, architecture design |
| 1 | Liming Zhu, Yan Liu, Ian Gorton, Ihor Kuz |
Tools for Model Driven Development. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Potts, Ihor Kuz |
Adapting Distributed Shared Memory Applications in Diverse Environments. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan C. Popescu, Maarten van Steen, Bruno Crispo, Andrew S. Tanenbaum, Jan Sacha, Ihor Kuz |
Securely Replicated Web Documents. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ihor Kuz, Maarten van Steen, Henk J. Sips |
The globe infrastructure directory service. |
Computer Communications |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Pierre, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum |
Differentiated strategies for replicating Web documents. |
Computer Communications |
2001 |
DBLP BibTeX RDF |
|
| 1 | Henri E. Bal, Raoul Bhoedjang, Rutger F. H. Hofman, Ceriel J. H. Jacobs, Thilo Kielmann, Jason Maassen, Rob van Nieuwpoort, John Romain, Luc Renambot, Tim Rühl, Ronald Veldema, Kees Verstoep, Aline Baggio, Gerco Ballintijn, Ihor Kuz, Guillaume Pierre, Maarten van Steen, Andrew S. Tanenbaum, Gerben Doornbos, Desmond Germans, Hans J. W. Spoelder, Evert Jan Baerends, Stan J. A. van Gisbergen, Hamid Afsermanseh, G. Dick van Albada, Adam Belloum, David Dubbeldam, Zeger W. Hendrikse, Louis O. Hertzberger, Alfons G. Hoekstra, Kamil Iskra, Drona Kandhai, Dennis Koelma, Frank van der Linden, Benno J. Overeinder, Peter M. A. Sloot, Piero Spinnato, Dick H. J. Epema, Arjan J. C. van Gemund, Pieter P. Jonker, Andrei Radulescu, Kees van Reeuwijk, Henk J. Sips, Peter M. W. Knijnenburg, Michael S. Lew, Floris Sluiter, Lex Wolters, Hans Blom, Cees de Laat |
The Distributed ASCI Supercomputer Project. |
Operating Systems Review |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz, Patrick Verkaik, I. van der Wijk, Maarten van Steen, Andrew S. Tanenbaum |
The Globe Distribution Network. |
USENIX Annual Technical Conference, FREENIX Track |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ihor Kuz, Patrick Verkaik, Maarten van Steen, Henk J. Sips |
A Distributed-Object Infrastructure for Corporate Websites. (PDF / PS) |
DOA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten van Steen, Andrew S. Tanenbaum, Ihor Kuz, Henk J. Sips |
A scalable middleware solution for advanced wide-area Web services. |
Distributed Systems Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Marie Kermarrec, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum |
A Framework for Consistent, Replicated Web Objects. |
ICDCS |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")