E-LIB Suche - Ergebnisse für: Stata, Raymie

1

PLDI 2002 : Extended static checking for Java:

Flanagan, Cormac ; Leino, K. Rustan M. ; Lillibridge, Mark...
ACM SIGPLAN Notices. 48 (2013) 4S - p. 22-33 , 2013

Link: https://dl.acm.org/doi/1..

2

PLDI 2002: Extended static checking for Java:

Flanagan, Cormac ; Leino, K. Rustan M. ; Lillibridge, Mark...
ACM SIGPLAN Notices. 48 (2013) 4S - p. 22-33 , 2013

Link: https://doi.org/10.1145/..

3

Efficient online ad serving in a display advertising exchan..:

, In: Proceedings of the fourth ACM international conference on Web search and data mining,

Lang, Kevin ; Delgado, Joaquin ; Jiang, Dongming... - p. 307-316 , 2011

Link: https://dl.acm.org/doi/1..

4

Parallel programming in modern web search engines:

, In: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming,

Stata, Raymie - p. 58 ff. , 2006

Link: https://dl.acm.org/doi/1..

5

Session details: Industrial practice I:

, In: Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters,

Stata, Raymie , 2004

Link: https://dl.acm.org/doi/1..

6

The Bloomba Personal Content Database:

, In: Proceedings 2004 VLDB Conference,

Stata, Raymie ; Hunt, Patrick ; M.G., Thiruvalluvan - p. 1214-1223 , 2004

Link: https://doi.org/10.1016/..

7

Extended static checking for Java:

Flanagan, Cormac ; Leino, K. Rustan M. ; Lillibridge, Mark...
ACM SIGPLAN Notices. 37 (2002) 5 - p. 234-245 , 2002

Link: https://doi.org/10.1145/..

8

Extended static checking for Java:

, In: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation,

Flanagan, Cormac ; Leino, K. Rustan M. ; Lillibridge, Mark... - p. 234-245 , 2002

Link: https://dl.acm.org/doi/1..

9

The Term Vector Database: fast access to indexing terms for..:

Stata, Raymie ; Bharat, Krishna ; Maghoul, Farzin
Computer Networks. 33 (2000) 1-6 - p. 247-255 , 2000

Link: https://doi.org/10.1016/..

10

Graph structure in the Web:

Broder, Andrei ; Kumar, Ravi ; Maghoul, Farzin...
Computer Networks. 33 (2000) 1-6 - p. 309-320 , 2000

Link: https://doi.org/10.1016/..

11

A type system for Java bytecode subroutines:

Stata, Raymie ; Abadi, Martin
ACM Transactions on Programming Languages and Systems. 21 (1999) 1 - p. 90-137 , 1999

Link: https://doi.org/10.1145/..

12

A type system for Java bytecode subroutines:

Stata, Raymie ; Abadi, Martin
ACM Transactions on Programming Languages and Systems (TOPLAS). 21 (1999) 1 - p. 90-137 , 1999

Link: https://dl.acm.org/doi/1..

13

Virginity: A contribution to the specification of object-or..:

Leino, K.Rustan M. ; Stata, Raymie
Information Processing Letters. 70 (1999) 2 - p. 99-105 , 1999

Link: https://doi.org/10.1016/..

14

A type system for Java bytecode subroutines:

, In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Stata, Raymie ; Abadi, Martín - p. 149-160 , 1998

Link: https://dl.acm.org/doi/1..

15

Secure Web tunneling:

Abadi, Martín ; Birrell, Andrew ; Stata, Raymie.
Computer Networks and ISDN Systems. 30 (1998) 1-7 - p. 531-539 , 1998

Link: https://doi.org/10.1016/..