Searching for authors named "Ken Wong" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

Looking at Code with Your Safety Goggles on
by Ken Wong — 1998 — in Ada-Europe International Conference on Reliable Software Technologies (LNCS 1411
…Looking at Code With Your Safety Goggles On Ken Wong Department of Computer Science, University…
Cited by 4 (1 self) – Add To MetaCart

Distributed Computing Systems and Checkpointing
by Ken Wong, Mark Franklin — 1993 — in Proc. 2nd Int. Symp. High Perf. Distr. Comp
…Distributed Computing Systems and Checkpointing* Ken Wong and Mark Franklin The Computer…
Cited by 9 (0 self) – Add To MetaCart

Refinement of Safety-Related Hazards into Verifiable Code Assertions
by Ken Wong, Jeff Joyce — 1998 — Turku Centre for Computer Science Lemminkisenkatu 14 FIN-20520 Turku Finland http://www.tucs.fi/ University of Turku . Department of Mathematical Sciences bo Akademi University . Department of Computer Science . Institute for
…Refinement of Safety-Related Hazards into Verifiable Code Assertions Ken Wong 1 and Jeff Joyce 2 1…
Cited by 2 (0 self) – Add To MetaCart

Generating Safety Verification Conditions Through Fault Tree Analysis and Rigorous Reasoning
by Jeffrey Joyce, Ken Wong — 1998 — in Proceedings of the 16th International System Safety Conference
… Jeffrey Joyce; Raytheon Systems Canada Ltd.; Richmond, BC, Canada Ken Wong; Department of Computer Science…
Cited by 1 (1 self) – Add To MetaCart

Looking at Code With Your Safety Goggles On
by Ken Wong Department, Ken Wong — 1998 — in Ada-Europe International Conference on Reliable Software Technologies (LNCS 1411
…Looking at Code With Your Safety Goggles On Ken Wong Department of Computer Science, University…
Add To MetaCart

Refinement of Safety-Related Hazards into Verifiable Code Assertions
by Ken Wong And, Ken Wong, Jeff Joyce — Turku Centre for Computer Science Lemminkisenkatu 14 FIN-20520 Turku Finland http://www.tucs.fi/ University of Turku . Department of Mathematical Sciences bo Akademi University . Department of Computer Science . Institute for
…Refinement of Safety-Related Hazards into Verifiable Code Assertions Ken Wong 1 and Jeff Joyce 2…
Add To MetaCart

Ensuring the Inspectability, Repeatability and Maintainability of the Safety Verification of a Critical System
by Ken Wong, Jeff Joyce, Jim Ronback — 1998
… Critical System Ken Wong Department of Computer Science University of British Columbia Vancouver, BC…
Cited by 1 (1 self) – Add To MetaCart

Distributed Queueing in Scalable High Performance Routers
by Prashanth Pappu, Jyoti Parwatikar, Jonathan Turner, Ken Wong — 2003 — in Proceedings of IEEE Infocom
…, Jonathan Turner and Ken Wong Computer Science and Engineering Department Washington University St. Louis…
Cited by 3 (1 self) – Add To MetaCart

Experimental Evaluation of a Coarse-Grained Switch Scheduler
by Charlie Wiseman, Jon Turner, Ken Wong, Brandon Heller
….turner@(email omitted); Ken Wong Washington University +1-314-935-7524 kenw@(email omitted); Brandon Heller Washington University…
Add To MetaCart

Implementation of an Open Multi-Service Router
by David Richards, David Taylor, Jon Turner, Fred Kuhns John, Fred Kuhns, John Dehart, John Dehart, Ralph Keller, Ralph Keller, John Lockwood, John Lockwood, Jyoti Parwatikar, Jyoti Parwatikar, Richards David Taylor, Ken Wong, Ken Wong — 2001
… and Ken Wong WUCS-01-20 August 15, 2001 Department of Computer Science Campus Box 1045 Washington…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB