42507 search results - page 160 / 8502 » On the analysis of |
169
click to vote
ISCAS
2005
IEEE
16 years 5 days ago
2005
IEEE
A mathematical framework for the convergence analysis of a pipelined ADC with background gain calibration is presented. The constraints on adaptation step size for mean convergenc...
167
click to vote
FCA
2005
Springer
16 years 4 days ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
169
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
In MRI research labs, algorithms are typically implemented in MATLAB or IDL. If performance is an issue they are ported to C and integrated with interpreted systems, not fully uti...
159
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
164
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...