2713 search results - page 21 / 543 » Parameterized Tree Systems |
152
click to vote
FDG
2009
ACM
16 years 29 days ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
165
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
158
click to vote
SMI
2007
IEEE
16 years 21 days ago
2007
IEEE
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
167
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
165
click to vote
BNCOD
2007
15 years 8 months ago
2007
: We present a new approach for accelerating the execution of XPath expressions using parameterized materialized XPath views (PXV). While the approach is generic we show how it can...