Sciweavers

481 search results - page 48 / 97
» acm 1994
Sort
View
PEPM
1994
ACM
14 years 24 days ago
Binding-Time Analysis for Standard ML
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
Lars Birkedal, Morten Welinder
VLDB
1994
ACM
140views Database» more  VLDB 1994»
14 years 24 days ago
Efficient and Effective Clustering Methods for Spatial Data Mining
Spatial data mining is the discovery of interesting relationships and characteristics that may exist implicitly in spatial databases. In this paper, we explore whether clustering ...
Raymond T. Ng, Jiawei Han
SIGSOFT
1994
ACM
14 years 24 days ago
A New Model of Program Dependences for Reverse Engineering
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
Daniel Jackson, Eugene J. Rollins
DAC
1994
ACM
14 years 25 days ago
Clock Period Optimization During Resource Sharing and Assignment
- This paper analyzes the effect of resource sharing and assignment on the clock period of the synthesized circuit. We focus on behavioral specifications with mutually exclusive pa...
Subhrajit Bhattacharya, Sujit Dey, Franc Brglez
DAC
1994
ACM
14 years 25 days ago
A Modular Partitioning Approach for Asynchronous Circuit Synthesis
Asynchronous circuits are crucial in designing low power and high performance digital systems. In this paper, we present an ecient modular partitioning approach for asynchronous c...
Ruchir Puri, Jun Gu