Sciweavers

1336 search results - page 59 / 268
» codes 2005
Sort
View
PLDI
2005
ACM
15 years 3 months ago
Jungloid mining: helping to navigate the API jungle
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
David Mandelin, Lin Xu, Rastislav Bodík, Do...
ICIP
2005
IEEE
15 years 11 months ago
A generic and automatic content-based approach for improved H.264/MPEG4-AVC video coding
A new content-based approach for improved H.264/MPEG4-AVC video coding is presented. The framework is generic because it is based on a closed-loop texture analysis by synthesis alg...
Patrick Ndjiki-Nya, Tobias Hinz, Aljoscha Smolic, ...
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 3 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
UML
2005
Springer
15 years 3 months ago
Code Generation from UML Models with Semantic Variation Points
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now b...
Franck Chauvel, Jean-Marc Jézéquel
AUIC
2005
IEEE
15 years 3 months ago
Program Comprehension: Investigating the Effects of Naming Style and Documentation
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
Scott Blinman, Andy Cockburn