Filters








5,395 Hits in 3.7 sec

Aspect mining in the presence of the C preprocessor

Bram Adams, Bart Van Rompaey, Celina Gibbs, Yvonne Coady
2008 Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution - LATE '08  
Our aim is to identify both opportunities (extracting conditional compilation into advice) and pitfalls (mining on unpreprocessed code) in migrating preprocessor code to aspects.  ...  In this paper, we explore the process of aspect mining and extraction in the context of preprocessor-driven systems.  ...  Extraction of pointcuts could be done by calculating the conditions under which conditionally compiled code is (in)active.  ... 
doi:10.1145/1404953.1404954 dblp:conf/aosd/AdamsRGC08 fatcat:th7yztvc2fckzcugrro7zozpbi

Conditionally correct superoptimization

Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
The main technical challenge in producing conditionally correct optimizations is in obtaining non-trivial and useful conditions and proving conditional equivalence formally in the presence of loops.  ...  However, both general purpose compilers and highly specialized tools such as superoptimizers often do not have sufficient static knowledge of restrictions on program inputs that could be exploited to produce  ...  The views and conclusions herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements either expressed or implied of DARPA or the U.S  ... 
doi:10.1145/2814270.2814278 dblp:conf/oopsla/0001SCA15 fatcat:neztmd3kmre7jdlzqoxf6hc3fy

Conditionally correct superoptimization

Rahul Sharma, Eric Schkufza, Berkeley Churchill, Alex Aiken
2015 SIGPLAN notices  
The main technical challenge in producing conditionally correct optimizations is in obtaining non-trivial and useful conditions and proving conditional equivalence formally in the presence of loops.  ...  However, both general purpose compilers and highly specialized tools such as superoptimizers often do not have sufficient static knowledge of restrictions on program inputs that could be exploited to produce  ...  The views and conclusions herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements either expressed or implied of DARPA or the U.S  ... 
doi:10.1145/2858965.2814278 fatcat:sj66k7gds5cghemf767zxkbram

C-CLR

Nieraj Singh, Celina Gibbs, Yvonne Coady
2007 Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software - ACP4IS '07  
They also support reusability by aiding aspect mining through easy navigation to relevant configuration options, and automated identification of equivalent blocks of code within conditionally compiled  ...  Configuration-specific views improve readability of the system as a whole by including only relevant code.  ...  In [4] , Colyer et al applied AOSD at the level of middleware systems both at a coarse-granularity of feature integration and a fine-granularity of product line policy application.  ... 
doi:10.1145/1233901.1233910 dblp:conf/aosd/SinghGC07 fatcat:nfyohxcxmvfxdo7efkbza33drm

Demonstration of a Toolchain for Feature Extraction, Analysis and Visualization on an Industrial Case Study

Sten Gruner, Andreas Burger, Hadil Abukwaik, Sascha El-Sharkawy, Klaus Schmid, Tewfik Ziadi, Anton Paule, Felix Suda, Alexander Viehl
2019 2019 IEEE 17th International Conference on Industrial Informatics (INDIN)  
Transforming a clone-and-own (i.e. new product variants are created by copying and modifying existing artifacts) code structure and development process to a Software Product Line Engineering (PLE) approach  ...  Unfortunately, such a holistic toolchain for reverse engineering of variability, supporting variant-centric and platform-centric extraction approaches is not available.  ...  ACKNOWLEDGMENTS This work is supported by the ITEA 3 15010 project REVaMP 2 funded by the German Federal Ministry of Education and Research (01IS16042A, 01IS16042B, 01IS16042F, 01IS16042H) as well as FUI  ... 
doi:10.1109/indin41052.2019.8972141 dblp:conf/indin/GrunerBAESZPSV19 fatcat:mpgycjjlgfff7m2xzngzzej4ji

Coevolution of variability models and related artifacts

Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wąsowski, Paulo Borba
2013 Proceedings of the 17th International Software Product Line Conference on - SPLC '13  
We collect a catalog of evolution patterns, capturing the coevolution of the Linux kernel variability model, Makefiles, and C source code.  ...  Further, we extract general findings to guide further research and tool development.  ...  Interestingly, f negatively affects the conditionally compiled code in 2% of the extensions, i.  ... 
doi:10.1145/2491627.2491628 dblp:conf/splc/PassosGTCWB13 fatcat:igjbryamwvg5jlz5nthbxdvihi

The program decision logic approach to predicated execution

David I. August, John W. Sias, Jean-Michel Puiatti, Scott A. Mahlke, Daniel A. Connors, Kevin M. Crozier, Wen-mei W. Hwu
1999 SIGARCH Computer Architecture News  
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors.  ...  Historically, the compiler has translated the programmer's original control structure directly into assembly code with conditional branch instructions.  ...  Acknowledgments The authors would like to thank all the members of the IM-PACT compiler team and Professor Eduardo Sanchez for their support, comments, and suggestions.  ... 
doi:10.1145/307338.300997 fatcat:6ixu72lsfbdttcehwqcklbvazq

A robust approach for variability extraction from the Linux build system

Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann
2012 Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1  
For a system-software product line at the size of Linux, this requires profound and robust tool support.  ...  This eventually has led to (accepted) fixes for twenty new bugs and the removal of 5,000 superfluous lines of #ifdef-code in Linux v2.6.36. However, these numbers are just the tip of an iceberg.  ...  The implementation consists of about 1,400 lines of Scala code and 450 lines of Java code. The tool, as well as a result set for Linux v2.6.33.3, have been downloaded from [3] .  ... 
doi:10.1145/2362536.2362544 dblp:conf/splc/DietrichTSL12 fatcat:qdfzck4klncsndb7lk3rp3ajrq

A foundation for refactoring C with macros

Jeffrey L. Overbey, Farnaz Behrang, Munawar Hafiz
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
correctly in the presence of macros and conditional compilation directives.  ...  This paper establishes the concept of preprocessor dependences as a foundation for building automated refactoring tools that transform source code containing lexical macros and conditional compilation  ...  macros and conditionally-compiled code.  ... 
doi:10.1145/2635868.2635908 dblp:conf/sigsoft/OverbeyBH14 fatcat:ktk37iyvyfhq3n2cl7xryrkgne

Techniques for extracting instruction level parallelism on MIMD architectures

Gary Tyson, Matthew Farrens
1993 Proceedings of the 26th Annual International Symposium on Microarchitecture  
This paper presents some results of our investigation into ways to modify MIMD architectures to allow them to extract the instruction level parallelism achieved by current superscalar and VLIW machines  ...  A new code scheduling mechanism is described to support this new architecture by partitioning instructions across multiple processing elements in order to exploit this level of parallelism.  ...  This allows the issue logic to proceed without interrupt through short segments of conditionally executed code by conditionally completing instead of branching around code.  ... 
doi:10.1109/micro.1993.282749 dblp:conf/micro/TysonF93 fatcat:vilphmcudfbfxlhsdzlo53pwyi

TypeChef

Andy Kenner, Christian Kästner, Steffen Haase, Thomas Leich
2010 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development - FOSD '10  
Software product lines have gained momentum as an approach to generate many variants of a program, each tailored to a specific use case, from a common code base.  ...  In prior work, we and others have developed product-line-aware type systems to detect type errors in a product line, without generating all variants.  ...  converters [18] , Wikon's product line of remote control systems [30] , and NASA's product line of flight control systems [11] .  ... 
doi:10.1145/1868688.1868693 dblp:conf/gpce/KennerKHL10 fatcat:46evlhpsxrfatp2ziro753q75y

FEVER: An approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems

Nicolas Dintzner, Arie van Deursen, Martin Pinzger
2017 Empirical Software Engineering  
FEVER An approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems Dintzner, Nicolas; van Deursen, Arie; Pinzger, M  ...  Acknowledgements This publication was supported by the Dutch national program COMMIT and carried out as part of the Allegio project under the responsibility of the Embedded Systems Innovation group of  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10664-017-9557-6 fatcat:e7aa2cwzxvderntwdu5a6abtlq

Reverse engineering variability in an industrial product line

Sascha El-Sharkawy, Saura Jyoti Dhar, Adam Krafczyk, Slawomir Duszynski, Tobias Beichter, Klaus Schmid
2018 Proceeedings of the 22nd International Conference on Systems and Software Product Line - SPLC '18  
We extended the concept of feature effect analysis to extract variability constraints from code artifacts of the Bosch PS-EC large-scale product line.  ...  Ideally, a variability model is a correct and complete representation of product line features and constraints among them.  ...  We plan three extensions to the presented approach: Improved parsing of code files.  ... 
doi:10.1145/3233027.3233047 dblp:conf/splc/El-SharkawyDKDB18 fatcat:wkanl52rabexvfhszrabspqmqu

CScout: A refactoring browser for C

Diomidis Spinellis
2010 Science of Computer Programming  
A web-based user interface provides programmers with an intuitive source code analysis and navigation front-end, while an sql-based back-end allows more complex source code analysis and manipulation.  ...  CScout has been successfully applied to many medium and large-sized proprietary and open-source projects identifying thousands of modest refactoring opportunities.  ...  Acknowledgements and tool availability We would like to thank the anonymous reviewers for their many excellent suggestions for improving this paper and Appendix.  ... 
doi:10.1016/j.scico.2009.09.003 fatcat:4zoxnb6m7zh4dl7kp2nfuc3aru

DEVELOPMENT OF MATHEMATIC MODEL OF SPICED SOUR-MILK PASTAS QUALITY

Viktor GOOTS, Nataliia YUSHCHENKO, Ulyana KUZMYK
2018 Food and Environment Safety  
Comprehensive assessment effectiveness and food products quality forecast was substantiated using organoleptic estimation, profiles construction and usage of differential equations.  ...  of these dairy products.The analytical research results on product quality were obtained from organoleptic parameters and content of biologically active substances (tannin, catechin, and rutin) with usage  ...  index of quality of conditionally ideal product.  ... 
doaj:9f9bcd772dec4e8d838d36d53d5b82f6 fatcat:6e6we45pvbd3njnzbsn73xgizm
« Previous Showing results 1 — 15 out of 5,395 results