Sciweavers

2441 search results - page 227 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
CLUSTER
2002
IEEE
15 years 10 months ago
Compiling Tiled Iteration Spaces for Clusters
This paper presents a complete end-to-end framework to generate automatic message-passing code for tiled iteration spaces. It considers general parallelepiped tiling transformatio...
Georgios I. Goumas, Nikolaos Drosinos, Maria Athan...
AMOST
2007
ACM
15 years 9 months ago
Using LTL rewriting to improve the performance of model-checker based test-case generation
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
Gordon Fraser, Franz Wotawa
SBP
2010
Springer
15 years 3 months ago
Convergence of Influential Bloggers for Topic Discovery in the Blogosphere
In this paper, we propose a novel approach to automatically detect "hot" or important topics of discussion in the blogosphere. The proposed approach is based on analyzing...
Shamanth Kumar, Reza Zafarani, Mohammad Ali Abbasi...
148
Voted
ICST
2008
IEEE
15 years 11 months ago
Testing Java Components based on Algebraic Specifications
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 5 months ago
Detecting Coordination Problems in Collaborative Software Development Environments
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
Chintan Amrit, Jos van Hillegersberg