Follow
Shlomit Pinter
Shlomit Pinter
Unknown affiliation
Verified email at cs.haifa.ac.il - Homepage
Title
Cited by
Cited by
Year
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
7662012
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
6901986
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
2141987
Public Protection of Software
A Herzberg, S Pinter
Crypto 85, 1985
1861985
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
1662002
Discovering workflow models from activities’ lifespans
SS Pinter, M Golani
Computers in Industry 53 (3), 283-296, 2004
1252004
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
1101984
Program optimization and parallelization using idioms
SS Pinter, RY Pinter
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 305-327, 1994
1051994
Automatic generation of process models
M Golani, S Pinter
US Patent 8,265,979, 2012
782012
Estimation of object lifetime using static analysis
S Pinter, S Porat
US Patent 6,457,023, 2002
722002
Group communication system with flexible member model
AC Azagury, M Factor, G Goft, S Pinter, E Yeger-Lotem
US Patent 6,493,716, 2002
682002
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
611996
On mapping processes to processors in distributed systems
SS Pinter, Y Wolfstahl
International journal of parallel programming 16, 1-15, 1987
421987
Compile time instruction cache optimizations
A Mendlson, SS Pinter, R Shtokhamer
ACM SIGARCH Computer Architecture News 22 (1), 44-51, 1994
411994
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
392003
Delivery of configuration change in a group
MR Funk, G Goft, D Kloper, S Pinter, E Yeger-Lotem
US Patent 6,493,715, 2002
382002
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
242008
Middleware support for primary component in a partitionable cluster environment
S Pinter, E Yeger-Lotem
US Patent 6,460,039, 2002
212002
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
181992
The system can't perform the operation now. Try again later.
Articles 1–20