Filters








3 Hits in 2.2 sec

Solving the Flowgraphs Case with Eclectic

Jesús Sánchez Cuadrado
2013 Electronic Proceedings in Theoretical Computer Science  
Solving the Flowgraphs Case with Eclectic 1 eclectic task1 (in) −> (out) 2 3 mappings task1 map(in) −> (out) 4 uses task1 attribution 5 uses task1 patterns 6 7 from src : in!  ...  This paper presents a solution for the Flow Graphs case of the Transformation Tool Contest 2013, using the Eclectic model transformation tool.  ...  This solution makes use of the Eclectic transformation tool [1] to solve the four proposed tasks.  ... 
doi:10.4204/eptcs.135.6 fatcat:zlymcg3etffxpke4bsh3twfa7a

FLAVERS: A finite state verification technique for software systems

J. M. Cobleigh, L. A. Clarke, L. J. Osterweil
2002 IBM Systems Journal  
to handle the complexity usually found in software.  ...  There has recently been a great deal of excitement about the potential for FSV approaches to prove properties about hardware descriptions but, for the most part, these approaches do not scale adequately  ...  Although we have developed an approach for dealing with the eclectic set of concurrency constructs in Java [NAC99a] , more experimentation needs to be done.  ... 
doi:10.1147/sj.411.0140 fatcat:hvjyoujclza77dmaht3rxod3vm

On Fitting Finite Dirichlet Mixture Using ECM and MML [chapter]

Nizar Bouguila, Djemel Ziou
2005 Lecture Notes in Computer Science  
We study a fluid system with single on/off source in which the active (on) and silent periods (off) follow General and Exponential distributions respectively.  ...  The steady-state distribution of the buffer content and related performance measures are obtained. Special cases such as Erlang, exponential and deterministic service times are discussed.  ...  Results match with the independent case when the variables are uncorrelated.  ... 
doi:10.1007/11551188_19 fatcat:gtzi5u6emvfyxea3zbklobnvom