9842 search results - page 1553 / 1969 » Compositional timing analysis |
138
click to vote
JSSPP
2007
Springer
15 years 11 months ago
2007
Springer
Heterogeneous clusters and grid infrastructures are becoming increasingly popular. In these computing infrastructures, machines have different resources, including memory sizes, d...
153
click to vote
MLMI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...
113
click to vote
RSKT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Consumer research has indicated that consumers use compensatory and non-compensatory decision strategies when formulating their purchasing decisions. Compensatory decisio...
126
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
172
click to vote
TAP
2007
Springer
15 years 11 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...