rule-based program transformation

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 186335

2013

Optimizing Data Structures in High-Level ProgramsTiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky. In POPL 2013. 2013:

2012

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2012.

SAFECOMP, Proceedings2012.

Towards Decentralized Monitoring of Supply ChainsAymen Baouab, Fdhila, Walid, Perrin, Olivier, Godart, Claude. In The 2012 IEEE Nineteenth International Conference on Web Services (ICWS 2012). 2012:

An Optimized Derivation of Event Queries to Monitor Choreography ViolationsAymen Baouab, Perrin, Olivier, Godart, Claude. In 10th International Conference on Service Oriented Computing (ICSOC 2012 ). 2012: 222-236 [doi]

A Theory of Software Product Line RefinementPaulo Borba, Leopoldo Teixeira, Rohit Gheyi. TCS, (0), 2012. [doi]

Graph-based criteria for spectrum-aware clustering in cognitive radio networksMilan Bradonjic, Loukas Lazos. adhoc, 10(1):75-94, 2012. [doi]

Eventually Consistent TransactionsBurckhardt, Sebastian, Leijen, Daan, Fahndrich, Manuel, Sagiv, Mooly. In Programming Languages and Systems. Volume 7211 of Lecture Notes in Computer Science, pages 67-86, Springer Berlin / Heidelberg, 2012.

Voxel-based shape decomposition for feature-preserving 3D thumbnail creationPei-Ying Chiang, C. C. Jay Kuo. jvcir, 23(1):1-11, 2012. [doi]

EM-Based Mixture Models Applied to Video Event DetectionAlessandra Martins Coelho, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho. Printed and online, 2012.

Methodology for Optimization of Polymer Blends CompositionAlessandra Martins Coelho, Vania Vieira Estrela, Joaquim Teixeira de Assis, Gil de Carvalho, Joaquim Teixeira de Assis, Vania Vieira Estrela, Vânia Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Vania Vieira Estrela, Alessandra Martins Coelho, Alessandra Martins Coelho, Alessandra Martins Coelho. 2012. [doi]

Improved LP-based algorithms for the closest string problemFederico Della Croce, Fabio Salassa. cor, 39(3):746-749, 2012. [doi]

Improved core problem based heuristics for the 0/1 multi-dimensional knapsack problemFederico Della Croce, Andrea Grosso. cor, 39(1):27-31, 2012. [doi]

A transformation-based approach to context-aware modellingDegrandsart, Sylvain, Demeyer, Serge, Van den Bergh, Jan, Tom Mens. SoSyM, , 2012. [doi]

Heterogeneous Modeling of Gesture-Based 3D ApplicationsRomuald Deshayes, Christophe Jacquet, Cécile Hardebolle, Frédéric Boulanger, Tom Mens. 2012:

On the modularity and reusability of the rule-based specification of QoS properties of systemsFrancisco Durán, Steffen Zschaler. In Preliminary Proc. 21st Int'l Workshop on Algebraic Development Techniques (WADT'2012) -- Technical Report Universidad Complutense de Madrid #TR-08/12 . 2012:

Role-Based Access Control in RetrospectVirginia N.L. Franqueira, Roel J. Wieringa. computer, 45:81-88, 2012. [doi]

Design and Comparative Evaluation of Smoothed Pointing: a Velocity-oriented Remote Pointing Enhancement TechniqueLuigi Gallo, Aniello Minutolo. International Journal of Human-Computer Studies, 70(4):287-300, 2012. [doi]

Lower tolerance-based Branch and Bound algorithms for the ATSPRemco Germs, Boris Goldengorin, Marcel Turkensteen. cor, 39(2):291-298, 2012. [doi]

Methods and Techniques for the Design and Implementation of Domain-Specific LanguagesZef Hemel. PhD thesis, Delft University of Technology, Delft, The Netherlands, January 2012.

Wavelet-based deconvolution of ultrasonic signals in nondestructive evaluationRoberto Henry Herrera, Rub{\'e}n Orozco, Manuel Rodr\'{\i}guez. CoRR, abs/1202.0609, 2012.

Tree-decomposition based heuristics for the two-dimensional bin packing problem with conflictsAli Khanafer, François Clautiaux, El-Ghazali Talbi. cor, 39(1):54-63, 2012. [doi]

A group-based channel assignment protocol for rate separation in IEEE 802.11-based multi-radio multi-rate ad hoc networksSok-Hyong Kim, Dong Wook Kim, Young-Joo Suh. adhoc, 10(1):95-110, 2012. [doi]

Type Checking Annotation-Based Product LinesChristian Kästner, Sven Apel, Thomas Thüm, Gunter Saake. ACM Transactions on Software Engineering and Methodology, 21(3):1-39, jul 2012.

A GRASP algorithm for the Closest String Problem using a probability-based heuristicSayyed Rasoul Mousavi, Navid Nasr Esfahani. cor, 39(2):238-248, 2012. [doi]

Cornish-Fisher expansions using sample cumulants and monotonic transformationsHaruhiko Ogasawara. ma, 103(1):1-18, 2012. [doi]

Test-case reduction for C compiler bugsJohn Regehr, Chen, Yang, Cuoq, Pascal, Eide, Eric, Ellison, Chucky, Yang, Xuejun. SIGPLAN, 47(6):335-346, jun 2012. [doi]

A general methodology for data-based rule building and its application to natural disaster managementJ. Tinguaro Rodríguez, Begoña Vitoriano, Javier Montero. cor, 39(4):863-873, 2012. [doi]

Bootstrap prediction mean squared errors of unobserved states based on the Kalman filter with estimated parametersAlejandro Rodríguez, Esther Ruiz. csda, 56(1):62-74, 2012. [doi]

Information dissemination in VANETs based upon a tree topologyPatricia Ruiz, Bernabé Dorronsoro, Pascal Bouvry, Lorenzo J. Tardón. adhoc, 10(1):111-127, 2012. [doi]

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. Software and Systems Modeling (Preprint) 2012.

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.

Deletion, replacement and mean-shift for diagnostics in linear mixed modelsLei Shi, Gemai Chen. csda, 56(1):202-208, 2012. [doi]

SECURITY MANAGEMENT SOLUTION FOR NGN AND NGS BASED ON NAGIOSMoussa Moindze SOIDRIDINE, Ahmed D. KORA and Karim KONATE, Moussa Moindze SOIDRIDINE, Ahmed D. KORA and Karim KONATE. The Mediterranean Journal of Electronics and Communications, 8(3):407-416, July 2012.

A heuristic algorithm based on Lagrangian relaxation for the closest string problemShunji Tanaka. cor, 39(3):709-717, 2012. [doi]

An LP-based heuristic algorithm for the node capacitated in-tree packing problemYuma Tanaka, Shinji Imahori, Mihiro Sasaki, Mutsunori Yagiura. cor, 39(3):637-646, 2012. [doi]

Family-Based Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Sven Apel, Martin Hentschel. In International Conference on Generative Programming and Component Engineering. 2012: 11-20

The Role of Social Media Artifacts in Collaborative Software DevelopmentChristoph Treude. PhD thesis, University of Victoria, 2012.

Work Item Tagging: Communicating Concerns in Collaborative Software DevelopmentChristoph Treude, Margaret-Anne D. Storey. TSE, 38(1):19-34, January / February 2012. [doi]

Model-Driven Performance Analysis of Rule-Based Domain Specific Visual ModelsJavier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler. Information and Software Technology, , 2012. [doi]

Declarative Specification of Template-Based Textual EditorsTobi Vollebregt. Master's thesis, Delft University of Technology, Delft, The Netherlands, April 2012. [doi]

Reversible Implementation of a Discrete Integer Linear TransformationAlexis De Vos, Stéphane Burignat, Michael Kirkedal Thomsen. mvl, 18(1):25-35, 2012. [doi]

mbeddr: an extensible C-based programming language and IDE for embedded systemsMarkus Völter, Ratiu, Daniel, Schaetz, Bernhard, Kolb, Bernd. In Proc. of the 3rd conf. on Systems, programming, and applications: software for humanity. 2012: 121-140 [doi]

Coloring large graphs based on independent set extractionQinghua Wu, Jin-Kao Hao. cor, 39(2):283-290, 2012. [doi]

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic DefinitionsVadim Zaytsev. In Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012). 2012: 1910-1915 [doi]

2011

International Symposium on Logic-Based Program Synthesis and Transformation, Proceedings2011.

Supervised neural computing and LMI optimisation for order model reduction-based control of the Buck switching-mode power supplyAnas N. Al-Rabadi, Othman M.-K. Alsmadi. ijsysc, 42(1):91-106, 2011. [doi]

Construction of the ef-based Runge-Kutta methods revisitedRaffaele D Ambrosio, L. Gr. Ixaru, Beatrice Paternoster. cphysics, 182(2):322-329, 2011. [doi]

Simultaneous concept-based evolutionary multi-objective optimizationGideon Avigad, Amiram Moshaiov. asc, 11(1):193-207, 2011. [doi]

Similarity analysis of DNA sequences based on the EMD methodFenglan Bai, Jihong Zhang, Junsheng Zheng. appml, 24(2):232-237, 2011. [doi]

Combining Specification-based and Code-based Coverage for Model Transformation ChainsEduard Bauer, Jochen Kuester. ICMT 2011: 78-92

A hybrid ANFIS model based on AR and volatility for TAIEX forecastingJing-Rong Chang, Liang-Ying Wei, Ching-Hsue Cheng. asc, 11(1):1388-1395, 2011. [doi]

Efficient multi-secret image sharing based on Boolean operationsTzungher Chen, Chang-Sian Wu. sigpro, 91(1):90-97, 2011. [doi]

Sales forecasting system based on Gray extreme learning machine with Taguchi method in retail industryF. L. Chen, T. Y. Ou. eswa, 38(3):1336-1345, 2011. [doi]

Numerical studies of photon-based spectroscopies on high-T::c:: superconductorsC. C. Chen, B. Moritz, C. J. Jia, S. Johnston, A. P. Sorini, L.-Q. Lee, K. Ko, T. P. Devereaux. cphysics, 182(1):106-108, 2011. [doi]

Measure of similarity between interval-valued fuzzy numbers for fuzzy recommendation process based on quadratic-mean operatorShi-Jay Chen. eswa, 38(3):2386-2394, 2011. [doi]

A modified super-efficiency measure based on simultaneous input-output projection in data envelopment analysisJin-Xiao Chen, Mingrong Deng, Sylvain Gingras. cor, 38(2):496-504, 2011. [doi]

Approximation of fixed points of pseudocontraction semigroups based on a viscosity iterative processSun-Young Cho, Shin Min Kang. appml, 24(2):224-228, 2011. [doi]

Establishing expert system for prediction based on the project-oriented data warehouseJui-Sheng Chou, Hsien-Cheng Tseng. eswa, 38(1):640-651, 2011. [doi]

A Knowledge-based Evolution Algorithm approach to political districting problemChung-I Chou. cphysics, 182(1):209-212, 2011. [doi]

Chaotic maps based on binary particle swarm optimization for feature selectionLi-Yeh Chuang, Cheng-Hong Yang, Jung-Chike Li. asc, 11(1):239-248, 2011. [doi]

On generalized communicating P systems with minimal interaction rulesErzsébet Csuhaj-Varjú, Sergey Verlan. TCS, 412(1-2):124-135, 2011. [doi]

Combined DEMATEL technique with a novel MCDM model for exploring portfolio selection based on CAPMWen-Rong Jerry Ho, Chih-Lung Tsai, Gwo-Hshiung Tzeng, Sheng-Kai Fang. eswa, 38(1):16-25, 2011. [doi]

The GReTL Transformation LanguageTassilo Horn, Jürgen Ebert. ICMT 2011: 183-197

Model-Driven Development of Service Compositions for Enterprise InteroperabilityRavi Khadka, Brahmananda Sapkota, Luis Ferreira Pires, Marten van Sinderen, Slinger Jansen. In Enterprise Interoperability. Volume 76 of LNBIP, pages 177-190, Springer, 2011.

Hybrid GA-BF based intelligent PID controller tuning for AVR systemDong Hwa Kim. asc, 11(1):11-22, 2011. [doi]

Efficient cluster-based group key agreement protocols for wireless ad hoc networksElisavet Konstantinou. jnca, 34(1):384-393, 2011. [doi]

Wavelet based control for a class of delayed nonlinear systems with input constraintsA. Kulkarni. eswa, 38(3):1993-1998, 2011. [doi]

Application of particle swarm optimization to association rule miningR. J. Kuo, C. M. Chao, Y. T. Chiu. asc, 11(1):326-336, 2011. [doi]

Optimization of Visitor Performance by Reflection-Based AnalysisMarkus Lepper, Baltasar Trancón-y-Widemann. ICMT 2011: 15-30

Inversion-based control of a vehicle with a clutch using a switched causal modellingW. Lhomme, R. Trigui, A. Bouscayrol, P. Delarue, B. Jeanneret, F. Badin. ijsysc, 42(2):319-334, 2011. [doi]

Efficient vehicle ownership identification scheme based on triple-trapdoor chameleon hash functionDai-Rui Lin, Chih-I Wang, D. J. Guan. jnca, 34(1):12-19, 2011. [doi]

Bond graph based Bayesian network for fault diagnosisC. H. Lo, Y. K. Wong, Ahmad B. Rad. asc, 11(1):1208-1212, 2011. [doi]

Trace-based verification of imperative programs with I/OGregory Malecha, Greg Morrisett, Ryan Wisnesky. JSC, 46(2):95-118, 2011. [doi]

Goodness-of-fit testing in growth curve models: A general approach based on finite differencesA. Mandal, W. T. Huang, S. K. Bhandari, A. Basu. csda, 55(2):1086-1098, 2011. [doi]

A Probabilistic Model for Robust Localization Based on a Binaural Auditory Front-EndT. May, Steven van de Par, Armin Kohlrausch. taslp, 19(1):1-13, 2011. [doi]

Intelligent approach for parallel HEV control strategy based on driving cyclesM. Montazeri-Gh, M. Asadi. ijsysc, 42(2):287-302, 2011. [doi]

Study and performance of localization methods in IP based networks: Vivaldi algorithmPatrik Moravek, Dan Komosny, Radim Bürget, Jaroslav Sveda, Tomas Handl, Lucie Jarosova. jnca, 34(1):351-367, 2011. [doi]

Text-independent speaker verification using ant colony optimization-based selected featuresShahla Nemati, Mohammad Ehsan Basiri. eswa, 38(1):620-630, 2011. [doi]

A new asynchronous parallel global optimization method based on simulated annealing and differential evolutionJernej Olensek, Tadej Tuma, Janez Puhan, Árpád Bürmen. asc, 11(1):1481-1489, 2011. [doi]

A decision support system for usability evaluation of web-based information systemsAsil Oztekin. eswa, 38(3):2110-2118, 2011. [doi]

Curve interpolation based on the canonical arc length parametrizationSpiros G. Papaioannou, Marios M. Patrikoussakis. cad, 43(1):21-30, 2011. [doi]

A note on influence diagnostics in nonlinear mixed-effects elliptical modelsAlexandre G. Patriota. csda, 55(1):218-225, 2011. [doi]

Likelihood-based confidence intervals for the risk ratio using double sampling with over-reported binary dataDewi Rahardja, Dean M. Young. csda, 55(1):813-823, 2011. [doi]

A Stochastic Arabic Diacritizer Based on a Hybrid of Factorized and Unfactorized Textual FeaturesMohsen Rashwan, Mohamed Al-Badrashiny, Mohamed Attia, Sherif Abdou, A. Rafea. taslp, 19(1):166-175, 2011. [doi]

Efficient Distributed Genetic Algorithm for Rule extractionMiguel Rodríguez, Diego M. Escalante, Antonio Peregrín. asc, 11(1):733-743, 2011. [doi]

Embedding domain-specific modelling languages in maude specificationsVlad Rusu. ACM SIGSOFT Software Engineering Notes, 36(1):1-8, January 2011. [doi]

Dynamic replication in a data grid using a Modified BHR Region Based AlgorithmK. Sashi, Antony Selvadoss Thanamani. fgcs, 27(2):202-210, 2011. [doi]

An Evaluation of the Graphical Modeling Framework (GMF) based on the Development of the CORAS ToolFredrik Seehusen, Atle Refsdal, Ketil Stølen. ICMT 2011: 152-166

A predictive and probabilistic load-balancing algorithm for cluster-based web serversSaeed Sharifian, Seyed A. Motamedi, Mohammad K. Akbari. asc, 11(1):970-981, 2011. [doi]

Algebraic break of image ciphers based on discretized chaotic map latticesErcan Solak, Cahit Çokal. isci, 181(1):227-233, 2011. [doi]

MCMC-based estimation methods for continuous longitudinal data with non-random (non)-monotone missingnessCristina Sotto, Caroline Beunckens, Geert Molenberghs, Michael G. Kenward. csda, 55(1):301-311, 2011. [doi]

The Value State Dependence Graph RevisitedJames Stanier, Alan Lawrence. WIR 2011: 53-60

A constraint programming-based solution approach for medical resident scheduling problemsSeyda Topaloglu, Irem Ozkarahan. cor, 38(1):246-255, 2011. [doi]

Web-based geographic search engine for location-aware search in SingaporeFlora S. Tsai. eswa, 38(1):1011-1016, 2011. [doi]

Grid-based localization and local mapping with moving object detection and trackingTrung-Dung Vu, Julien Burlet, Olivier Aycard. inffus, 12(1):58-69, 2011. [doi]

A study of developing an input-oriented ratio-based comparative efficiency modelChing-Kuo Wei, Liang-Chih Chen, Rong-Kwei Li, Chih-Hung Tsai. eswa, 38(3):2473-2477, 2011. [doi]

The user model-based summarize and refine approach improves information presentation in spoken dialog systemsAndi Winterboer, Martin I. Tietze, Maria Wolters, Johanna D. Moore. csl, 25(2):175-191, 2011. [doi]

Collection Processing with Constraints, Monads, and FoldsRyan Wisnesky. WIR 2011: 37-44

Instance-based domain ontological view creation towards semantic integrationYunjiao Xue, Hamada Ghenniwa, Weiming Shen. eswa, 38(2):1193-1202, 2011. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: rule-based program transformation

Viewing Publication 1 - 100 from 186335

2013

2012

2011

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: rule-based program transformation

Viewing Publication 1 - 100 from 186335

2013

2012

2011

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1