7 search results - page 2 / 2 » Functional compression through graph coloring |
147
Voted
DAC
2009
ACM
16 years 18 days ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
189
click to vote
BMCBI
2011
15 years 24 days ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...