3342 search results - page 600 / 669 » Automating Abstract Interpretation |
ASPDAC
2008
ACM
14 years 3 days ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
BIRD
2008
Springer
14 years 3 days ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
MMB
2010
Springer
14 years 3 days ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
CIKM
2008
Springer
14 years 3 days ago
2008
Springer
The efficient execution of integration processes between distributed, heterogeneous data sources and applications is a challenging research area of data management. These inn proc...
ECLIPSE
2005
ACM
14 years 1 days ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...