9842 search results - page 194 / 1969 » Compositional timing analysis |
151
click to vote
ITC
1999
IEEE
15 years 10 months ago
1999
IEEE
SEMATECH has sponsored a "Test Method Evaluation" study to understand the trade-offs among the most common test methodologies used in the industry[1,2]. This paper prese...
170
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
176
click to vote
GLOBECOM
2007
IEEE
16 years 25 days ago
2007
IEEE
—In this paper, a novel error probability analysis of orthogonal space-time block coding (OSTBC) over independent but not necessarily identical Hoyt (Nakagami-q) fading channels ...
165
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
174
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...