3688 search results - page 325 / 738 » Static analysis of aspects |
146
click to vote
EUROPAR
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we first present two tagging mechanisms; the SCISM and IA-64; thereafter we describe the mapping of IA-64 ISA to a SCISM configuration without changing or reassigni...
158
click to vote
CSFW
2003
IEEE
16 years 2 days 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...
184
click to vote
ISCAS
2003
IEEE
16 years 1 days 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...
192
click to vote
IWPC
2003
IEEE
16 years 1 days 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...
157
click to vote
ASIAN
2003
Springer
16 years 10 hour 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 ...