Search the dblp DataBase
Phil Kearns :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jeffrey Dobbelaere , Phil Kearns , Jean Mayo The Advantages of Real Time in TORA. [Citation Graph (0, 0)][DBLP ] CAINE, 2003, pp:225-229 [Conf ] Robert Matthews , Phil Kearns On-Line Rollback in Log-Structured File Systems. [Citation Graph (0, 0)][DBLP ] CAINE, 2003, pp:11-16 [Conf ] Phil Kearns , Tracy Camp , Mohan Ahuja An Implementation of Flush Channels Based on a Verification Methodology. [Citation Graph (0, 0)][DBLP ] ICDCS, 1992, pp:336-343 [Conf ] Jean Mayo , Phil Kearns Distributed Deadlock Detection and Resolution Based on Hardware Clocks. [Citation Graph (0, 0)][DBLP ] ICDCS, 1999, pp:208-215 [Conf ] William S. Lloyd , Phil Kearns Bounding Sequence Numbers in Distributed Systems: a General Approach. [Citation Graph (0, 0)][DBLP ] ICDCS, 1990, pp:312-319 [Conf ] Madalene Spezialetti , Phil Kearns Efficient Distributed Snapshots. [Citation Graph (0, 0)][DBLP ] ICDCS, 1986, pp:382-388 [Conf ] Serge E. Hallyn , Phil Kearns Tools to Administer Domain and Type Enforcement. [Citation Graph (0, 0)][DBLP ] LISA, 2001, pp:151-156 [Conf ] Robert M. Marmorstein , Phil Kearns Firewall Analysis with Policy-based Host Classification. [Citation Graph (0, 0)][DBLP ] LISA, 2006, pp:41-51 [Conf ] Robert M. Marmorstein , Phil Kearns An Open Source Solution for Testing NAT'd and Nested iptables Firewalls. [Citation Graph (0, 0)][DBLP ] LISA, 2005, pp:103-112 [Conf ] James Deverick , Phil Kearns Towards a Deep-Packet-Filter Toolkit for Securing Legacy Resources. [Citation Graph (0, 0)][DBLP ] LISA, 2005, pp:237-248 [Conf ] Jean Mayo , Phil Kearns Efficient Distributed Termination Detection with Roughly Synchronized Clocks. [Citation Graph (0, 0)][DBLP ] Parallel and Distributed Computing and Systems, 1995, pp:305-307 [Conf ] Anna Brunstrom , Phil Kearns A User Level Implementation of Flush Channels. [Citation Graph (0, 0)][DBLP ] Parallel and Distributed Computing and Systems, 1995, pp:125-128 [Conf ] Sharon Simmons , Phil Kearns A Causal Assert Statement for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Parallel and Distributed Computing and Systems, 1995, pp:495-498 [Conf ] Natasha Jarymowycz , Phil Kearns Valid Debugging for Distributed Shared Memory. [Citation Graph (0, 0)][DBLP ] PDPTA, 2002, pp:624-630 [Conf ] Phil Kearns , M. Freeman CCAL: An interpreted language for experimentation in concurrent control. [Citation Graph (0, 0)][DBLP ] PLDI, 1987, pp:283-291 [Conf ] Jean Mayo , Phil Kearns A secure unrestricted advanced systems laboratory. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1999, pp:165-169 [Conf ] S. L. Peterson , Phil Kearns Rollback Based on Vector Time. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1993, pp:68-77 [Conf ] Serge E. Hallyn , Phil Kearns Modular Construction of DTE Policies. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, FREENIX Track, 2004, pp:81-91 [Conf ] Robert M. Marmorstein , Phil Kearns A Tool for Automated iptables Firewall Analysis. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, FREENIX Track, 2005, pp:71-81 [Conf ] Phil Kearns , Jeffery E. Payne Time-based performance evaluation of protocols for distributed systems: an alternative to message counting. [Citation Graph (0, 0)][DBLP ] Winter Simulation Conference, 1990, pp:441-445 [Conf ] Jean Mayo , Phil Kearns Distributed Termination Detection with Roughly Synchronized Clocks. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1994, v:52, n:2, pp:105-108 [Journal ] Tracy Camp , Phil Kearns Fast batched data transfer with flush channels: A performance analysis. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2006, v:66, n:6, pp:780-795 [Journal ] Jean R. S. Blair , Phil Kearns , Mary Lou Soffa An optimistic implementation of the stack-heap. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1985, v:5, n:3, pp:193-202 [Journal ] William S. Lloyd , Phil Kearns Tracing the execution of distributed programs. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1993, v:21, n:3, pp:201-214 [Journal ] Phil Kearns A Correct and Unrestrictive Implementation of General Semaphores. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1988, v:22, n:4, pp:46-48 [Journal ] Sharon Simmons , Dennis Edwards , Phil Kearns Communication analysis of distributed programs. [Citation Graph (0, 0)][DBLP ] Scientific Programming, 2006, v:14, n:2, pp:151-170 [Journal ] Tracy Camp , Phil Kearns , Mohan Ahuja Proof Rules for Flush Channels. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1993, v:19, n:4, pp:366-378 [Journal ] Using tracing to direct our reasoning about distributed programs. [Citation Graph (, )][DBLP ] Assisted Firewall Policy Repair Using Examples and History. [Citation Graph (, )][DBLP ] A secure networked laboratory for kernel programming. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.303secs