2673 search results - page 455 / 535 » Guided Static Analysis |
120
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
As software evolves, maintenance practices require a process of accommodating changing requirements while minimizing the cost of implementing those changes. Over time, incompatibi...
113
click to vote
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
Static and dynamic power for strained-Si device is analyzed and compared with conventional bulk-Si technology. Optimum device design points are suggested with controlling physical...
172
Voted
AGENTCL
2003
Springer
15 years 9 months ago
2003
Springer
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
120
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
132
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...