2673 search results - page 276 / 535 » Guided Static Analysis |
159
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
- The design of a spherical wrist with parallel architecture is the object of this article. This study is part of a larger project, which aims to design and to build an eel robot f...
145
click to vote
EUROPAR
2004
Springer
16 years 7 hour 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...
154
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...