9842 search results - page 258 / 1969 » Compositional timing analysis |
144
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
124
click to vote
ICSE
2009
IEEE-ACM
16 years 5 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
156
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
164
click to vote
SEUS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
138
click to vote
CIMAGING
2008
15 years 5 months ago
2008
We apply stabilized inverse diffusion equations (SIDEs) to segment microscopy images of materials to aid in analysis of defects. We extend SIDE segmentation methods and demonstrat...