9405 search results - page 1746 / 1881 » Computing a Model of Set Theory |
148
Voted
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we present an approach for monitoring the positions of vector field singularities in time-dependent datasets. The concept of singularity index is discussed and exte...
137
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
The proliferation of the Internet has a ected the business model of almost all semiconductor and VLSI CAD companies that rely on intellectual property (IP) as their main source of...
119
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
141
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Reducing power dissipation is one of the most principle subjects in VLSI design today. Scaling causes subthreshold leakage currents to become a large component of total power diss...
121
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...