Algebra De Explosao
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Reducing the impact of state space explosion in Stochastic Automata Networks
A solução de modelos markovianos com grande espaço de estados é um dos maiores desafios da área de avaliação de desempenho de sistemas. Os formalismos estruturados, como as Redes de Autômatos Estocásticos (SAN), foram propostos para descrever múltiplos componentes através de autômatos, cujas transições são regidas por eventos locais ou sincron
Publicado em: 2009
-
2. Teoria dos mÃdulos idealizadores diferenciais
Given an ideal in a polynomial ring (with coefficients in a field usually assumed to have characteristic zero), we may consider the derivations that preserve it. They give rise to a special module called differential idealizer (of the given ideal). Such an object plays a primordial role in this thesis, which is divided into two main sections. In the first se
Publicado em: 2006
-
3. Model checking CSPZ: Techniques to overcome state explosion
Hoje em dia, notamos um crescente interesse na tÃcnica de verificaÃÃo de modelos por acadÃmicos e por profissionais da indÃstria. A razÃo disso talvez esteja na habilidade dos verificadores de modelos|implementaÃÃes de algoritmos de verificaÃÃo de modelos|serem totalmente automÃticos: nÃo hà intervenÃÃo do usuÃrio durante a anÃlise. Com cert
Publicado em: 2001