1559 search results - page 175 / 312 » The Semantics of Future and Its Use in Program Optimizations |
71
Voted
EMSOFT
2007
Springer
15 years 4 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...
132
Voted
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
IEEEPACT
2002
IEEE
15 years 3 months ago
2002
IEEE
Having a representative workload of the target domain of a microprocessor is extremely important throughout its design. The composition of a workload involves two issues: (i) whic...
94
Voted
WOA
2000
14 years 11 months ago
2000
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
105
click to vote
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...