932 search results - page 78 / 187 » Analysis and Optimization of CHR Programs |
114
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
133
Voted
ACMMSP
2004
ACM
15 years 6 months ago
2004
ACM
Feedback-directed optimization has become an increasingly important tool in designing and building optimizing compilers. Recently, reuse-distance analysis has shown much promise i...
107
Voted
MP
1998
15 years 10 days ago
1998
In the last 25 years approximation algorithms for discrete optimization problems have been in the center of research in the fields of mathematical programming and computer science...
105
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
Network-on-chip (NoC) has been proposed as a solution for the communication challenges of System-on-chip (SoC) design in the nanoscale regime. SoC design offers the opportunity fo...
118
Voted
EUROGP
2004
Springer
15 years 6 months ago
2004
Springer
Lymphoma cancer classification with DNA microarray data is one of important problems in bioinformatics. Many machine learning techniques have been applied to the problem and produc...