262 search results - page 26 / 53 » State Space Reduction Techniques for Component Interfaces |
121
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
126
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
131
click to vote
PR
2006
15 years 1 months ago
2006
In the past few years, some nonlinear dimensionality reduction (NLDR) or nonlinear manifold learning methods have aroused a great deal of interest in the machine learning communit...
149
click to vote
CLADE
2003
IEEE
15 years 7 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
107
click to vote
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...