1880 search results - page 219 / 376 » A Static Analysis for Beta-Binders |
153
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
179
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an equation-based transistor size optimizer that minimizes delay of custom circuits. Our method uses static timing analysis to find the critical paths and numerical met...
188
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
154
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
227
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper considers the problem of designing heterogeneous multiprocessor embedded systems. The focus is on a step of the design flow: the definition of innovative metrics for th...