490 search results - page 22 / 98 » Practical Extensions to the IFDS Algorithm |
TVLSI
2002
14 years 9 months ago
2002
We propose two practical approaches for on-chip inductance extraction to obtain a highly sparsified and accurate inverse inductance matrix K. Both approaches differ from previous ...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
ANSS
2001
IEEE
15 years 1 months ago
2001
IEEE
In this paper, we employ the finite state machine (FSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive te...
CGI
2003
IEEE
15 years 2 months ago
2003
IEEE
We present a new fast algorithm for rendering the depthof-field effect for point-based surfaces. The algorithm handles partial occlusion correctly, it does not suffer from intens...
KRMED
2008
14 years 11 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...