Academic literature on the topic 'Hybrid programming models'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Hybrid programming models.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Hybrid programming models"
Andrews, D., D. Niehaus, and P. Ashenden. "Programming models for hybrid CPU/FPGA chips." Computer 37, no. 1 (January 2004): 118–20. http://dx.doi.org/10.1109/mc.2004.1260732.
Full textAlghamdi, Ahmed Mohammed, Fathy Elbouraey Eassa, Maher Ali Khamakhem, Abdullah Saad AL-Malaise AL-Ghamdi, Ahmed S. Alfakeeh, Abdullah S. Alshahrani, and Ala A. Alarood. "Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs." Symmetry 12, no. 9 (September 20, 2020): 1555. http://dx.doi.org/10.3390/sym12091555.
Full textJamaluddin, Muhammad Na’im Fikri, Azlan Ismail, Amir Abd Rashid, and Talha Takleh Omar Takleh. "Performance comparison of java based parallel programming models." Indonesian Journal of Electrical Engineering and Computer Science 16, no. 3 (December 1, 2019): 1577. http://dx.doi.org/10.11591/ijeecs.v16.i3.pp1577-1583.
Full textLi, Dong, Bronis R. de Supinski, Martin Schulz, Dimitrios S. Nikolopoulos, and Kirk W. Cameron. "Strategies for Energy-Efficient Resource Management of Hybrid Programming Models." IEEE Transactions on Parallel and Distributed Systems 24, no. 1 (January 2013): 144–57. http://dx.doi.org/10.1109/tpds.2012.95.
Full textWang, Zhi-Cheng, and Xiao-Bei Wu. "Hybrid Biogeography-Based Optimization for Integer Programming." Scientific World Journal 2014 (2014): 1–9. http://dx.doi.org/10.1155/2014/672983.
Full textAndrews, D., D. Niehaus, R. Jidin, M. Finley, W. Peck, M. Frisbie, J. Ortiz, Ed Komp, and P. Ashenden. "Programming models for hybrid FPGA-cpu computational components: a missing link." IEEE Micro 24, no. 4 (July 2004): 42–53. http://dx.doi.org/10.1109/mm.2004.36.
Full textRabenseifner, Rolf, and Gerhard Wellein. "Communication and Optimization Aspects of Parallel Programming Models on Hybrid Architectures." International Journal of High Performance Computing Applications 17, no. 1 (February 2003): 49–62. http://dx.doi.org/10.1177/1094342003017001005.
Full textMohamed, Ahmed S. "Broader dynamic load balancing for hybrid/multi-level parallel programming models." International Journal of High Performance Computing and Networking 3, no. 2/3 (2005): 171. http://dx.doi.org/10.1504/ijhpcn.2005.008034.
Full textSitek, Paweł, Krzysztof Bzdyra, and Jarosław Wikarek. "A Hybrid Method for Modeling and Solving Supply Chain Optimization Problems with Soft and Logical Constraints." Mathematical Problems in Engineering 2016 (2016): 1–16. http://dx.doi.org/10.1155/2016/1532420.
Full textChorley, Martin J., David W. Walker, and Martyn F. Guest. "Hybrid Message-Passing and Shared-Memory Programming in a Molecular Dynamics Application On Multicore Clusters." International Journal of High Performance Computing Applications 23, no. 3 (June 2, 2009): 196–211. http://dx.doi.org/10.1177/1094342009106188.
Full textDissertations / Theses on the topic "Hybrid programming models"
Wu, Zheng. "Hybrid Multi-Objective Optimization Models for Managing Pavement Assets." Diss., Virginia Tech, 2008. http://hdl.handle.net/10919/26092.
Full textPh. D.
Cai, Xinye. "A multi-objective GP-PSO hybrid algorithm for gene regulatory network modeling." Diss., Manhattan, Kan. : Kansas State University, 2009. http://hdl.handle.net/2097/1492.
Full textSzczepanski, Nicolas. "SAT en Parallèle." Thesis, Artois, 2017. http://www.theses.fr/2017ARTO0403/document.
Full textThis thesis deals with propositional satisfiability (SAT) in a massively parallel setting. The SAT problem is widely used for solving several combinatorial problems (e.g. formal verification of hardware and software, bioinformatics, cryptography, planning, scheduling, etc.). The first contribution of this thesis concerns the design of efficient algorithms based on the approaches « portfolio » and « divide and conquer ». Secondly, an adaptation of several parallel programming models including hybrid (parallel and distributed computing) to SAT is proposed. This work has led to several contributions to international conferences and highly competitive distributed SAT solvers
PONTE, THIAGO COSTA. "LUACHARM: A HYBRID MODEL USING SCRIPTING LANGUAGES FOR PARALEL PROGRAMMING." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2008. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=30276@1.
Full textPROGRAMA DE EXCELENCIA ACADEMICA
Nos últimos anos, as linguagens de script ganharam muita importância em diversas áreas da computação. Uma das áreas onde essas linguagens ainda são pouco exploradas é na área de computação paralela. A computação paralela sempre foi fortemente associada a computação científica, mas recentemente ela ganhou uma nova importância com a popularização de processadores multi-core. Com esse crescimento se torna necessário o surgimento de novos paradigmas de programação paralela para facilitar o desenvolvimento e dinamizar as aplicações, e linguagens de script podem ser usadas para isso, trazendo dinamismo, simplicidade e flexibilidade às aplicações. Esta dissertação visa estudar um modelo híbrido de programação entre duas linguagens de programação, Lua e Charm plus plus.
Recently, scripting languages have become very important in many fields of computer science. One area in which these languages have not been explored is paralel programming. Paralel programming has always been strongly associated with scientific usage, but recently, with the growth in popularity of multi core systems, it has gained a new field of action. With this change, the development of new programming paradigms of paralel programming become necessary in order to make development easier and applications more dynamic. Scripting languages may be used for this, bringing dynamics, flexibility and simplicity to aplications. This dissertation aims to study a hybrid programming model with two programming languages, Charm plus plus and Lua.
Rivotti, Pedro. "Multi-parametric programming and explicit model predictive control of hybrid systems." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24432.
Full textÑahuis, Fernando Vladimir Cerna [UNESP]. "Modelos de programação matemática para o gerenciamento de energia em modernos sistemas de distribuição de energia elétrica." Universidade Estadual Paulista (UNESP), 2017. http://hdl.handle.net/11449/148871.
Full textApproved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-02-24T20:11:29Z (GMT) No. of bitstreams: 1 nahuis_fvc_dr_ilha.pdf: 2994686 bytes, checksum: 5e487b40d4aeb0006f40a0abdb9d9af6 (MD5)
Made available in DSpace on 2017-02-24T20:11:29Z (GMT). No. of bitstreams: 1 nahuis_fvc_dr_ilha.pdf: 2994686 bytes, checksum: 5e487b40d4aeb0006f40a0abdb9d9af6 (MD5) Previous issue date: 2017-02-17
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Nesta tese são apresentados três modelos de programação matemática que abordam os problemas de otimização relacionados ao gerenciamento da energia nos sistemas de distribuição de energia elétrica (SDEE), como: 1) Programação ótima das entregas e carregamento dos veículos elétricos (VEs) durante a navegação em um mapa de cidade, 2) Gerenciamento ótimo pelo lado da demanda considerando um sistema fotovoltaico híbrido (SFH) em uma residência em baixa tensão (RBT) no SDEE, e 3) O melhoramento do fator de carga (FC) do SDEE através do controle da demanda. O primeiro problema visa minimizar os custos relacionados com a manutenção e geração de horas extra durante a operação de uma frota de VEs, levando em conta um conjunto de entregas pre-especificadas, assim como, pontos de carregamento alocados ao longo de cada via urbana (principal e/ou secundária) pertencente ao mapa da cidade. No segundo problema, para uma residência em baixa tensão é planejado um perfil ótimo de consumo para o dia seguinte. Este perfil de consumo é obtido através de um programa de gerenciamento pelo lado da demanda (GLD) que considera uma estrutura tarifária e um esquema de operação que otimiza os recursos energéticos vindos de um SFH e o SDEE. Para cada problema de otimização é apresentado o seu correspondente modelo de programação não linear inteiro misto (PNLIM). O terceiro problema visa minimizar os custos por compra de energia (consumo e perdas de potência ativa) da concessionária, levando em conta, o controle da demanda dos usos-finais, presentes nas unidades consumidoras (residenciais, comerciais, e industriais) no SDEE. As incertezas na utilização dos usos-finais nas unidades consumidoras são simuladas através de um algoritmo Monte Carlo. Além disso, o modelo proposto PIMRQ é rodado dentro de um processo iterativo, que visa a melhoria do FC do SDEE. Por outro lado, através destes modelos não-lineares, a solução ótima global não é garantida, enquanto o uso de modelos equivalentes (para o primeiro e segundo problema, sendo um modelo aproximado para o terceiro) de programação linear inteira mista (PLIM) resolvidos por ferramentas de otimização clássica existentes garantem a convergência para a solução ótima global. Por conseguinte, para resolver este inconveniente, os seus modelos MILP equivalentes são obtidos e explicados em detalhe. Os modelos propostos foram implementados na linguagem de modelagem algébrica AMPL e resolvidos usando o solver comercial CPLEX. Além disso, algoritmos de simulação para representar as incertezas dos tempos de demora na operação dos VEs e os hábitos de utilização dos usos-finais durante o dia, são desenvolvidos. Um grafo unidirecional de 71 nós, uma rede elétrica IEEE de 34 nós, e 21 usos-finais (incluído um VE plug-in para o carregamento na residência) residenciais são utilizados para testar a precisão e a eficiência, assim como, também técnica de solução dos modelos propostos para cada problema.
This thesis presents three mathematical programming models to address the optimization problems related to the energy management in the electricity distribution systems (EDSs), such as: 1) Optimal delivery scheduling and charging of electric vehicles (EVs) in the navigation of a city map, 2) Optimal demand side management of an EDS considering a hybrid photovoltaic system (HPS) in a residential low voltage (RLV), and 3) Load factor improvement through the demand control in the EDS. The first problem aims at minimizing the costs related to the maintenance and generation of extra hours during the operation of a EVs fleet, taking into account a number of prespecified deliveries, as well as charging points allocated along each urban road (main or secondary) belongs to the city map. In the second problem, for a RLV, an optimal consumption profile of a day-ahead is planned. This consumption profile is obtained through a demand side management (DSM) program that considers a tariff structure and an operating scheme that optimizes the energy resources coming from HFS and EDS. The third problem aims at minimizing the costs of energy purchase (consumption and active energy losses) of the company, taking into account, the demand control of the end-uses, presents in the consumers units (residential, commercial, and industrial) in the EDS. Uncertainties in the use of the end-uses in the different consumer units are simulated through a Monte Carlo algorithm that determines a habitual consumption profile for EDSs. Based on this habitual profile, the proposed MIPRQ model determines an optimal profile for EDSs. This model uses an iterative process that aims to improve the load factor of the EDS. For each optimization problem the corresponding non-linear mixed integer programming (NLMIP) model is presented. On the other hand, via these nonlinear models, the global optimal solution is not guaranteed, while using the equivalent mixed-integer linear (MILP) models (for the first and second problems, being an approximate model for the third) and solving them by existing classical optimization tools ensures convergence to global optimal solution. Therefore, in order to address this drawback, their equivalent mixed integer linear programming (MILP) models are obtained and explained in detail. The proposed models are implemented in the algebraic modeling language AMPL and solved using the commercial CPLEX solver. Moreover, simulations algorithms to represent the uncertainties of delay times in the operation of EVs and usage habits of end-uses during the day, are developed. A multidirectional graph with 71 nodes, an electrical network IEEE 34 nodes, and a quantity of 21 residential end-uses (including an EV plug-in for residential charging) are used to test the precision and the efficiency, as well as the solution technique of the models proposed for each problem.
CNPq: 141462/2013- 2
Ñahuis, Fernando Vladimir Cerna. "Modelos de programação matemática para o gerenciamento de energia em modernos sistemas de distribuição de energia elétrica /." Ilha Solteira, 2017. http://hdl.handle.net/11449/148871.
Full textResumo: Nesta tese são apresentados três modelos de programação matemática que abordam os problemas de otimização relacionados ao gerenciamento da energia nos sistemas de distribuição de energia elétrica (SDEE), como: 1) Programação ótima das entregas e carregamento dos veículos elétricos (VEs) durante a navegação em um mapa de cidade, 2) Gerenciamento ótimo pelo lado da demanda considerando um sistema fotovoltaico híbrido (SFH) em uma residência em baixa tensão (RBT) no SDEE, e 3) O melhoramento do fator de carga (FC) do SDEE através do controle da demanda. O primeiro problema visa minimizar os custos relacionados com a manutenção e geração de horas extra durante a operação de uma frota de VEs, levando em conta um conjunto de entregas pre-especificadas, assim como, pontos de carregamento alocados ao longo de cada via urbana (principal e/ou secundária) pertencente ao mapa da cidade. No segundo problema, para uma residência em baixa tensão é planejado um perfil ótimo de consumo para o dia seguinte. Este perfil de consumo é obtido através de um programa de gerenciamento pelo lado da demanda (GLD) que considera uma estrutura tarifária e um esquema de operação que otimiza os recursos energéticos vindos de um SFH e o SDEE. Para cada problema de otimização é apresentado o seu correspondente modelo de programação não linear inteiro misto (PNLIM). O terceiro problema visa minimizar os custos por compra de energia (consumo e perdas de potência ativa) da concessionária, levando em conta, o co... (Resumo completo, clicar acesso eletrônico abaixo)
Doutor
Bhikadiya, Ruchit Anilbhai. "Hybrid Vehicle Control Benchmark." Thesis, Linköpings universitet, Fordonssystem, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-171586.
Full textAxehill, Daniel. "Integer Quadratic Programming for Control and Communication." Doctoral thesis, Linköpings universitet, Reglerteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-10642.
Full textThis material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the Linköping University's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this material, you agree to all provisions of the copyright laws protecting it.
Engman, Jimmy. "Model Predictive Control for Series-Parallel Plug-In Hybrid Electrical Vehicle." Thesis, Linköpings universitet, Fordonssystem, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-69608.
Full textFordonsindustrin måste hantera allt strängare lagkrav mot utsläpp av emissioneroch växthusgaser. Hybridfordon har börjat betraktas som den framtida vägenför att ytterligare minska utsläpp och användning av fossila bränslen. Den ökadekomplexiteten från flera olika motorer kräver mera avancerade styrsystem. Begränsningarfrån motorernas energikällor gör att framtida förhållanden är viktigaatt estimera. För plug-in hybridfordon, PIHEV, är det viktigt att använda denvvijämförelsevis billiga elektriska energin innan fordonet har nått fram till slutdestinationen.Batteriets nuvarande energimängd mäts i dess State of Charge, SOC.Genom att utnyttja information om hur långt det är till slutdestinationen från ettGlobal Positioning System, GPS, blandar styrsystemet den elektriska energin medbränsle från början, detta kallas för blandad körning. En strategi som inte hartillgång till hur långt fordonet ska köras kallas Charge Depleting Charge Sustaining,CDCS. Denna strategi använder först energin från batteriet, för att sedanbörja använda förbränningsmotorn när SOC:s miniminivå har nåtts. Strategin attanvända GPS informationen är jämförd med en strategi som inte har tillgång tillinformation om körcykelns längd. Blandad körning använder en variabel SOC referens,till skillnad från CDCS strategin som använder sig av en konstant referenspå SOC:s miniminivå. Den variabla SOC referensen beror på hur långt fordonethar kört av den totala körsträckan, med hjälp av denna realiseras en blandad körning.Från simuleringarna visade det sig att blandad körning gav minskad kostnadför de simulerade körcyklerna jämfört med en CDCS strategi. En modellbaseradprediktionsreglering används för att lösa energifördelningsproblemet. Styrsystemetföljer körcykler och löser energifördelningsproblemet för de olika drivkällorna undersimuleringarna. Styrsystemet hanterar även måttliga modellfel.
Books on the topic "Hybrid programming models"
Bäck, Thomas. Evolutionary Algorithms in Theory and Practice. Oxford University Press, 1996. http://dx.doi.org/10.1093/oso/9780195099713.001.0001.
Full textBook chapters on the topic "Hybrid programming models"
Mutlu, Erdal, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, and Osman S. Unsal. "Dynamic Verification for Hybrid Concurrent Programming Models." In Runtime Verification, 156–61. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11164-3_13.
Full textHoefler, Torsten, Greg Bronevetsky, Brian Barrett, Bronis R. de Supinski, and Andrew Lumsdaine. "Efficient MPI Support for Advanced Hybrid Programming Models." In Recent Advances in the Message Passing Interface, 50–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15646-5_6.
Full textGropp, William D. "MPI and Hybrid Programming Models for Petascale Computing." In Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6–7. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-87475-1_5.
Full textTsugane, Keisuke, Taisuke Boku, Hitoshi Murai, Mitsuhisa Sato, William Tang, and Bei Wang. "Hybrid-View Programming of Nuclear Fusion Simulation Code in XcalableMP." In XcalableMP PGAS Programming Language, 181–203. Singapore: Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-7683-6_7.
Full textRabenseifner, Rolf. "Communication Bandwidth of Parallel Programming Models on Hybrid Architectures." In Lecture Notes in Computer Science, 401–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-47847-7_37.
Full textRefalo, Philippe. "Linear Formulation of Constraint Programming Models and Hybrid Solvers." In Principles and Practice of Constraint Programming – CP 2000, 369–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45349-0_27.
Full textArtigues, Christian, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, and Toby Walsh. "SAT and Hybrid Models of the Car Sequencing Problem." In Integration of AI and OR Techniques in Constraint Programming, 268–83. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07046-9_19.
Full textLaurel, Jacob, and Sasa Misailovic. "Continualization of Probabilistic Programs With Correction." In Programming Languages and Systems, 366–93. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_14.
Full textYaakob, Shamshul Bahar, and Junzo Watada. "A Hybrid Intelligent Algorithm for Solving the Bilevel Programming Models." In Knowledge-Based and Intelligent Information and Engineering Systems, 485–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15390-7_50.
Full textJose, Jithin, Sreeram Potluri, Karen Tomko, and Dhabaleswar K. Panda. "Designing Scalable Graph500 Benchmark with Hybrid MPI+OpenSHMEM Programming Models." In Lecture Notes in Computer Science, 109–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38750-0_9.
Full textConference papers on the topic "Hybrid programming models"
Mohanty, Siddharth, and Murray Cole. "Autotuning Wavefront Applications for Multicore Multi-GPU Hybrid Architectures." In Programming Models and Applications. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/2578948.2560689.
Full textJain, Surabhi, Gengbin Zheng, Maria Garzaran, James H. Cownie, Taru Doodi, and Terry L. Wilmarth. "Parallelizing MPI Using Tasks for Hybrid Programming Models." In 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, 2018. http://dx.doi.org/10.1109/ipdpsw.2018.00203.
Full textGrosan, C., and A. Abraham. "Ensemble of genetic programming models for designing reactive power controllers." In Fifth International Conference on Hybrid Intelligent Systems (HIS'05). IEEE, 2005. http://dx.doi.org/10.1109/ichis.2005.36.
Full textPope, Bernard J., Blake G. Fitch, Michael C. Pitman, John J. Rice, and Matthias Reumann. "Petascale computation performance of lightweight multiscale cardiac models using hybrid programming models." In 2011 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE, 2011. http://dx.doi.org/10.1109/iembs.2011.6090058.
Full textDureau, David, and Gaël Poëtte. "Hybrid Parallel Programming Models for AMR Neutron Monte-Carlo Transport." In SNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo, edited by D. Caruge, C. Calvin, C. M. Diop, F. Malvagi, and J. C. Trama. Les Ulis, France: EDP Sciences, 2014. http://dx.doi.org/10.1051/snamc/201404202.
Full textHashmi, Jahanzeb Maqbool, Khaled Hamidouche, and Dhabaleswar K. Panda. "Enabling Performance Efficient Runtime Support for Hybrid MPI+UPC++ Programming Models." In 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS). IEEE, 2016. http://dx.doi.org/10.1109/hpcc-smartcity-dss.2016.0165.
Full textJose, Jithin, Sreeram Potluri, Hari Subramoni, Xiaoyi Lu, Khaled Hamidouche, Karl Schulz, Hari Sundar, and Dhabaleswar K. Panda. "Designing Scalable Out-of-core Sorting with Hybrid MPI+PGAS Programming Models." In the 8th International Conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2676870.2676880.
Full textGajinov, Vladimir, Srđan Stipić, Igor Erić, Osman S. Unsal, Eduard Ayguadé, and Adrián Cristal. "DaSH: a benchmark suite for hybrid dataflow and shared memory programming models." In CF'14: Computing Frontiers Conference. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2597917.2597942.
Full textSay, Buser, Ga Wu, Yu Qing Zhou, and Scott Sanner. "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/104.
Full textNakajima, Kengo. "New strategy for coarse grid solvers in parallel multigrid methods using OpenMP/MPI hybrid programming models." In the 2012 International Workshop. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2141702.2141713.
Full text