1687 search results - page 73 / 338 » Which pointer analysis should I use |
119
Voted
IJKL
2007
15 years 3 months ago
2007
: In what sense, then, can it be said that contemporary societies are becoming more and more dependent on the production, dissemination and use of knowledge? Are we witnessing a ch...
150
Voted
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
147
Voted
VISSYM
2007
15 years 6 months ago
2007
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
111
Voted
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
132
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...