4814 search results - page 225 / 963 » Combining abstract interpreters |
181
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
204
click to vote
NANONET
2009
Springer
16 years 1 months ago
2009
Springer
We present a vision and preliminary results for a combined RF-Biological Systems where the Electro-Magnetic energy of RF signals is transduced into control-signals for biological s...
145
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Understanding what are the characteristics of proteinprotein interfaces is at the core of numerous applications. This paper introduces a method in which the proteins are described...
170
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper we introduce a new algorithm for model order reduction in the presence of parameter or process variation. Our analysis is performed using a graph interpretation of t...
159
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
—We present a new algorithm for vertical handover and dynamic network selection, based on a combination of multiattribute utility theory, kernel learning and stochastic gradient ...