Susan Owicki
Susan Owicki
ไม่รู้จักเครือข่าย
ยืนยันอีเมลแล้วที่ owicki.com
ชื่อ
อ้างโดย
อ้างโดย
ปี
An axiomatic proof technique for parallel programs I
S Owicki, D Gries
Acta informatica 6 (4), 319-340, 1976
14561976
High-speed switch scheduling for local-area networks
TE Anderson, SS Owicki, JB Saxe, CP Thacker
ACM Transactions on Computer Systems (TOCS) 11 (4), 319-352, 1993
12731993
Proving liveness properties of concurrent programs
S Owicki, L Lamport
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (3), 455-495, 1982
8031982
Verifying properties of parallel programs: An axiomatic approach
S Owicki, D Gries
Communications of the ACM 19 (5), 279-285, 1976
6941976
Competitive randomized algorithms for nonuniform problems
AR Karlin, MS Manasse, LA McGeoch, S Owicki
Algorithmica 11 (6), 542-571, 1994
4561994
Network objects
A Birrell, G Nelson, S Owicki, E Wobber
ACM SIGOPS Operating Systems Review 27 (5), 217-230, 1993
3821993
Maintaining the time in a distributed system
K Marzullo, S Owicki
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
2591983
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,823,135, 2010
2352010
Empirical studies of competitve spinning for a shared-memory multiprocessor
AR Karlin, K Li, MS Manasse, S Owicki
ACM SIGOPS Operating Systems Review 25 (5), 41-55, 1991
2101991
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,430,670, 2008
1952008
Modular verification of computer communication protocols
B Hailpern, S Owicki
IEEE Transactions on Communications 31 (1), 56-68, 1983
1641983
Software self-defense systems and methods
J Horning, W Sibert, R Tarjan, U Maheshwari, W Horne, A Wright, ...
US Patent App. 11/506,321, 2007
1372007
Software self-defense systems and methods
JJ Homing, WO Sibert, RE Tarjan, U Maheshwari, WG Home, AK Wright, ...
US Patent 7,779,394, 2010
1332010
Fault tolerant distributed garbage collection system and method for collecting network objects
SS Owicki, AD Birrell, CG Nelson, EP Wobber
US Patent 5,446,901, 1995
1251995
A model and temporal proof system for networks of processes
V Nguyen, A Demers, D Gries, S Owicki
Distributed Computing 1 (1), 7-25, 1986
1141986
Distributed garbage collection for network objects
A Birrell, D Evers, G Nelson, S Owicki, E Wobber
Digital Equipment Corporation Systems Research Center, 1993
1061993
Verifying network protocols using temporal logic
BT Hailpern, SS Owicki
Stanford University, 1980
941980
Systems and methods for watermarking software and other media
WG Horne, U Maheshwari, RE Tarjan, JJ Horning, WO Sibert, ...
US Patent 7,770,016, 2010
922010
On the Use of Optimistic Methods for Concurrency Control in Distributed Databases.
S Ceri, SS Owicki
Berkeley Workshop, 117-129, 1982
851982
Software self-defense systems and methods
JJ Horning, WO Sibert, RE Tarjan, U Maheshwari, WG Horne, AK Wright, ...
US Patent 7,779,270, 2010
772010
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20