400 search results - page 60 / 80 » An Extensible Meta-Model for Program Analysis |
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
110
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...
128
click to vote
INFOCOM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Cooperative communication has attracted dramatic attention in the last few years due to its advantage in mitigating channel fading. Despite much effort that has been made in the...
163
click to vote
DOCENG
2011
ACM
13 years 11 months ago
2011
ACM
A use case involving integrating results from search engines illustrates how the meta-metadata language facilitates interoperable metadata semantics. Formal semantics can be hard ...
82
Voted
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...