Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady	Deciding Bit-Vector Arithmetic with Abstraction.	TACAS	2007	DBLP DOI BibTeX RDF
13	Li-Chuan Chang, Yen-Sung Chen, Rung-Wen Liou, Chih-Hung Kuo, Chia-Hung Yeh, Bin-Da Liu	A Real Time and Low Cost Hardware Architecture for Video Abstraction System.	ISCAS	2007	DBLP DOI BibTeX RDF
13	Yoonsik Cheon	Abstraction in Assertion-Based Test Oracles.	QSIC	2007	DBLP DOI BibTeX RDF
13	Flavio M. de Paula, Alan J. Hu	An Effective Guidance Strategy for Abstraction-Guided Simulation.	DAC	2007	DBLP DOI BibTeX RDF
13	Gerwin de Haan, Michal Koutek, Frits H. Post	Flexible Abstraction Layers for VR Application Development.	VR	2007	DBLP DOI BibTeX RDF
13	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock	Reformulating Constraint Satisfaction Problems to Improve Scalability.	SARA	2007	DBLP DOI BibTeX RDF
13	Marc Pickett	Using Analogy Discovery to Create Abstractions.	SARA	2007	DBLP DOI BibTeX RDF
13	Kenneth Anderson 0003, Robert Holte, Jonathan Schaeffer	Partial Pattern Databases.	SARA	2007	DBLP DOI BibTeX RDF
13	Ugur Kuter, Jiaqiao Hu	Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning.	SARA	2007	DBLP DOI BibTeX RDF
13	J. Christopher Beck, Michael Grüninger	What's Your Problem? The Problem of Problem Definition.	SARA	2007	DBLP DOI BibTeX RDF
13	Ariel Felner, Nir Ofek	Combining Perimeter Search and Pattern Database Abstractions.	SARA	2007	DBLP DOI BibTeX RDF
13	Andy D. Pimentel, Cagkan Erbas, Simon Polstra	A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	simulation, real-time and embedded systems, modeling techniques, performance analysis and design aids, Modeling of computer architecture
13	Ernest A. Edmonds	Abstraction and Interaction: an Art System for White Noise.	CGIV	2006	DBLP DOI BibTeX RDF
13	Jan-Willem Roorda, Koen Claessen	SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation.	CAV	2006	DBLP DOI BibTeX RDF
13	XiBin Jia, Baocai Yin, Yanfeng Sun, Xianping Lin	GA-Based Speaking Mouth Correlative Speech Feature Abstraction.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
13	Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar	Verifying analog oscillator circuits using forward/backward abstraction refinement.	DATE	2006	DBLP DOI BibTeX RDF
13	Sharon Shoham, Orna Grumberg	3-Valued Abstraction: More Precision at Less Cost.	LICS	2006	DBLP DOI BibTeX RDF
13	Rodolfo Villarroel, Emilio Soler, Eduardo Fernández-Medina, Mario Piattini, Juan Trujillo 0001	Representing levels of abstraction to facilitate the Secure Multidimensional Modeling.	ARES	2006	DBLP DOI BibTeX RDF
13	Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro	Observability of Hybrid Automata by Abstraction.	HSCC	2006	DBLP DOI BibTeX RDF
13	Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun 0001	A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.	ATVA	2006	DBLP DOI BibTeX RDF
13	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
13	Sumit Gulwani, Ashish Tiwari 0001	Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.	ESOP	2006	DBLP DOI BibTeX RDF
13	Stein L. Tomassen, Darijus Strasunskas	Query Terms Abstraction Layers.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
13	Jochen Koberstein, Norbert Luttenberger	System-Level WSN Application Software Test Using Multi-platform Hardware Abstraction Layers.	MSN	2006	DBLP DOI BibTeX RDF
13	Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko	Time abstraction in timed μCRL a la regions.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Lukasz Ziarek, Philip Schatz, Suresh Jagannathan	Stabilizers: a modular checkpointing abstraction for concurrent functional programs.	ICFP	2006	DBLP DOI BibTeX RDF	transactions, checkpointing, concurrent programming, exception handling, error recovery, concurrent ML
13	Krisztián Flautner	Cutting across layers of abstraction: : removing obstacles from the advancement of embedded systems.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	typical-case operation, embedded systems, low power, signal processing
13	Moshe Looks	Levels of abstraction in modeling and sampling: the feature-based Bayesian optimization algorithm.	GECCO	2006	DBLP DOI BibTeX RDF	optimization, heuristics, empirical study, representations
13	Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang	Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic.	SAS	2006	DBLP DOI BibTeX RDF
13	Bilge Mutlu, Jodi Forlizzi, Illah R. Nourbakhsh, Jessica K. Hodgins	The use of abstraction and motion in the design of social interfaces.	Conference on Designing Interactive Systems	2006	DBLP DOI BibTeX RDF	public installations, socially aware systems, interaction design, design methods, social interfaces, social cues
13	Arie Gurfinkel, Marsha Chechik	Why Waste a Perfectly Good Abstraction?.	TACAS	2006	DBLP DOI BibTeX RDF
13	Javier Esparza, Stefan Kiefer, Stefan Schwoon	Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.	TACAS	2006	DBLP DOI BibTeX RDF
13	Christian Plagemann, Cyrill Stachniss, Wolfram Burgard	Efficient Failure Detection for Mobile Robots Using Mixed-Abstraction Particle Filters.	EUROS	2006	DBLP DOI BibTeX RDF
13	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.	CiE	2006	DBLP DOI BibTeX RDF
13	Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot	Programming models and HW-SW interfaces abstraction for multi-processor SoC.	DAC	2006	DBLP DOI BibTeX RDF	HW/SW interfaces, programming models, heterogeneous MPSoC
13	Andrew Gilpin, Tuomas Sandholm	A Texas Hold'em poker player based on automated abstraction and real-time equilibrium computation.	AAMAS	2006	DBLP DOI BibTeX RDF	equilibrium computation, game theory, game playing
13	Andrei Radulescu, John Dielissen, Santiago González Pestana, Om Prakash Gangwal, Edwin Rijpkema, Paul Wielage, Kees Goossens	An efficient on-chip NI offering guaranteed services, shared-memory abstraction, and flexible network configuration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
13	Yakov Keselman, Sven J. Dickinson	Generic Model Abstraction from Examples.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
13	Yohji Shidara, Mineichi Kudo, Atsuyoshi Nakamura	Extraction of Generalized Rules with Automated Attribute Abstraction.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
13	Wei Feng 0005, Zhi-Qiang Liu	Bayesian Structural Content Abstraction for Region-Level Image Authentication.	ICCV	2005	DBLP DOI BibTeX RDF
13	Stefan Eckhardt, Sven Kosub, Moritz G. Maaß, Hanjo Täubig, Sebastian Wernicke 0001	Combinatorial Network Abstraction by Trees and Distances.	ISAAC	2005	DBLP DOI BibTeX RDF
13	Nassima Sadou, Dalila Tamzalit, Mourad Oussalah 0001	A unified Approach for Software Architecture Evolution at different abstraction levels.	IWPSE	2005	DBLP DOI BibTeX RDF
13	Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer 0001	Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
13	Paul Valckenaers, Tom Holvoet	The Environment: An Essential Abstraction for Managing Complexity in MAS-Based Manufacturing Control.	E4MAS	2005	DBLP DOI BibTeX RDF
13	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Data Abstraction and Constraint Solving for Conformance Testing.	APSEC	2005	DBLP DOI BibTeX RDF
13	Abraham Otero, Paulo Félix, Santiago Fraga, Senén Barro, Francisco Palacios	A Hierarchical Pattern Matching Procedure for Signal Abstraction.	CAEPIA	2005	DBLP DOI BibTeX RDF
13	Matthew J. Parkinson, Gavin M. Bierman	Separation logic and abstraction.	POPL	2005	DBLP DOI BibTeX RDF	modularity, abstract data types, classes, resources, separation logic
13	Martin P. Ward, Hussein Zedan, T. Hardcastle	Conditioned Semantic Slicing via Abstraction and Refinement in FermaT.	CSMR	2005	DBLP DOI BibTeX RDF
13	Michael Ramati, Yuval Shahar	Probabilistic Abstraction of Multiple Longitudinal Electronic Medical Records.	AIME	2005	DBLP DOI BibTeX RDF
13	Philip H. Carns, Robert B. Ross, Walter B. Ligon III, Pete Wyckoff	BMI: A Network Abstraction Layer for Parallel I/O.	IPDPS	2005	DBLP DOI BibTeX RDF
13	S. H. Srinivasan	DocWeb: A Storage Abstraction for Wireless Devices.	PerCom Workshops	2005	DBLP DOI BibTeX RDF
13	Ou Wei, Arie Gurfinkel, Marsha Chechik	Identification and Counter Abstraction for Full Virtual Symmetry.	CHARME	2005	DBLP DOI BibTeX RDF
13	Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger	Power consumption profile analysis for security attack simulation in smart cards at high abstraction level.	EMSOFT	2005	DBLP DOI BibTeX RDF	simulation, analysis, smart card, fault injection, attack, SystemC, embedded security, power profile
13	Bertrand Jeannet, Denis Gopan, Thomas W. Reps	A Relational Abstraction for Functions.	SAS	2005	DBLP DOI BibTeX RDF
13	Ji Hye Kim, Kun-Pyo Lee	Cultural difference and mobile phone interface design: icon recognition according to level of abstraction.	Mobile HCI	2005	DBLP DOI BibTeX RDF	icon recognition, cultural difference, mobile phone interface
13	Hongli Xu, De Sun Zhijie Xu	An Approach of Multi-level Semantics Abstraction.	KES (2)	2005	DBLP DOI BibTeX RDF
13	David Crowther, Djuradj Babich, Peter J. Clarke	A Class Abstraction Technique to Support the Analysis of Java Programs During Testing.	SERA	2005	DBLP DOI BibTeX RDF
13	Lorena Anghel, Régis Leveugle, Pierre Vanhauwaert	Evaluation of SET and SEU Effects at Multiple Abstraction Levels.	IOLTS	2005	DBLP DOI BibTeX RDF
13	Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito	Automatic Induction of Abduction and Abstraction Theories from Observations.	ILP	2005	DBLP DOI BibTeX RDF
13	Alexei Lisitsa 0001, Igor Potapov	Temporal Logic with Predicate lambda-Abstraction.	TIME	2005	DBLP DOI BibTeX RDF
13	Oskar Wibling, Joachim Parrow, Arnold Neville Pears	Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.	FORTE	2005	DBLP DOI BibTeX RDF	LUNAR, model checking, Mobile ad hoc networks, formal verification, routing protocols, DSR, UPPAAL
13	Marie desJardins, Priyang Rathod, Lise Getoor	Bayesian Network Learning with Abstraction Hierarchies and Context-Specific Independence.	ECML	2005	DBLP DOI BibTeX RDF
13	Patricia Della Méa Plentz, Rômulo Silva de Oliveira, Carlos Montez	Scheduling of the distributed thread abstraction with timing constraints using RTSJ.	ETFA	2005	DBLP DOI BibTeX RDF
13	Patrick Cousot	Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming.	VMCAI	2005	DBLP DOI BibTeX RDF
13	Eun-Sun Cho, Kang-Woo Lee, Manpyo Hong	Abstraction for Privacy in Context-Aware Environments.	MATA	2005	DBLP DOI BibTeX RDF
13	Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois	A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction.	IWSOC	2005	DBLP DOI BibTeX RDF
13	Robert Fitch, Bernhard Hengst, Dorian Suc, Greg Calbert, Jason B. Scholz	Structural Abstraction Experiments in Reinforcement Learning.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
13	Feihong Wu, Jun Zhang 0002, Vasant G. Honavar	Learning Classifiers Using Hierarchically Structured Class Taxonomies.	SARA	2005	DBLP DOI BibTeX RDF
13	Tom Carchrae, J. Christopher Beck	Learning Abstract Scheduling Models.	SARA	2005	DBLP DOI BibTeX RDF
13	Alexander A. Sherstov, Peter Stone	Function Approximation via Tile Coding: Automating Parameter Choice.	SARA	2005	DBLP DOI BibTeX RDF
13	Noboru Babaguchi, Yoshihiko Kawai, Takehiro Ogura, Tadahiro Kitahashi	Personalized abstraction of broadcasted American football video by highlight selection.	IEEE Trans. Multim.	2004	DBLP DOI BibTeX RDF
13	Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman	Abstraction-Based Satisfiability Solving of Presburger Arithmetic.	CAV	2004	DBLP DOI BibTeX RDF
13	Julien Diard, Pierre Bessière, Emmanuel Mazer	Hierarchies of Probabilistic Models of Navigation: the Bayesian Map and the Abstraction Operator.	ICRA	2004	DBLP DOI BibTeX RDF
13	Andrei Radulescu, John Dielissen, Kees Goossens, Edwin Rijpkema, Paul Wielage	An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network Configuration.	DATE	2004	DBLP DOI BibTeX RDF
13	Magali Contensin, Laurence Pierre	Model-Checking Systems with Unbounded Variables without Abstraction.	AMAST	2004	DBLP DOI BibTeX RDF
13	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Abstraction and Refinement in Protocol Derivation.	CSFW	2004	DBLP DOI BibTeX RDF
13	Stan Bühne, Günter Halmans, Klaus Pohl, Matthias Weber 0001, Henning Kleinwechter, Thomas Wierczoch	Defining Requirements at Different Levels of Abstraction.	RE	2004	DBLP DOI BibTeX RDF
13	Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino	A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.	ATVA	2004	DBLP DOI BibTeX RDF
13	Bjarne Stroustrup	Abstraction and the C++ Machine Model.	ICESS	2004	DBLP DOI BibTeX RDF
13	Yoshiharu Maeno, Masahiro Kawato, Shoji Nishimura, Fumio Machida, Tsunehiko Kamachi	Polimatica: Abstraction for Customizable Private Virtual Organizations in Global Grids.	ICWS	2004	DBLP DOI BibTeX RDF
13	François Coldefy, Patrick Bouthemy	Unsupervised soccer video abstraction based on pitch, dominant color and camera motion analysis.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	non verbal speech classification, video summarization
13	Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar 0001	A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.	ACSD	2004	DBLP DOI BibTeX RDF
13	Daniel Cabeza, Manuel V. Hermenegildo, James Lipton	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.	ASIAN	2004	DBLP DOI BibTeX RDF
13	Bing Li, Fabio Somenzi	Efficient computation of small abstraction refinements.	ICCAD	2004	DBLP DOI BibTeX RDF
13	David Berner, Jean-Pierre Talpin, Paul Le Guernic, Sandeep K. Shukla	Modular design through component abstraction.	CASES	2004	DBLP DOI BibTeX RDF	behavioral interfaces, synchronous languages, component based design
13	Francisco Hernández Quiroz	Full Abstraction for Gamma.	ENC	2004	DBLP DOI BibTeX RDF
13	H. M. AbdElSalam, Shinsuke Kobayashi, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	Towards a Higher Level of Abstraction in Hardware/Software Co-Simulation.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
13	David Déharbe, Abdessamad Imine, Silvio Ranise	Abstraction-Driven Verification of Array Programs.	AISC	2004	DBLP DOI BibTeX RDF
13	DongWoo Lee, SeongHoon Lee, Chong-Sun Hwang	Application of Active Database Abstraction in B2B E-Commerce.	PDCAT	2004	DBLP DOI BibTeX RDF
13	Miguel Castro 0001, Rodrigo Rodrigues 0001, Barbara Liskov	BASE: Using abstraction to improve fault tolerance.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	asynchronous systems, Byzantine fault tolerance, N-version programming, state machine replication, proactive recovery
13	Hao Zheng 0001, Eric Mercer, Chris J. Myers	Modular verification of timed circuits using automatic abstraction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
13	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Boolean and Cartesian abstraction for model checking C programs.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Software engineering, Model checking, Verification, Program analysis, Abstract interpretation
13	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer	Thread-Modular Abstraction Refinement.	CAV	2003	DBLP DOI BibTeX RDF
13	Sharon Shoham, Orna Grumberg	A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement.	CAV	2003	DBLP DOI BibTeX RDF
13	John Towell, Elizabeth Towell	Reality abstraction and OO pedagogy: results from 5 weeks in virtual reality.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java, virtual reality, pedagogy, presence, networked virtual environments, MUD, MOO
13	Khaled Benkrid, Samir Belkacemi, Danny Crookes	A logic based approach to hardware abstraction.	FPGA	2003	DBLP DOI BibTeX RDF
13	Sungjoo Yoo, Ahmed Amine Jerraya	Introduction to Hardware Abstraction Layers for SoC.	DATE	2003	DBLP DOI BibTeX RDF
13	Saddek Bensalem, Susanne Graf, Yassine Lakhnech	Abstraction as the Key for Invariant Verification.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
13	John Power, Konstantinos Tourlas	Abstraction in Reasoning about Higraph-Based Systems.	FoSSaCS	2003	DBLP DOI BibTeX RDF
13	Boleslaw Mikolajczak, Zuyan Wang	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms.	ER	2003	DBLP DOI BibTeX RDF