4716 search results - page 703 / 944 » Iterative-free program analysis |
140
click to vote
APN
2005
Springer
16 years 3 days ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
191
click to vote
DCOSS
2005
Springer
16 years 3 days ago
2005
Springer
The widespread dissemination of small-scale sensor nodes has sparked interest in a powerful new database abstraction for sensor networks: Clients “program” the sensors through ...
181
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
166
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
143
click to vote
IDA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper, a method to analyze GSM network performance on the basis of massive data records and application domain knowledge is presented. The available measurements ...