4743 search results - page 459 / 949 » The PlusCal Algorithm Language |
172
Voted
ICCD
1992
IEEE
15 years 7 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
122
Voted
ICCD
1992
IEEE
15 years 7 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
129
click to vote
VLDB
1993
ACM
15 years 7 months ago
1993
ACM
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
125
click to vote
DBPL
2007
Springer
15 years 7 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
143
click to vote
DEXAW
2007
IEEE
15 years 7 months ago
2007
IEEE
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...