transformation aspects - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 7607

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.

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

A transformation-based approach to context-aware modellingDegrandsart, Sylvain, Demeyer, Serge, Van den Bergh, Jan, Tom Mens. SoSyM, , 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.

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]

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.

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

2011

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

Parallel Transformation Network features for speaker recognitionAlberto Abad, Jordi Luque, Isabel Trancoso. icassp 2011: 5300-5303 [doi]

Towards Style Transformation from Written-Style to Audio-StyleAmjad Abu-Jbara, Barbara Rosario, Kent Lyons. acl 2011: 248-253 [doi]

Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected PapersMaría Alpuente, editor, Volume 6564 of Lecture Notes in Computer Science, Springer, 2011. [doi]

2D similarity transformations on multi-touch surfacesBehrooz Ashtiani, Wolfgang Stürzlinger. graphicsinterface 2011: 57-64 [doi]

E-Technologies: Transformation in a Connected World - 5th International Conference, MCETECH 2011, Les Diablerets, Switzerland, January 23-26, 2011, Revised Selected PapersGilbert Babin, Katarina Stanoevska-Slabeva, Peter Kropf, editors, Volume 78 of Lecture Notes in Business Information Processing, Springer, 2011. [doi]

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

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

Combining Specification-Based and Code-Based Coverage for Model Transformation ChainsEduard Bauer, Jochen Malte Küster. ICMT 2011: 78-92 [doi]

On a new method for finding generalized equivalence transformations for differential equations involving arbitrary functionsNicoleta Bila. JSC, 46(6):659-671, 2011. [doi]

Proceedings of the Workshop on Intermediate RepresentationsFlorent Bouchez, Sebastian Hack, Eelco Visser, editors, 2011.

A transformation contract to generate aspects from access control policiesChristiano Braga. SoSyM, 10(3):395-409, 2011. [doi]

Spectral registration of volume data for 6-DOF spatial transformations plus scaleHeiko Bülow, Andreas Birk 0002. icra 2011: 3078-3083 [doi]

Transformations into Normal Forms for Quantified CircuitsHans Kleine Büning, Xishun Zhao, Uwe Bubeck. sat 2011: 245-258 [doi]

A program transformation for returning states in functional-logic programsRafael Caballero. PEPM 2011: 111-120 [doi]

Multimodal conspicuity-enhancement for e-bikes: the hybrid reality model of environment transformationSandro Castronovo, Christoph Endres, Tobias Del Fabro, Nils Schnabel, Christian A. Müller. IUI 2011: 433-434 [doi]

Estimating m-regimes STAR-GARCH model using QMLE with parameter transformationFelix Chan, Billy Theoharakis. mcs, 81(7):1385-1396, 2011. [doi]

Program transformations for asynchronous query submissionMahendra Chavan, Ravindra Guravannavar, Karthik Ramachandra, S. Sudarshan. icde 2011: 375-386 [doi]

Asymptotic expansions for the Bessel transformations with high oscillations by using the homotopy techniqueRuyun Chen, Ximing Liang. ijcm, 88(13):2872-2887, 2011. [doi]

TTL: A Transformation, Transference and Loading Approach for Active MonitoringEmma Chávez, Gavin Finnie. dawak 2011: 124-135 [doi]

Quasi-Linear Transformations, Numeration Systems and FractalsMarie-Andrée Jacob-Da Col, Pierre Tellier. dgci 2011: 187-198 [doi]

Spin transformations of discrete surfacesKeenan Crane, Ulrich Pinkall, Peter Schröder. tog, 30(4):104, 2011. [doi]

3D Mappings by Generalized Joukowski TransformationsCarla Cruz, M. I. Falcão, H. R. Malonek. iccsa 2011: 358-373 [doi]

Transformation of structure-shy programs with application to XPath queries and strategic functionsAlcino Cunha, Joost Visser. SCP, 76(6):516-539, 2011. [doi]

A new hypergeometric transformation of the Rathie-Rakha typeDjurdje Cvijovic. appml, 24(3):340-343, 2011. [doi]

Applying CIM-to-PIM model transformations for the service-oriented development of information systemsValeria de Castro, Esperanza Marcos, Juan M. Vara. INFSOF, 53(1):87-105, 2011. [doi]

Numerical Computation of the Schwarz-Christoffel Transformation for Multiply Connected DomainsThomas K. DeLillo, Everett H. Kropf. siamsc, 33(3):1369-1394, 2011. [doi]

A Study of Color Space Transformation Method Using Nonuniform Segmentation of Color Space SourceJiabin Deng, Juanli Hu, Juebo Wu. jcp, 6(2):288-296, 2011. [doi]

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric CaseZinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki. jot, 10, 2011. [doi]

Higher-order transformations with nested concrete syntaxGiorgios Rob Economopoulos, Bernd Fischer. LDTA 2011: 4 [doi]

Two-dimensional q-differential transformation and its applicationMoustafa El-Shahed, Mohammed Gaber. amc, 217(22):9165-9172, 2011. [doi]

Transdisciplinary Perspectives on Environmental Sustainability: A Resource Base and Framework for IT-Enabled Business TransformationSteve Elliot. misq, 35(1):197-236, 2011. [doi]

Characterizations of simple points, simple edges and simple cliques of digital spaces: One method of topology-preserving transformations of digital spaces by deleting simple points and edgesAlexander V. Evako. cvgip, 73(1):1-9, 2011. [doi]

Open innovation and public administration: transformational typologies and business model impactsJoseph Feller, Patrick Finnegan, Olof Nilsson. ejis, 20(3):358-374, 2011. [doi]

Generative and Transformational Techniques in Software Engineering III - International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised PapersJoao M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Volume 6491 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Towards handling architecture design, variability and evolution with model transformationsFabian Gilson, Vincent Englebert. vamos 2011: 39-48 [doi]

Single-Channel 1.28 Tbit/s-525 km DQPSK Transmission Using Ultrafast Time-Domain Optical Fourier Transformation and Nonlinear Optical Loop MirrorPengyu Guan, Hans Christian Hansen Mulvad, Yutaro Tomiyama, Toshiyuki Hirano, Toshihiko Hirooka, Masataka Nakazawa. ieicet, 94-B(2):430-436, 2011. [doi]

Relationship and role transformations in social media environmentsHazel Hall. el, 29(4):421-428, 2011. [doi]

Nonlinear estimation applying an unscented transformation in systems with correlated uncertain observationsAurora Hermoso-Carazo, Josefa Linares-Pérez. amc, 217(20):7998-8009, 2011. [doi]

RLSRunner: Linking Rascal with K for Program AnalysisHills, Mark, Paul Klint, Jurgen J. Vinju. In Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011). 2011:

Using standards to enable the transformation to smarter citiesJohn Hogan, J. Meegan, Rashik Parmar, V. Narayan, Robert J. Schloss. ibmrd, 55(1):4, 2011. [doi]

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

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

Transformation of General Binary MRF Minimization to the First-Order CaseHiroshi Ishikawa. pami, 33(6):1234-1249, 2011. [doi]

Brief announcement: locality-enhancing loop transformations for tree traversal algorithmsYoungjoon Jo, Milind Kulkarni. spaa 2011: 263-264 [doi]

Verification of Register Transfer Level Low Power TransformationsChandan Karfa, Chitta Mandal, Dipankar Sarkar. isvlsi 2011: 313-314 [doi]

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.

R2O: Relation to Ontology Transformation SystemSharifullah Khan, Kiran Sonia. jikm, 10(1):71-89, 2011. [doi]

Cardiac myocyte model parameter sensitivity analysis and model transformation using a genetic algorithmArmen Kherlopian, Francis A. Ortega, David J. Christini. gecco 2011: 755-758 [doi]

Transformation Equivariant Boltzmann MachinesJyri J. Kivinen, Christopher K. I. Williams. icann 2011: 1-9 [doi]

Towards a One-Stop-Shop for Analysis, Transformation and Visualization of SoftwarePaul Klint, Bert Lisser, Atze van der Ploeg. In SLE. 2011: 1-18 [doi]

High-order center-frequency adaptive filters using block-diagram-based frequency transformationShunsuke Koshita, Yuki Kumamoto, Masahide Abe, Masayuki Kawamata. icassp 2011: 4284-4287 [doi]

Parallel Graph Transformations Supported by Replicated Complementary GraphsLeszek Kotulski, Adam Sedziwy. icannga 2011: 254-264 [doi]

Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computingHans-Jörg Kreowski, Sabine Kuske. nc, 10(2):961-986, 2011. [doi]

Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation SemigroupsMichal Kunc, Alexander Okhotin. dlt 2011: 324-336 [doi]

Democratising technology: making transformation using designing, performance and propsAnn Light. CHI 2011: 2239-2242 [doi]

Application of a differential transformation method to strongly nonlinear damped q-difference equationsHsuan-Ku Liu. cma, 61(9):2555-2561, 2011. [doi]

Policy Invariance under Reward Transformations for General-Sum Stochastic GamesXiaosong Lu, Howard M. Schwartz, Sidney Nascimento Givigi. jair, 41:397-406, 2011. [doi]

Optimal Inversion of the Anscombe Transformation in Low-Count Poisson Image DenoisingMarkku Makitalo, Alessandro Foi. TIP, 20(1):99-109, 2011. [doi]

Uniform RECA Transformations in Rough Extended Clustering FrameworkDariusz Malyszko, Jaroslaw Stepaniuk. aciids 2011: 110-119 [doi]

Debugging in domain-specific modellingMannadiar, Raphael, Hans Vangheluwe. In Proceedings of the Third international conference on Software language engineering. 2011: 276-285

The transformation of requirements into software primitives: Studying evolvability based on systems theoretic stabilityHerwig Mannaert, Jan Verelst, Kris Ven. SCP, 76(12):1210-1222, 2011. [doi]

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming languageSteffen Mazanek, Michael Hanus. JCL (JVLC), 22(1):66-89, 2011. [doi]

Transformation: next generation technical services at the University of California LibrariesNorm Medeiros. oclc, 27(1):6-9, 2011. [doi]

Image Decompositions and Transformations as Peaks and WellsFernand Meyer. ismm 2011: 25-36 [doi]

Forcing as a Program TransformationAlexandre Miquel. lics 2011: 197-206 [doi]

The Transformation of Second-Order Linear Systems into Independent EquationsMatthias Morzfeld, Fai Ma, Beresford N. Parlett. siamam, 71(4):1026-1043, 2011. [doi]

Secure Public-Key Encryption from Random Oracle TransformationMototsugu Nishioka, Naohisa Komatsu. ieicet, 94-A(4):1091-1105, 2011. [doi]

Stochastic system transformation using generalized orthonormal basis functions with applications to continuous-time system identificationYoshito Ohta. automatica, 47(5):1001-1006, 2011. [doi]

Data set preprocessing and transformation in a database systemCarlos Ordonez. ida, 15(4):613-631, 2011. [doi]

Numerical Solution of Multi-scale Electromagnetic Boundary Value Problems by Utilizing Transformation-Based MetamaterialsOzlem Ozgun, Mustafa Kuzuoglu. iccsa 2011: 11-25 [doi]

Calculating with lenses: optimising bidirectional transformationsHugo Pacheco, Alcino Cunha. PEPM 2011: 91-100 [doi]

Transformation of LC-filters to active RC-circuits via the two-graph methodMarian Pierzchala, Mourad Fakhfakh. mj, 42(8):999-1005, 2011. [doi]

Analysing graph transformation systems through constraint handling rulesFrank Raiser, Thom W. Frühwirth. tplp, 11(1):65-109, 2011. [doi]

Multi-label Testing for CO:::2:::RBFN: A First Approach to the Problem Transformation Methodology for Multi-label ClassificationAntonio Jesús Rivera Rivas, F. Charte, M. Dolores Pérez-Godoy, María José del Jesús. iwann 2011: 41-48 [doi]

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

On the possible patterns of inputs for block sorting in the Burrows-Wheeler transformationTakashi Saso, Kojiro Kobayashi, Atsuyoshi Nakamura. ipl, 111(12):595-599, 2011. [doi]

A categorical framework for the transformation of object-oriented systems: Models and dataChristoph Schulz, Michael Löwe, Harald König. JSC, 46(3):316-337, 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

Autotuning in an Array Processing Language using High-level Program TransformationsYusuke Shirota, Jun ichi Segawa, Masaya Tarui, Tatsunori Kanai. procedia, 4:2126-2135, 2011. [doi]

Tree Transformation through Vertex Contraction with Application to SkeletonsArseny Smirnov, Kira Vyatkina. iccsa 2011: 94-106 [doi]

On the Transformation of Grounded inductors to Floating inductors Using ofa and FcciiAhmed M. Soliman. jcsc, 20(2):243-262, 2011. [doi]

Online tax payment systems as an emergent aspect of governmental transformationThomas F. Stafford, Aykut Hamit Turan. ejis, 20(3):343-357, 2011. [doi]

Effects of sensorimotor transformations with graphical input devicesChristine Sutter, Jochen Müsseler, Laszlo Bardos. behaviourIT, 30(3):415-424, 2011. [doi]

Application of the differential transformation method to bifurcation and chaotic analysis of an AFM probe tipCheng Chi Wang, Her-Terng Yau. cma, 61(8):1957-1962, 2011. [doi]

Deriving a Slicing Algorithm via FermaT TransformationsMartin P. Ward, Hussein Zedan. TSE, 37(1):24-47, 2011. [doi]

Organisational knowledge transformation and its influencing factors in individual, team and organisational levelWu Wei, Yezhou Yan. ijnvo, 8(3/4):192-208, 2011. [doi]

Performance optimization by dynamic code transformationJosef Weidendorfer, Tilman Küstner, Sally A. McKee. cf 2011: 7 [doi]

eBirding: technology adoption and the transformation of leisure into scienceAndrea Wiggins. iconference 2011: 798-799 [doi]

How Do I Line Up? : Reducing Mental Transformations to Improve PerformanceGuy W. Zimmerman, Dale S. Klopfer, G. Michael Poor, Julie Barnes, Laura M. Leventhal, Samuel D. Jaffee. hci 2011: 432-440 [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: transformation aspects

Viewing Publication 1 - 100 from 7607

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: transformation aspects

Viewing Publication 1 - 100 from 7607

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