Microkernel - PDFSEARCH.IO - Document Search Engine

Microkernel
Results: 368

#	Item
131	ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:48 Academia Gernot Heiser Red Lizard Software Gi-Fi L4 microkernel family Defence Science and Technology Organisation University of New South Wales Research Formal verification Association of Commonwealth Universities NICTA UNSW School of Computer Science and Engineering
132	2015 COURSE CALENDAR for Vocational Graduate Diploma of Family Dispute Resolution (CHC80308) Parramatta Commencing May[removed]Completing December[removed] Add to Reading List Source URL: www.ifp.nsw.edu.au Language: English - Date: 2015-03-24 02:58:28 L4 microkernel family Dispute resolution Mediation Parramatta New South Wales
133	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Copyleft Computer law Intellectual property law Automated theorem proving Formal methods Isabelle L4 microkernel family Creative Commons KeY Open content Mathematical software Law
134	ISSUE 17 March[removed]www.nicta.com.au NICTA writes recipe for impact Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:43 Technology Gi-Fi Open Kernel Labs Gernot Heiser L4 microkernel family Electronics CeBIT Future Internet University of New South Wales Association of Commonwealth Universities Computing NICTA
135	Read-Copy-Update for HelenOS http://d3s.mff.cuni.cz Martin Děcký [removed] Add to Reading List Source URL: archive.fosdem.org Language: English - Date: 2014-10-24 07:45:52 System software HelenOS Lock Read-copy-update Synchronization Concurrent data structure Asynchrony Microkernel Linearizability Concurrency control Computer architecture Computing
136	2015 COURSE CALENDAR for Vocational Graduate Diploma of Family Dispute Resolution (CHC80308) Parramatta Commencing October[removed]Completing June[removed] Add to Reading List Source URL: ifp.nsw.edu.au Language: English - Date: 2015-03-24 02:58:53 Parramatta New South Wales Mediation L4 microkernel family
137	2015 COURSE CALENDAR for Vocational Graduate Diploma of Family Dispute Resolution (CHC80308) Parramatta Commencing May[removed]Completing December[removed] Add to Reading List Source URL: ifp.nsw.edu.au Language: English - Date: 2015-03-24 02:58:28 L4 microkernel family Dispute resolution Mediation Parramatta New South Wales
138	2015 COURSE CALENDAR for Vocational Graduate Diploma of Family Dispute Resolution (CHC80308) Parramatta Commencing October[removed]Completing June[removed] Add to Reading List Source URL: www.ifp.nsw.edu.au Language: English - Date: 2015-03-24 02:58:53 Parramatta New South Wales Mediation L4 microkernel family
139	Introduction Tasks Memory Add to Reading List Source URL: archive.fosdem.org Language: English - Date: 2014-10-24 07:45:52 Kernel Operating system Thread Architecture of Windows NT Ring Mach Microkernel Computer architecture Donald Knuth MMIX
140	Trustworthy Embedded Systems http://www.ertos.nicta.com.au/ Trustworthy Embedded Systems ERTOS-2 Project Plan 2009–2013 [removed] Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:39 Real-time operating systems Trusted computing base Embedded operating systems Microkernel L4 microkernel family Evaluation Multiple Independent Levels of Security Multilevel security Kernel Computer architecture Computer security Computing

UPDATE