692 search results - page 49 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
PLILP
1993
Springer
15 years 3 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
104
click to vote
CIVR
2004
Springer
15 years 5 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
BMCBI
2008
14 years 12 months ago
2008
Background: Recent years have seen the development of various pathway-based methods for the analysis of microarray gene expression data. These approaches have the potential to bri...
118
click to vote
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...