1286 search results - page 201 / 258 » From System F to Typed Assembly Language |
ASPLOS
1987
ACM
13 years 11 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
LISA
2008
13 years 10 months ago
2008
Signature matching, which includes packet classification and content matching, is the most expensive operation of a signature-based network intrusion detection system (NIDS). In t...
NAACL
2010
13 years 5 months ago
2010
Machine translation benefits from two types of decoding techniques: consensus decoding over multiple hypotheses under a single model and system combination over hypotheses from di...
COLING
2002
13 years 7 months ago
2002
Language users have individual linguistic styles. A spoken dialogue system may benefit from adapting to the linguistic style of a user in input analysis and output generation. To ...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...