Sciweavers

3116 search results - page 477 / 624
» Positively dependent types
Sort
View
DAC
1997
ACM
15 years 10 months ago
System Level Fixed-Point Design Based on an Interpolative Approach
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
Markus Willems, Volker Bürsgens, Holger Kedin...
SIGMOD
1997
ACM
148views Database» more  SIGMOD 1997»
15 years 10 months ago
Beyond Market Baskets: Generalizing Association Rules to Correlations
One of the most well-studied problems in data mining is mining for association rules in market basket data. Association rules, whose significance is measured via support and confi...
Sergey Brin, Rajeev Motwani, Craig Silverstein
KDD
1997
ACM
96views Data Mining» more  KDD 1997»
15 years 10 months ago
Using General Impressions to Analyze Discovered Classification Rules
One of the important problems in data mining is the evaluation of subjective interestingness of the discovered rules. Past research has found that in many real-life applications i...
Bing Liu, Wynne Hsu, Shu Chen
MICRO
1994
IEEE
96views Hardware» more  MICRO 1994»
15 years 10 months ago
A fill-unit approach to multiple instruction issue
Multiple issue of instructions occurs in superscalar and VLIW machines. This paper investigates a third type of machine design, which combines the advantages of code compatibility...
Manoj Franklin, Mark Smotherman
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 10 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...