4323 search results - page 345 / 865 » Callback Implementations in C |
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper describes a 20-Gb/s continuous-time adaptive passive equalizer utilizing on-chip lumped RLC components. Passive equalizers offer the advantages of higher bandwidth an...
138
Voted
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
125
Voted
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
138
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present an infrastructure that supports interoperability among various reverse engineering tools and applications. We include an Application Programmer’s Interf...
144
Voted
SAC
2005
ACM
15 years 10 months ago
2005
ACM
is a planning framework for mapping abstract workflows for execution on the Grid. This paper presents the implementation of a web-based portal for submitting workflows to the Grid...