Sciweavers

10156 search results - page 14 / 2032
» Step by Step to Histories
Sort
View
FMOODS
2008
13 years 10 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
CASCON
1996
68views Education» more  CASCON 1996»
13 years 9 months ago
Single stepping in event-visualization tools
Event visualization tools are commonlyused to facilitate the debugging of distributed applications. Although these tools provide a graphical view of distributed executions, they a...
Marc Khouzam, Thomas Kunz
SPE
2002
231views more  SPE 2002»
13 years 8 months ago
Second step algorithms in the Burrows-Wheeler compression algorithm
In this paper we fix our attention on the second step algorithms of the Burrows
Sebastian Deorowicz
SIAMSC
2010
132views more  SIAMSC 2010»
13 years 3 months ago
A Fast Time Stepping Method for Evaluating Fractional Integrals
We evaluate the fractional integral I [f](t) = 1 () Z t 0 (t - )-1 f() d, 0 < < 1, at time steps t = t, 2t,
Jing-Rebecca Li
CEC
2005
IEEE
14 years 2 months ago
Real-parameter optimization using the mutation step co-evolution
Abstract- An evolutionary algorithm for the optimization of a function with real parameters is described in this paper. It uses a cooperative co-evolution to breed and reproduce su...
Petr Posik