abstraction - researchr tag

researchr

You are not signed in
Sign in
Sign up

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

Explanations for regular expressionsMartin Erwig, Rahul Gopinath. In FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering. 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.

Managed Data: Modular Strategies for Data AbstractionAlex Loh, Tijs van der Storm, William R. Cook. 2012:

2011

A Semantic Approach for Business Process Model AbstractionSergey Smirnov 0002, Hajo A. Reijers, Mathias Weske. caise 2011: 497-511 [doi]

Pattern Recognition Techniques Applied to the Abstraction of Traces of Inter-Process CommunicationLuay Alawneh, Abdelwahab Hamou-Lhadj. CSMR 2011: 211-220 [doi]

Rate constants for hydrogen abstraction reactions by the hydroperoxyl radical from methanol, ethenol, acetaldehyde, toluene, and phenolMohammednoor Altarawneh, Ala A H. Al-Muhtaseb, Bogdan Z. Dlugogorski, Eric M. Kennedy, John C. Mackie. jcc, 32(8):1725-1733, 2011. [doi]

Mining service abstractions: NIER trackDionysis Athanasopoulos, Apostolos Zarras, Panos Vassiliadis, Valérie Issarny. ICSE 2011: 944-947 [doi]

Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDTDjuradj Babich, Peter J. Clarke, James F. Power, B. M. Golam Kibria. SAC 2011: 1419-1424 [doi]

Automated Abstractions for Patrolling Security GamesNicola Basilico, Nicola Gatti. AAAI 2011: [doi]

A uniform approach to three-valued semantics for ::::μ::::-calculus on abstractions of hybrid automataKerstin Bauer, Raffaella Gentilini, Klaus Schneider. STTT, 13(3):273-287, 2011. [doi]

A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction ResultsFrancesco Belardinelli, Alessio Lomuscio, Fabio Patrizi. IJCAI 2011: 738-743 [doi]

Accelerating RTL Fault Simulation through RTL-to-TLM AbstractionNicola Bombieri, Franco Fummi, Valerio Guarnieri. ets 2011: 117-122 [doi]

Abstraction Heuristics Extended with Counting AbstractionsBlai Bonet. aips 2011: [doi]

Enabling End User Development through Mashups: Requirements, Abstractions and Innovation ToolkitsCinzia Cappiello, Florian Daniel, Maristella Matera, Matteo Picozzi, Michael Weiss. iseud 2011: 9-24 [doi]

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic codeJacques Carette, Oleg Kiselyov. SCP, 76(5):349-375, 2011. [doi]

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time SystemsSanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky. rtas 2011: 81-90 [doi]

A Context-Source Abstraction Layer for Context-aware MiddlewareWeijie Chu, Weiping Li, Tong Mo, Zhonghai Wu. itng 2011: 1064-1065 [doi]

Boosting Lazy Abstraction for SystemC with Partial Order ReductionAlessandro Cimatti, Iman Narasamdya, Marco Roveri. TACAS 2011: 341-356 [doi]

Automatic State Abstraction from DemonstrationLuis C. Cobo, Peng Zang, Charles Lee Isbell Jr., Andrea Lockerd Thomaz. IJCAI 2011: 1243-1248 [doi]

Data and Process Abstraction in PIPS Internal RepresentationFabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. WIR 2011: 77-84

Selective image abstractionLin Cong, Ruofeng Tong, Jinxiang Dong. vc, 27(3):187-198, 2011. [doi]

Understanding Variability Abstraction and RealizationKrzysztof Czarnecki. icsr 2011: 1-3 [doi]

Program abstractions for behaviour validationGuido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel. ICSE 2011: 381-390 [doi]

Exoskeleton: Curve network abstraction for 3D shapesFernando de Goes, Siome Goldenstein, Mathieu Desbrun, Luiz Velho. cg, 35(1):112-121, 2011. [doi]

Abstraction Based Automated Test Generation from Formal Tabular Requirements SpecificationsRenzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias. tap 2011: 84-101 [doi]

Full Abstraction in a Subtyped pi-Calculus with Linear TypesRomain Demangeon, Kohei Honda. concur 2011: 280-296 [doi]

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent ProgramsAlastair F. Donaldson, Alexander Kaiser, Daniel Kroening, Thomas Wahl. cav 2011: 356-371 [doi]

Local abstraction-refinement for the ::::μ::::-calculusHarald Fecher, Sharon Shoham. STTT, 13(4):289-306, 2011. [doi]

The failure detector abstractionFelix C. Freiling, Rachid Guerraoui, Petr Kuznetsov. ACM Comput. Surv., 43(2):9, 2011. [doi]

Nominal abstractionAndrew Gacek, Dale Miller, Gopalan Nadathur. iandc, 209(1):48-73, 2011. [doi]

Synchronous Game Semantics via Round AbstractionDan R. Ghica, Mohamed N. Menaa. fossacs 2011: 350-364 [doi]

Liveness-Preserving Atomicity AbstractionAlexey Gotsman, Hongseok Yang. icalp 2011: 453-465 [doi]

Exploiting Path Refinement Abstraction in Domain Transition GraphsPeter Gregory, Derek Long, Craig McNulty, Susan M. Murphy. AAAI 2011: [doi]

Simulation-based equivalence checking between SystemC models at different levels of abstractionDaniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler. glvlsi 2011: 223-228 [doi]

FSM model abstraction for analog/mixed-signal circuits by learning from I/O trajectoriesChenjie Gu, Jaijeet S. Roychowdhury. aspdac 2011: 7-12 [doi]

Predicate abstraction and refinement for verifying multi-threaded programsAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. POPL 2011: 331-344 [doi]

Efficient Predicate Abstraction of Program SummariesArie Gurfinkel, Sagar Chaki, Samir Sapra. NFM 2011: 131-145 [doi]

Building Programming Abstractions for Wireless Sensor Networks Using Watershed SegmentationMohammad Hammoudeh, Tariq A. A. Alsbou i. new2an 2011: 587-597 [doi]

Automatic abstraction and fault tolerance in cortical microachitecturesAtif Hashmi, Hugues Berry, Olivier Temam, Mikko H. Lipasti. isca 2011: 1-10 [doi]

Automated Action Abstraction of Imperfect Information Extensive-Form GamesJohn Alexander Hawkin, Robert Holte, Duane Szafron. AAAI 2011: [doi]

Static consistency checking of web applications with WebDSLZef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. JSC, 46(2):150-182, 2011. [doi]

Scheduling large jobs by abstraction refinementThomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey. eurosys 2011: 329-342 [doi]

Coarse Abstractions Make Zeno Behaviours Difficult to DetectFrédéric Herbreteau, B. Srivathsan. concur 2011: 92-107 [doi]

μSETL: A set based programming abstraction for wireless sensor networksMohammad Sajjad Hossain, A. B. M. Alim Al Islam, Milind Kulkarni, Vijay Raghunathan. ipsn 2011: 354-365 [doi]

Automata Learning with Automated Alphabet Abstraction RefinementFalk Howar, Bernhard Steffen, Maik Merten. vmcai 2011: 263-277 [doi]

FUSE: Front-End User Framework for O/S Abstraction of Hardware AcceleratorsAws Ismail, Lesley Shannon. fccm 2011: 170-177 [doi]

Abstraction and microarchitecture scaling in early-stage power modelingHans M. Jacobson, Alper Buyuktosunoglu, Pradip Bose, Emrah Acar, Richard J. Eickemeyer. hpca 2011: 394-405 [doi]

Abstraction-Based Algorithm for 2QBFMikolás Janota, João P. Marques Silva. sat 2011: 230-244 [doi]

Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinementSumit Kumar Jha, Christopher James Langmead. TCS, 412(21):2162-2187, 2011. [doi]

Elucidating concurrent algorithms via layers of abstraction and reificationCliff B. Jones, Ken G. Pierce. fac, 23(3):289-306, 2011. [doi]

Dependently-Typed Formalisation of Relation-Algebraic AbstractionsWolfram Kahl. RelMiCS 2011: 230-247 [doi]

Programming GPU Clusters with Shared Memory Abstraction in SoftwareKonstantinos I. Karantasis, Eleftherios D. Polychronopoulos. pdp 2011: 223-230 [doi]

Managing complexity in design debugging with sequential abstraction and refinementBrian Keng, Andreas G. Veneris. aspdac 2011: 479-484 [doi]

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processesKais Klai, Samir Tata, Jörg Desel. DKE, 70(5):467-482, 2011. [doi]

Time-bounded reachability in tree-structured QBDs by abstractionDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. pe, 68(2):105-125, 2011. [doi]

Predicate abstraction and CEGAR for higher-order model checkingNaoki Kobayashi, Ryosuke Sato, Hiroshi Unno. PLDI 2011: 222-233 [doi]

Partial-coherence abstractions for relaxed memory modelsMichael Kuperstein, Martin T. Vechev, Eran Yahav. PLDI 2011: 187-198 [doi]

Abstractions and Pattern Databases: The Quest for Succinctness and AccuracySebastian Kupferschmid, Martin Wehrle. TACAS 2011: 276-290 [doi]

Image and Video Abstraction by Coherence-Enhancing FilteringJan Eric Kyprianidis, Henry Kang. cgf, 30(2):593-602, 2011. [doi]

Competent predicate abstraction in model checkingLi Li, Xiaoyu Song, Ming Gu, Xiangyu Luo. chinaf, 54(2):258-267, 2011. [doi]

Learning minimal abstractionsPercy Liang, Omer Tripp, Mayur Naik. POPL 2011: 31-42 [doi]

Scaling abstraction refinement via pruningPercy Liang, Mayur Naik. PLDI 2011: 590-601 [doi]

Predicting Changes in Level of Abstraction in Tutor Responses to StudentsMichael Lipschultz, Diane J. Litman, Pamela W. Jordan, Sandra Katz. flairs 2011: [doi]

Controlling the Prediction Accuracy by Adjusting the Abstraction LevelsTomasz Lukaszewski, Joanna Józefowska, Agnieszka Lawrynowicz, Lukasz Józefowski, Andrzej Lisiecki. HAIS 2011: 288-295 [doi]

Cerebellar Input Configuration Toward Object Model Abstraction in Manipulation TasksNiceto R. Luque, Jesús A. Garrido, Richard R. Carrillo, Olivier J. M. D. Coenen, Eduardo Ros. tnn, 22(8):1321-1328, 2011. [doi]

Understanding programming technologies by analogy, examples, and abstraction: extended abstract (AOSD 11 tutorial)Ralf Lämmel. AOSD 2011: 55-56 [doi]

Bone graphs: Medial shape parsing and abstractionDiego Macrini, Sven J. Dickinson, David J. Fleet, Kaleem Siddiqi. cviu, 115(7):1044-1061, 2011. [doi]

An approach for modeling a formal Use Case Type at early development phase without loosing abstractionFrancisco Supino Marcondes, Ítalo Santiago Vega, Luiz Alberto Vieira Dias. isse, 7(1):1-8, 2011. [doi]

Phonological Abstraction in Processing Lexical-Tone Variation: Evidence From a Learning ParadigmHolger Mitterer, Yiya Chen, Xiaolin Zhou. cogsci, 35(1):184-197, 2011. [doi]

Using multiple abstraction levels to speedup an MPSoC virtual platform simulatorJoão Moreira, Felipe Klein, Alexandro Baldassin, Paulo Centoducatte, Rodolfo Azevedo, Sandro Rigo. rsp 2011: 99-105 [doi]

Modal abstractions of concurrent behaviorFlemming Nielson, Sebastian Nanz, Hanne Riis Nielson. tocl, 12(3):18, 2011. [doi]

Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal PlanningRaz Nissim, Jörg Hoffmann, Malte Helmert. IJCAI 2011: 1983-1990 [doi]

Using abstraction and Web applications to teach criteria-based test designJeff Offutt, Nan Li, Paul Ammann, Wuzhi Xu. csee 2011: 227-236 [doi]

Transition Invariants and Transition Predicate Abstraction for Program TerminationAndreas Podelski, Andrey Rybalchenko. TACAS 2011: 3-10 [doi]

Contribution-based call stack abstraction for call string based pointer analysisJu Qian, Lin Chen, Baowen Xu, Xiaofang Zhang. INFSOF, 53(6):654-665, 2011. [doi]

Visual Pathways for Shape AbstractionKonstantinos Raftopoulos, Stefanos D. Kollias. icann 2011: 291-298 [doi]

Calling context abstraction with shapesXavier Rival, Bor-Yuh Evan Chang. POPL 2011: 173-186 [doi]

Architecting a Common Bridge Abstraction over Different Middleware ParadigmsIago Rodríguez-López, Marisol García-Valls. Ada-Europe 2011: 132-146 [doi]

Relational Abstractions for Continuous and Hybrid SystemsSriram Sankaranarayanan, Ashish Tiwari. cav 2011: 686-702 [doi]

A Policy Language for Abstraction and Automation in Application-Oriented Access Controls: The Functionality-Based Application Confinement Policy LanguageZ. Cliffe Schreuders, Christian Payne, Tanya McGill. policy 2011: 113-116 [doi]

Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception ChainsAlexei Sharpanskykh, Jan Treur. sbp 2011: 51-59 [doi]

Sequential Diagnosis by AbstractionSajjad Ahmed Siddiqi, Jinbo Huang. jair, 41:329-365, 2011. [doi]

On interference abstractionsNishant Sinha, Chao Wang. POPL 2011: 423-434 [doi]

Complex Components Abstraction in Graphical User InterfacesPedro M. Teixeira-Faria, Javier Rodeiro Iglesias. hci 2011: 309-318 [doi]

Context stamp: a topic-based content abstraction for visual concordance analysisVinhTuan Thai, Siegfried Handschuh. CHI 2011: 2269-2274 [doi]

Specification of Interlevel Relations for Agent Models in Multiple Abstraction DimensionsJan Treur. ieaaie 2011: 542-555 [doi]

Illustrative Molecular Visualization with Continuous AbstractionMatthew van der Zwan, Wouter Lueks, Henk Bekker, Tobias Isenberg. cgf, 30(3):683-690, 2011. [doi]

Generating Database Migration for Evolving Web ApplicationsSander Vermolen, Guido Wachsmuth, Eelco Visser. GPCE 2011: 83-92 [doi]

Using simple abstraction to reinvent computing for parallelismUzi Vishkin. CACM, 54(1):75-85, 2011. [doi]

Self-organized Middle-Out AbstractionSebastian von Mammen, Jan-Philipp Steghöfer, Jörg Denzinger, Christian Jacob. iwsos 2011: 26-31 [doi]

Self-organized Middle-Out AbstractionSebastian von Mammen, Jan-Philipp Steghöfer, Jörg Denzinger, Christian Jacob. In Self-Organizing Systems. Volume 6557 of Lecture Notes in Computer Science, pages 26-31, Springer Berlin / Heidelberg, 2011. [doi]

Dimensions of DSL DesignMarkus Völter, Eelco Visser. 2011.

Generative type abstraction and type-level computationStephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic. POPL 2011: 227-240 [doi]

Predicate abstraction in a program logic calculusBenjamin Weiß. SCP, 76(10):861-876, 2011. [doi]

Visualizing Programs on Different Levels of AbstractionsJo-Han Wu, Jan Stelovsky. hci 2011: 66-75 [doi]

String Abstractions for String VerificationFang Yu, Tevfik Bultan, Ben Hardekopf. spin 2011: 20-37 [doi]

Effective Network Vulnerability Assessment through Model AbstractionSu Zhang, Xinming Ou, John Homer. dimva 2011: 17-34 [doi]

Line Drawings Abstraction from 3D ModelsShujie Zhao, Enhua Wu. tedu, 5:104-111, 2011. [doi]

Abstraction for model checking multi-agent systemsConghua Zhou, Bo Sun, Zhifeng Liu. fcsc, 5(1):14-25, 2011. [doi]

PreviousNext