1268 search results - page 88 / 254 » One Logic to Use Them All |
129
Voted
CACM
1998
15 years 12 days ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...
88
Voted
RIAO
2000
15 years 2 months ago
2000
Hierarchies have been used for organization, summarization, and access to information, yet a lingering issue is how best to construct them. In this paper, our goal is to automatic...
105
Voted
CSREAESA
2006
15 years 2 months ago
2006
SoPC (System on a Programmable Chip) is one important kind of SoC solution based on PLD (Programmable Logic Device). At the same time, PBD (Platform-based Design) has become popul...
119
Voted
PEPM
2009
ACM
15 years 9 months 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...
155
click to vote
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...