6960 search results - page 235 / 1392 » Continuity Analysis of Programs |
141
Voted
ISN
2000
Springer
15 years 7 months ago
2000
Springer
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
204
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
124
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
138
Voted
ICCD
2004
IEEE
16 years 19 days ago
2004
IEEE
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
146
Voted
ISQED
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract— As the semiconductor technology continues its marching toward the deep sub-micron domain, the strong relation between leakage current and temperature becomes critical i...