abstraction - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 3071

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.

2011

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

Abstraction for epistemic model checking of dining cryptographers-based protocolsOmar I. Al-Bataineh, Ron van der Meyden. tark 2011: 247-256 [doi]

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

Aspect-Oriented Model Development at Different Levels of AbstractionMauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang. ECMDA-FA 2011: 361-376 [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: 1096-1101 [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]

Kimble: a Hierarchical Intermediate Representation for Multi-Grain ParallelismNicolas Benoit, Stéphane Louise. WIR 2011: 21-28

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]

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: 971-976 [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: 681-687 [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]

Hybrid programming abstraction for e-science workflows and event processingChathura Herath, Beth Plale. debs 2011: 367-368 [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]

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]

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

Learning minimal abstractionsPercy Liang, Omer Tripp, Mayur Naik. POPL 2011: 31-42 [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]

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]

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]

Making Abstraction-Refinement Efficient in Model CheckingCong Tian, Zhenhua Duan. cocoon 2011: 402-413 [doi]

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

Cosdes: A Collaborative Spam Detection System with a Novel E-Mail Abstraction SchemeChi-Yao Tseng, Pin-Chieh Sung, Ming-Syan Chen. tkde, 23(5):669-682, 2011. [doi]

Illustrative Molecular Visualization with Continuous AbstractionMatthew van der Zwan, Wouter Lueks, Henk Bekker, Tobias Isenberg. cgf, 30(3):683-690, 2011. [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. In Self-Organizing Systems. Volume 6557 of Lecture Notes in Computer Science, pages 26-31, Springer Berlin / Heidelberg, 2011. [doi]

Self-organized Middle-Out AbstractionSebastian von Mammen, Jan-Philipp Steghöfer, Jörg Denzinger, Christian Jacob. iwsos 2011: 26-31 [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]

An Abstraction Methodology for the Evaluation of Multi-core Multi-threaded ArchitecturesRuken Zilan, Javier Verdú, Jorge García-Vidal, Mario Nemirovsky, Rodolfo A. Milito, Mateo Valero. mascots 2011: 478-481 [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: abstraction

Viewing Publication 1 - 100 from 3071

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: abstraction

Viewing Publication 1 - 100 from 3071

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