4725 search results - page 753 / 945 » Dependence-Based Program Analysis |
161
click to vote
CDC
2010
IEEE
14 years 12 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...
149
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
175
click to vote
TSE
2011
14 years 11 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
186
click to vote
INFOCOM
2011
IEEE
14 years 8 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...
227
click to vote
DOCENG
2011
ACM
14 years 4 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 ...