CORR
2010
Springer
13 years 6 months ago
2010
Springer
CORR
2010
Springer
13 years 6 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
CORR
2010
Springer
13 years 6 months ago
2010
Springer
TEDU
2010
13 years 6 months ago
2010
In training and gaming systems, distributed multimedia are often used, in which the basic content elements must be conveyed or presented in a synchronized order at synchronized mom...
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
TAICPART
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...