Sciweavers

4067 search results - page 109 / 814
» Programs for Applying Symmetries
Sort
View
ACSC
2009
IEEE
14 years 3 months ago
ParaAJ: toward Reusable and Maintainable Aspect Oriented Programs
Aspect Oriented Programming (AOP) aims to ease maintenance and promote reuse of software components by separating core concerns from crosscutting concerns: aspects of a program th...
Khalid Al-Jasser, Peter Schachte
ICTAC
2009
Springer
14 years 2 months ago
Input-Output Model Programs
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
Margus Veanes, Nikolaj Bjørner
ESOP
2005
Springer
14 years 1 months ago
A New Foundation for Control-Dependence and Slicing for Modern Program Structures
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya...
KBSE
2003
IEEE
14 years 1 months ago
Automatically Inferring Concern Code from Program Investigation Activities
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
Martin P. Robillard, Gail C. Murphy
SC
2003
ACM
14 years 1 months ago
ParADE: An OpenMP Programming Environment for SMP Cluster Systems
Demand for programming environments to exploit clusters of symmetric multiprocessors (SMPs) is increasing. In this paper, we present a new programming environment, called ParADE, ...
Yang-Suk Kee, Jin-Soo Kim, Soonhoi Ha