2736 search results - page 434 / 548 » Implementable allocation rules |
104
Voted
ICFP
2004
ACM
16 years 17 days ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
103
Voted
ICFP
2002
ACM
16 years 17 days ago
2002
ACM
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
92
Voted
ICDE
2010
IEEE
16 years 11 days ago
2010
IEEE
Decision support queries that scan large indexes can suffer significant degradation in I/O performance due to index fragmentation. DBAs rely on rules of thumb that use index size a...
101
Voted
PERCOM
2006
ACM
16 years 6 days ago
2006
ACM
In pervasive computing, devices or peers may implement or compose services using services from other devices or peers, and may use components from various sources. A composition t...
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...