1423 search results - page 27 / 285 » Languages of Nested Trees |
CAI
2007
Springer
15 years 3 months ago
2007
Springer
IEEECSA
2009
14 years 7 months ago
2009
- The SQL language allows users to express queries that have nested subqueries in them. Optimization of nested queries has received considerable attention over the last few years. ...
81
Voted
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
102
click to vote
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
LCPC
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...