22128 search results - page 4332 / 4426 » Research in Structural Computing |
140
Voted
ICCAD
2006
IEEE
16 years 13 days ago
2006
IEEE
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...
151
click to vote
TLDI
2010
ACM
16 years 12 days ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
127
Voted
PEPM
2010
ACM
16 years 12 days ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...
143
Voted
PEPM
2009
ACM
16 years 12 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
128
Voted
WWW
2010
ACM
15 years 10 months ago
2010
ACM
In modern Web applications, style formatting and layout calculation often account for a substantial amount of local Web page processing time. In this paper1 , we present two novel...