Sciweavers

4759 search results - page 230 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
172
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
MeCC: memory comparison-based clone detector
In this paper, we propose a new semantic clone detection e by comparing programs’ abstract memory states, which are computed by a semantic-based static analyzer. Our experimenta...
Heejung Kim, Yungbum Jung, Sunghun Kim, Kwangkeun ...
135
Voted
CGO
2004
IEEE
15 years 7 months ago
Code Generation for Single-Dimension Software Pipelining of Multi-Dimensional Loops
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to the outer loops. In a companion paper, we proposed a ...
Hongbo Rong, Alban Douillet, Ramaswamy Govindaraja...
153
Voted
ICSR
2011
Springer
14 years 7 months ago
Software Reuse and Safety
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
William B. Frakes, John M. Favaro
133
Voted
APSEC
2006
IEEE
15 years 5 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
167
Voted
SEKE
2005
Springer
15 years 9 months ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard