A {NICE} way to test {OpenFlow} applications M Canini, D Venzano, P Perešíni, D Kostić, J Rexford 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12 …, 2012 | 754 | 2012 |
Reaching approximate agreement in the presence of faults D Dolev, NA Lynch, SS Pinter, EW Stark, WE Weihl Journal of the ACM (JACM) 33 (3), 499-516, 1986 | 667 | 1986 |
Register allocation with instruction scheduling SS Pinter PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming …, 1993 | 225* | 1993 |
Distributed nodes organization algorithm for channel access in a multihop dynamic radio network Chlamtac, Pinter IEEE Transactions on Computers 100 (6), 728-737, 1987 | 213 | 1987 |
Public Protection of Software A Herzberg, S Pinter Crypto 85, 1985 | 185 | 1985 |
Using a model-based test generator to test for standard conformance E Farchi, A Hartman, SS Pinter IBM systems journal 41 (1), 89-110, 2002 | 166 | 2002 |
Discovering workflow models from activities’ lifespans SS Pinter, M Golani Computers in Industry 53 (3), 283-296, 2004 | 124 | 2004 |
A temporal logic for reasoning about partially ordered computations SS Pinter, P Wolper Proceedings of the third annual ACM symposium on Principles of distributed …, 1984 | 110 | 1984 |
Program optimization and parallelization using idioms SS Pinter, RY Pinter ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 305-327, 1994 | 103 | 1994 |
Automatic generation of process models M Golani, S Pinter US Patent 8,265,979, 2012 | 75 | 2012 |
Estimation of object lifetime using static analysis S Pinter, S Porat US Patent 6,457,023, 2002 | 72 | 2002 |
Group communication system with flexible member model AC Azagury, M Factor, G Goft, S Pinter, E Yeger-Lotem US Patent 6,493,716, 2002 | 68 | 2002 |
Tango: a hardware-based data prefetching technique for superscalar processors SS Pinter, A Yoaz Proceedings of the 29th Annual IEEE/ACM International Symposium on …, 1996 | 61 | 1996 |
On mapping processes to processors in distributed systems SS Pinter, Y Wolfstahl International journal of parallel programming 16, 1-15, 1987 | 42 | 1987 |
Compile time instruction cache optimizations A Mendlson, SS Pinter, R Shtokhamer ACM SIGARCH Computer Architecture News 22 (1), 44-51, 1994 | 41 | 1994 |
Generating a process model from a process audit log A ter Hofstede, M Golani, SS Pinter Business Process Management: International Conference, BPM 2003 Eindhoven …, 2003 | 38 | 2003 |
Delivery of configuration change in a group MR Funk, G Goft, D Kloper, S Pinter, E Yeger-Lotem US Patent 6,493,715, 2002 | 38 | 2002 |
Improving machine virtualization with 'hotplug memory' SS Pinter, Y Aridor, SS Shultz, S Guenender International journal of high performance computing and networking 5 (4 …, 2008 | 22 | 2008 |
Middleware support for primary component in a partitionable cluster environment S Pinter, E Yeger-Lotem US Patent 6,460,039, 2002 | 21 | 2002 |
Type matching, type-graphs, and the Schanuel conjecture J Katzenelson, SS Pinter, E Schenfeld ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (4), 574-588, 1992 | 18 | 1992 |