Sciweavers

398 search results - page 28 / 80
» On the Inference of Configuration Structures from Source Cod...
Sort
View
115
Voted
SE
2008
15 years 3 months ago
TIME - Tracking Intra- and Inter-Model Evolution
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
Maximilian Kögel
137
Voted
ICASSP
2011
IEEE
14 years 6 months ago
Collaborative sources identification in mixed signals via hierarchical sparse modeling
A collaborative framework for detecting the different sources in mixed signals is presented in this paper. The approach is based on CHiLasso, a convex collaborative hierarchical s...
Pablo Sprechmann, Ignacio Ramírez, Pablo Ca...
WCRE
2003
IEEE
15 years 7 months ago
Improving Fact Extraction of Framework-Based Software Systems
Modern software frameworks provide a set of common and prefabricated software artifacts that support engineers in developing large-scale software systems. Framework-related inform...
Jens Knodel, Martin Pinzger
106
Voted
C3S2E
2008
ACM
15 years 4 months ago
Context-sensitive cut, copy, and paste
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
Reid Kerr, Wolfgang Stürzlinger
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 8 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