1256 search results - page 56 / 252 » Experiences with the DEVStone benchmark |
ICSE
2009
IEEE-ACM
16 years 20 days ago
2009
IEEE-ACM
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
1 We propose an integrated technique for extensive optimization of the final test solution for System-on-Chip using Simulated Annealing. The produced results from the technique ar...
SAC
2010
ACM
15 years 6 months ago
2010
ACM
We present an automated ontology matching methodology, supported by various machine learning techniques, as implemented in the system MoTo. The methodology is twotiered. On the ...
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a new algorithm for fusioning images of text-documents taken with different exposures. It is compared to several standard block oriented exposure- and focus-bl...
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper presents GAPSYS - a genetic algorithm based automated circuit synthesis tool for passive analog circuits. It describes the procedure for developing both the circuit ...