1760 search results - page 187 / 352 » Program Analysis Using Weighted Pushdown Systems |
116
Voted
CPHYSICS
2006
15 years 1 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
130
click to vote
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
121
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
210
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: In the post-genomic era, systems-level studies are being performed that seek to explain complex biological systems by integrating diverse resources from fields such as...
97
Voted
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...