1760 search results - page 182 / 352 » Program Analysis Using Weighted Pushdown Systems |
125
click to vote
ECOOP
1994
Springer
15 years 4 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
102
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...
103
click to vote
GECCO
2005
Springer
15 years 6 months 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...
108
click to vote
WABI
2005
Springer
15 years 6 months ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
110
click to vote
RTCSA
2000
IEEE
15 years 5 months ago
2000
IEEE
As a starting point for static program analysis a control flow graph (CFG) is needed. If only the binary executable is available, this CFG has to be reconstructed from sequences ...