Sciweavers

4695 search results - page 271 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Calysto: scalable and precise extended static checking
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
Domagoj Babic, Alan J. Hu
ICPP
2002
IEEE
15 years 11 months ago
Optimal Code Size Reduction for Software-Pipelined Loops on DSP Applications
Code size expansion of software-pipelined loops is a critical problem for DSP systems with strict code size constraint. Some ad-hoc code size reduction techniques were used to try...
Qingfeng Zhuge, Zili Shao, Edwin Hsing-Mean Sha
IPPS
2005
IEEE
16 years 6 days ago
Performance Implications of Periodic Checkpointing on Large-Scale Cluster Systems
Large-scale systems like BlueGene/L are susceptible to a number of software and hardware failures that can affect system performance. Periodic application checkpointing is a commo...
Adam J. Oliner, Ramendra K. Sahoo, José E. ...
AI
2009
Springer
16 years 1 months ago
An Iterative Hybrid Filter-Wrapper Approach to Feature Selection for Document Clustering
The manipulation of large-scale document data sets often involves the processing of a wealth of features that correspond with the available terms in the document space. The employm...
Mohammad-Amin Jashki, Majid Makki, Ebrahim Bagheri...
JOT
2006
113views more  JOT 2006»
15 years 6 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...