Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Huisong Li	Shape Abstractions with Support for Sharing and Disjunctions. (Abstractions de la Forme des Structures de Données Supportant Partage et Disjonctions).		2018	RDF
24	David Bühler	Structuring an Abstract Interpreter through Value and State Abstractions:EVA, an Evolved Value Analysis for Frama-C. (Structurer un interpréteur abstrait au moyen d'abstractions de valeurs et d'états :Eva, une analyse de valeur évoluée pour Frama-C).		2017	RDF
24	Julien Stainer	Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing. (Abstractions pour la calculabilité dans les systèmes répartis asynchrones tolérant les défaillances).		2015	RDF
24	Atze van der Ploeg	Efficient abstractions for visualization and interaction. (Abstractions efficaces pour la visualisation et l'interaction).		2015	RDF
24	Manel Tagorti	Sur les abstractions et les projections des processus décisionnels de Markov de grande taille. (On the abstractions and projections of Large Markov Decision Processes).		2015	RDF
24	Joel Falcou	Software Abstractions for Parallel Architectures. (Abstractions Logicielles pour Architectures Parallèles).		2014	RDF
24	Semih Okur, Cansu Erdogan, Danny Dig	Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions.	ECOOP	2014	DBLP DOI BibTeX RDF
24	Alessandro Ricci, Andrea Santi	Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach.	AGERE!@SPLASH	2012	DBLP DOI BibTeX RDF
24	François Taïani	Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools. (Programmation des grands systèmes distribués: quelques mécanismes, abstractions, et outils).		2011	RDF
24	Henry Soldano	Apprentissage : Paradigmes, Structures et abstractions. (Machine Learning: Paradigms, Structures, Abstractions).		2009	RDF
24	Alexandre Boisseau	Abstractions pour la vérification de propriétés de sécurité de protocoles cryptographiques. (Abstractions for verification of security properties of cryptographic protocols).		2003	RDF
24	Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay	Automatic numeric abstractions for heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	abstraction, program verification, termination, shape analysis, separation logic
24	Stefania Montani, Alessio Bottrighi, Giorgio Leonardi, Luigi Portinale, Paolo Terenziani	Multi-level Abstractions and Multi-dimensional Retrieval of Cases with Time Series Features.	ICCBR	2009	DBLP DOI BibTeX RDF
24	Yuichi Tazaki, Jun-ichi Imura	Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.	HSCC	2009	DBLP DOI BibTeX RDF
24	Gunther Reißig	Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.	HSCC	2009	DBLP DOI BibTeX RDF
24	Nick Rutar, Jeffrey K. Hollingsworth	Assigning Blame: Mapping Performance to High Level Parallel Programming Abstractions.	Euro-Par	2009	DBLP DOI BibTeX RDF
24	R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aalst	Abstractions in Process Mining: A Taxonomy of Patterns.	BPM	2009	DBLP DOI BibTeX RDF
24	David Andrews 0001, Ron Sass, Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp	Achieving Programming Model Abstractions for Reconfigurable Computing.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
24	Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov	Better abstractions for secure server-side scripting.	WWW	2008	DBLP DOI BibTeX RDF	server-side scripting, web application security
24	Christoph Sprenger 0001, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
24	Yuichi Tazaki, Jun-ichi Imura	Bisimilar Finite Abstractions of Interconnected Systems.	HSCC	2008	DBLP DOI BibTeX RDF
24	Julien Bigot, Hinde-Lilia Bouziane, Christian Pérez, Thierry Priol	On Abstractions of Software Component Models for Scientific Applications.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
24	Brian S. White, Sally A. McKee, Daniel J. Quinlan	A projection-based optimization framework for abstractions with application to the unstructured mesh domain.	ICS	2008	DBLP DOI BibTeX RDF	high-level abstraction semantics, rose, unstructured mesh
24	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
24	Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter	Translation Validation of System Abstractions.	RV	2007	DBLP DOI BibTeX RDF
24	Lachlan Aldred, Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede	Communication Abstractions for Distributed Business Processes.	CAiSE	2007	DBLP DOI BibTeX RDF	Business process integration, correlation patterns
24	Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar	Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.	FMCAD	2007	DBLP DOI BibTeX RDF
24	Markus Lumpe, Jean-Guy Schneider	Classboxes: an experiment in modeling compositional abstractions using explicit contexts.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
24	William P. McCartney, Nigamanth Sridhar	Abstractions for safe concurrent programming in networked embedded systems.	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, static analysis, multi-threading, programming methodology
24	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
24	Markus Lumpe	GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions.	CBSE	2006	DBLP DOI BibTeX RDF
24	Laurent Michel, Andrew See, Pascal Van Hentenryck	High-Level Nondeterministic Abstractions in.	CP	2006	DBLP DOI BibTeX RDF
24	Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune	New Results on Testing Modularity of Local Supervisors using Abstractions.	ETFA	2006	DBLP DOI BibTeX RDF
24	Arie Gurfinkel, Ou Wei, Marsha Chechik	Systematic Construction of Abstractions for Model-Checking.	VMCAI	2006	DBLP DOI BibTeX RDF
24	Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder	Global-view abstractions for user-defined reductions and scans.	PPoPP	2006	DBLP DOI BibTeX RDF	Chapel, parallel programming, MPI, reductions, scans, parallel prefix
24	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood
24	Xiaofeng Zhang 0002, William K. Cheung 0001	Visualizing Global Manifold Based on Distributed Local Data Abstractions.	ICDM	2005	DBLP DOI BibTeX RDF
24	Martin Odersky, Matthias Zenger	Scalable component abstractions.	OOPSLA	2005	DBLP DOI BibTeX RDF	components, classes, mixins, abstract types, Scala
24	Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayappan	Data and Computation Abstractions for Dynamic and Irregular Computations.	HiPC	2005	DBLP DOI BibTeX RDF
24	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
24	Paulo Tabuada	Sensor/Actuator Abstractions for Symbolic Embedded Control Design.	HSCC	2005	DBLP DOI BibTeX RDF
24	William D. Young	Introducing Abstractions via Rewriting.	CHARME	2005	DBLP DOI BibTeX RDF
24	Steffen Helke, Florian Kammüller	Structure Preserving Data Abstractions for Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
24	Lee Pike, Jeffrey Maddalon, Paul S. Miner, Alfons Geser	Abstractions for Fault-Tolerant Distributed System Verification.	TPHOLs	2004	DBLP DOI BibTeX RDF
24	Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan	Three-Valued Abstractions of Games: Uncertainty, but with Precision.	LICS	2004	DBLP DOI BibTeX RDF
24	Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova	Using Fairness to Make Abstractions Work.	SPIN	2004	DBLP DOI BibTeX RDF
24	José Meseguer 0001, Miguel Palomino, Narciso Martí-Oliet	Equational Abstractions.	CADE	2003	DBLP DOI BibTeX RDF
24	Pascal Van Hentenryck, Laurent Michel	Control Abstractions for Local Search.	CP	2003	DBLP DOI BibTeX RDF
24	Tarek F. Abdelzaher, Jack A. Stankovic, Sang Hyuk Son, Brian M. Blum, Tian He 0001, Anthony D. Wood, Chenyang Lu 0001	A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	QoS, sensor networks, distributed systems, tracking, programming paradigms
24	Kedar S. Namjoshi	Lifting Temporal Proofs through Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF
24	Masaaki Narita, Makoto Haraguchi, Yoshiaki Okubo	Data Abstractions for Numerical Attributes in Data Mining.	IDEAL	2002	DBLP DOI BibTeX RDF
24	Renato Ferreira 0001, Gagan Agrawal, Joel H. Saltz	Compiler supported high-level abstractions for sparse disk-resident datasets.	ICS	2002	DBLP DOI BibTeX RDF	data Parallel compilation, restructing compilers, data Intensive computing, sparse computations
24	Luca Chittaro, Carlo Combi	Visual Definition of Temporal Clinical Abstractions: A User Interface Based on Novel Metaphors.	AIME	2001	DBLP DOI BibTeX RDF
24	Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti 0001	Abstractions for model checking of event timings.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
24	Mourad Oussalah 0001, Dalila Tamzalit	Emergence Measurement and Analyzes of Conceptual Abstractions During Evolution Simulation in OOD.	ISMIS	2000	DBLP DOI BibTeX RDF
24	Chris P. Rainsford, Mukesh K. Mohania	Creation and Maintenance of Web Space Abstractions.	DANTE	1999	DBLP DOI BibTeX RDF
24	Michael Colón, Tomás E. Uribe	Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures.	CAV	1998	DBLP DOI BibTeX RDF
24	Conrado Daws, Stavros Tripakis	Model Checking of Real-Time Reachability Properties Using Abstractions.	TACAS	1998	DBLP DOI BibTeX RDF
24	Christian S. Collberg, Clark D. Thomborson, Douglas Low	Breaking Abstractions and Unstructuring Data Structures.	ICCL	1998	DBLP DOI BibTeX RDF	obfuscation, intellectual property protection, code transformations
24	Scott Arthur Moody	Object Oriented Abstractions for Real-Time Distributes Systems.	Ada-Europe	1998	DBLP DOI BibTeX RDF
24	Nomusa Dlodlo, Carl Bamford	The Common Interactions Abstractions Paradigm.	EUROMICRO	1997	DBLP DOI BibTeX RDF
24	Stephen Milliner, Alex Delis	Networking abstractions and protocols under variable length messages.	ICNP	1995	DBLP DOI BibTeX RDF
24	Susanne Graf	Verification of a Distributed Cache Memory by Using Abstractions.	CAV	1994	DBLP DOI BibTeX RDF
24	Susanne Graf, Claire Loiseaux	Property Preserving Abstractions under Parallel Composition.	TAPSOFT	1993	DBLP DOI BibTeX RDF
24	Weidong Chen 0005, David Scott Warren	Compilation of Predicate Abstractions in Higher-Order Logic Programming.	PLILP	1991	DBLP DOI BibTeX RDF
24	Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber	Data Abstractions for Database Systems.	ACM Trans. Database Syst.	1979	DBLP DOI BibTeX RDF	data structure, specification, data model, abstract data type, database design, integrity constraints, data type, data abstraction, data manipulation language, database schema, database consistency, data definition language
23	Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller	Report on the EDBT/ICDT 2010 workshop on updates in XML.	SIGMOD Rec.	2010	DBLP DOI BibTeX RDF
23	Edward A. Lee	Cyber Physical Systems: Design Challenges.	ISORC	2008	DBLP DOI BibTeX RDF	embedded systems, real time, Cyber-physical systems
23	Sudha Krishnamurthy, Lajos Lange	Distributed Interactions with Wireless Sensors Using TinySIP for Hospital Automation.	PerCom	2008	DBLP DOI BibTeX RDF	messaging protocol, mobile device, sensor, SIP
23	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
23	Dale Miller 0001, Alwen Tiu	A proof theory for generic judgments.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search
23	Uwe Zdun, Paris Avgeriou	Modeling architectural patterns using architectural primitives.	OOPSLA	2005	DBLP DOI BibTeX RDF	modeling patterns, UML, OCL, software patterns, architectural patterns, architectural documentation
23	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.	VMCAI	2005	DBLP DOI BibTeX RDF
23	Martin Bravenboer, Eelco Visser	Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions.	OOPSLA	2004	DBLP DOI BibTeX RDF	MetaBorg, concrete object syntax, extensible syntax, syntax extension, domain-specific languages, rewriting, meta programming, embedded languages, SDF, stratego
23	Brian S. Mitchell, Spiros Mancoridis, Martin Traverso	Using Interconnection Style Rules to Infer Software Architecture Relations.	GECCO (2)	2004	DBLP DOI BibTeX RDF
23	Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field	Partially Disjunctive Heap Abstraction.	SAS	2004	DBLP DOI BibTeX RDF
23	Thomas Ball, Vladimir Levin, Fei Xie	Automatic Creation of Environment Models via Training.	TACAS	2004	DBLP DOI BibTeX RDF
23	Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge	Developing multiagent systems: The Gaia methodology.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	analysis and design methodologies, distributed systems, software architectures, Multiagent systems, agent-oriented software engineering
23	Alessandro F. Garcia 0001, Cláudio Sant'Anna, Christina Chavez, Viviane Torres da Silva, Carlos José Pereira de Lucena, Arndt von Staa	Separation of Concerns in Multi-agent Systems: An Empirical Study.	SELMAS	2003	DBLP DOI BibTeX RDF
23	Daniel J. Quinlan, Markus Schordan, Qing Yi, Bronis R. de Supinski	Semantic-Driven Parallelization of Loops Operating on User-Defined Containers.	LCPC	2003	DBLP DOI BibTeX RDF
23	Dale Miller 0001, Alwen Fernanto Tiu	Encoding Generic Judgments.	FSTTCS	2002	DBLP DOI BibTeX RDF
23	Thorsten Gerdsmeier, Rachel Cardell-Oliver	A Method for Verifying Real-Time Properties of Ada Programs.	ICECCS	2001	DBLP DOI BibTeX RDF
23	Ulrich Frank, Don S. Batory, Jean Bézivin, Brian Henderson-Sellers, Houman Younessi	High level Modelling Languages, Adaptable Process Models and Software Generation: Drivers for Quality and Productivity.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
23	Thomas Kunz	Issues in Event Abstraction.	PARLE	1993	DBLP DOI BibTeX RDF
22	Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný	Parallel programming with object assemblies.	OOPSLA	2009	DBLP DOI BibTeX RDF	irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions
22	Rebecca Wirfs-Brock	Designing Extensible Classes.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	abstractions, class, subclass
22	Sumanth Kaditham, Alwyn R. Pais	Model Based Tracking.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Motion Detection And Tracking, Classifying Activity, Graph Based Abstractions and Skeleton Representation
22	Liqian Luo, Tarek F. Abdelzaher, Tian He 0001, John A. Stankovic	EnviroSuite: An environmentally immersive programming framework for sensor networks.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	sensor networks, embedded systems, middleware, tracking, Abstractions, programming models
22	Tobias Bjerregaard, Shankar Mahadevan	A survey of research and practices of Network-on-chip.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	Chip-area networks, GSI design, OCP, ULSI design, communication-centric design, SoC, system-on-chip, network-on-chip, interconnects, NoC, GALS, sockets, on-chip communication, communication abstractions
22	Kairong Qian, Albert Nymeyer, Steven Susanto	Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.	FORTE	2005	DBLP DOI BibTeX RDF	model approximations, Formal verification, heuristic search, symbolic model checking, data abstractions
22	Winfried E. Kühnhauser	Root Kits: an operating systems viewpoint.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	error exploitation, error proliferation, kernel abstractions, mandatory and discretionary access control, privilege proliferation, secure program execution, reference monitor, trusted computing base, security domains, secure booting
22	Giorgio Delzanno	Constraint-Based Verification of Parameterized Cache Coherence Protocols.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	constraints, abstractions, symbolic model checking, cache coherence protocols
22	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Closing Open SDL-Systems for Model Checking with DTSpin.	FME	2002	DBLP DOI BibTeX RDF	DTSpin, open communication systems, model checking, abstractions, SDL
22	Mariusz Nowostawski, Geoff Bush, Martin K. Purvis, Stephen Cranefield	Platforms for agent-oriented software engineering.	APSEC	2000	DBLP DOI BibTeX RDF	computational domain, abstract problem solutions, agent software architecture, software architecture, object-oriented programming, software metrics, software agents, autonomous agent, agent-oriented software engineering, distributed information systems, software complexity, modelling abstractions
22	Hui Guo, Thomas Becker 0005	Programmable Resource Control in Global Active IP Networks.	LCN	2000	DBLP DOI BibTeX RDF	programmable resource control, global active IP networks, resource control framework, generic router resource abstractions, active network services, adaptive bandwidth allocation scheme, safe resource access, efficient multiplexing, CORBA interface, enhanced ORB, downloadable objects, Internet, policy, customization, code, application program interfaces, telecommunication network routing, bandwidth allocation, multiplexing, distributed object management, network programming, telecommunication control, dynamic partitioning, middleware platform
22	David W. Oliver	Staffing and organization in the engineering of systems.	ECBS	1997	DBLP DOI BibTeX RDF	engineering of systems, model based systems engineering, IEEE ECBS, INCOSE, technical process, management process, business reengineering, abstractions, culture, organization, systems engineering, psychology, staffing, IEEE standards, anthropology
22	Luca Pazzi	Extending statecharts for representing parts and wholes.	EUROMICRO	1997	DBLP DOI BibTeX RDF	state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts
22	Jean-Marie Favre	Preprocessors from an Abstract Point of View.	WCRE	1996	DBLP DOI BibTeX RDF	program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP
22	Inki Hong, Miodrag Potkonjak	Power optimization in disk-based real-time application specific systems.	ICCAD	1996	DBLP DOI BibTeX RDF	design process abstractions, disk data assignment, electronic components, magnetic disks, mechanical-electronic subsystems, power consumption model, real-time application specific systems, task scheduling, power optimization, power reduction, power minimization, magnetic disc storage, disk drives
22	Ichiro Mizunuma, Chia Shen, Morikazu Takegaki	Middleware for Distributed Industrial Real-Time Systems on ATM Networks.	RTSS	1996	DBLP DOI BibTeX RDF	distributed industrial real-time systems, industrial plant monitoring, industrial plant control systems, real-time client-server programming model, MidART, network transparent programming abstractions, on-demand transmission, selective real-time channels, protocols, local area networks, local area networks, ATM networks, application programming interface, QoS requirements, middleware design