Lines Matching refs:title

9 title = {{TESLA: temporally enhanced system logic assertions}},
16  title = {Maximising Student Exposure to Networking Using FreeBSD Virtual Hosts},
36 …title = {An Independent H-TCP Implementation Under FreeBSD 7.0: Description and Observed Behaviour…
56  title = {Integration of the FreeBSD TCP/IP-stack into the Discrete Event Simulator OMNet++},
71  title = {Social Interactions Around Cross-system Bug Fixings: The Case of FreeBSD and OpenBSD},
90  title = {Evaluation of Source Code Copy Detection Methods on Freebsd},
108  title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
128  title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
148  title = {Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine},
166  title = {Forth and the FreeBSD Bootloader},
185  title = {Reasoning About SMP in FreeBSD},
200  title = {The Evolution of FreeBSD and Linux},
218  title = {Optimizing the BSD Routing System for Parallel Processing},
236  title = {The Design and Implementation of the 4.4BSD Operating System},
245  title = {The Design and Implementation of the FreeBSD Operating System},
253  title = {The Design and Implementation of the FreeBSD Operating System},
262  title = {Thread Scheduling in FreeBSD 5.2},
281  title = {An Implementation of the Yarrow PRNG for FreeBSD},
296  title = {Global Software Development in the freeBSD Project},
314  title = {A Tale of Four Kernels},
332  title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},
348  title = {The CHERI Capability Model: Revisiting RISC in an Age of Risk},