3342 search results - page 137 / 669 » Automating Abstract Interpretation |
EUROMED
2010
14 years 9 months ago
2010
Abstract. In this paper, the concept of computational environment for processing of very large datasets (clouds of points with amount up to 1011 measurement points) obtained from 3...
VLSID
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— This paper introduces a fuzzy logic based guidance architecture to a graph grammar framework for automated design of analog circuits. The grammar generates circuit topo...
101
click to vote
ISPW
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could ...
122
click to vote
ACSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
105
click to vote
IPPS
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...