Sciweavers

2935 search results - page 229 / 587
» An Integrated Approach to High Integrity Software Verificati...
Sort
View
SEMCO
2009
IEEE
16 years 1 months ago
A Quality Perspective of Software Evolvability Using Semantic Analysis
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
Philipp Schügerl, Juergen Rilling, René...
DFT
1997
IEEE
101views VLSI» more  DFT 1997»
15 years 11 months ago
Crosstalk Minimization in Three-Layer HVH Channel Routing
Crosstalk has become a major issue in VLSI design due to the high frequency, long interconnecting lines and small spacing between interconnects in today's integrated circuits...
Zhan Chen, Israel Koren
ESANN
2006
15 years 8 months ago
Neural networks and machine learning in bioinformatics - theory and applications
Bioinformatics is a promising and innovative research field. Despite of a high number of techniques specifically dedicated to bioinformatics problems as well as many successful app...
Udo Seiffert, Barbara Hammer, Samuel Kaski, Thomas...
IWPC
2010
IEEE
15 years 5 months ago
Understanding and Auditing the Licensing of Open Source Software Distributions
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
Daniel M. Germán, Massimiliano Di Penta, Ju...
SOFSEM
2009
Springer
16 years 3 months ago
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Micha...