17298 search results - page 208 / 3460 » Abstract computing machines |
131
click to vote
ICLP
1998
Springer
15 years 8 months ago
1998
Springer
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
116
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Traditionally, in-network services like firewall, proxy, cache, and transcoders have been provided by dedicated hardware middleboxes. A recent trend has been to remove the middleb...
128
Voted
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
97
Voted
MVA
2000
15 years 5 months ago
2000
trieval through Abstract Shape Indication A. Brucale, F. Cesari, M. d'Amico, M. Ferri, P. Frosini, L. Gualandri, M. Guerra, A. Lovato, I. Pace Dip. di Matematica, Universit`a ...
130
Voted
ENTCS
2010
15 years 1 months ago
2010
mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...