Sciweavers

262 search results - page 34 / 53
» Refactoring Support Based on Code Clone Analysis
Sort
View
CODES
2006
IEEE
14 years 2 months ago
Battery discharge aware energy feasibility analysis
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
Henrik Lipskoch, Karsten Albers, Frank Slomka
CAV
2006
Springer
113views Hardware» more  CAV 2006»
13 years 11 months ago
Causal Atomicity
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
Azadeh Farzan, P. Madhusudan
ECOOP
2001
Springer
14 years 12 days ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co...
LREC
2008
220views Education» more  LREC 2008»
13 years 9 months ago
Introducing DRS (The Digital Replay System): a Tool for the Future of Corpus Linguistic Research and Analysis
This paper outlines the new resource technologies, products and applications that have been constructed during the development of a multi-modal (MM hereafter) corpus tool on the D...
Dawn Knight, Paul Tennent
SPLC
2007
13 years 9 months ago
Tailoring Infrastructure Software Product Lines by Static Application Analysis
Besides ordinary applications, also infrastructure software such as operating systems or database management systems is being developed as a software product line. With proper too...
Horst Schirmeier, Olaf Spinczyk