Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
130	Jeong Lim, Ralph E. Johnson	The heart of object-oriented concurrent programming.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
74	Bent Bruun Kristensen	Architectural Abstractions and Language Mechanisms.	APSEC	1996	DBLP DOI BibTeX RDF	Language mechanisms, design and programming, Software architecture, Object-oriented analysis, Architectural abstractions
68	Ron Cytron, Andy Lowry, F. Kenneth Zadeck	Code Motion of Control Structures in High-Level Languages.	POPL	1986	DBLP DOI BibTeX RDF
61	Michael Gagliardi, Ragunathan Rajkumar, Lui Sha	Designing for evolvability: building blocks for evolvable real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
57	Helen J. Wang, Xiaofeng Fan, Jon Howell, Collin Jackson	Protection and communication abstractions for web browsers in MashupOS.	SOSP	2007	DBLP DOI BibTeX RDF	multi-principal OS, security, communications, web, abstractions, protection, browser, same-origin policy
57	George W. Ernst, Raymond J. Hookway, William F. Ogden	Modular Verification of Data Abstractions with Shared Realizations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	shared realizations, realization level data structure, abstract specification, data structures, semantics, program verification, specification languages, data abstractions, quantification, modular verification, modular specification
56	Prince Kohli, Mustaque Ahamad, Karsten Schwan	Indigo: User-Level Support for Building Distributed Shared Abstractions.	HPDC	1995	DBLP DOI BibTeX RDF	Indigo, user-level support, distributed shared abstractions, user-level library, state sharing techniques, DSM protocols, consistency actions, shared abstractions, programming environments, parallel machines, shared memory systems, distributed memory systems, shared memory machines, high performance interconnects
52	Susan Darling Urban, Taoufik Ben Abdellatif, Suzanne W. Dietrich, Amy Sundermier	Delta Abstractions: A Technique for Managing Database States in Runtime Debugging of Active Database Rules.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	object deltas, rule analysis and debugging, Active database systems
51	Paulo Tabuada, George J. Pappas, Pedro U. Lima	Compositional Abstractions of Hybrid Control Systems.	Discret. Event Dyn. Syst.	2004	DBLP DOI BibTeX RDF	abstractions, hybrid systems, compositionality
46	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
46	Roy Friedman, Michel Raynal, Corentin Travers	Two Abstractions for Implementing Atomic Objects in Dynamic Systems.	OPODIS	2005	DBLP DOI BibTeX RDF	Atomic object, Distributed system, Shared memory, Dynamic system, Server, Quorum, Crash failures, Communication primitive
46	Dimitri Van Landuyt, Steven Op de beeck, Eddy Truyen, Wouter Joosen	Domain-driven discovery of stable abstractions for pointcut interfaces.	AOSD	2009	DBLP DOI BibTeX RDF	domain-driven architecture, reusable pointcut interfaces, stable domain abstractions
46	Li Yi, Christopher Moretti, Scott J. Emrich, Kenneth Judd, Douglas Thain	Harnessing parallelism in multicore clusters with the all-pairs and wavefront abstractions.	HPDC	2009	DBLP DOI BibTeX RDF	bioinformatics, abstractions, multicore, economics
46	Andreas Ulbrich, Gero Mühl, Torben Weis, Kurt Geihs	Programming Abstractions for Content-Based Publish/Subscribe in Object-Oriented Languages.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF	middleware, programming abstractions, composite events, content-based publish/subscribe
45	Daniel J. Quinlan, Brian Miller 0001, Bobby Philip, Markus Schordan	Treating a User-Defined Parallel Library as a Domain-Specific Language.	IPDPS	2002	DBLP DOI BibTeX RDF
45	Avik Chaudhuri	A concurrent ML library in concurrent Haskell.	ICFP	2009	DBLP DOI BibTeX RDF	concurrent haskell, distributed synchronization protocol, synchronization abstractions, pi calculus, concurrent ML
44	Luqi, Valdis Berzins, Raymond T. Yeh	A Prototyping Language for Real-Time Software.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	prototyping language, PSDL, nonprocedural control constraints, operator abstractions, real-time systems, real-time systems, embedded systems, data structures, specification languages, specification languages, software reusability, requirements analysis, timing constraints, data abstractions, real-time software, reusable software components, feasibility studies
41	Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock, Thomas Panas	Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore.	IWOMP	2009	DBLP DOI BibTeX RDF
41	Shantenu Jha, Daniel S. Katz, Manish Parashar, Omer F. Rana, Murray Cole	Abstractions for Distributed Systems (DPA 2008).	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
41	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira	Development of Fault-Tolerant Software Systems Based on Architectural Abstractions.	ECSA	2008	DBLP DOI BibTeX RDF
41	Matthias Finke, Michael Blackstock, Rodger Lea	Deployment Experience Toward Core Abstractions for Context Aware Applications.	EuroSSC	2007	DBLP DOI BibTeX RDF
41	Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi	Annotating user-defined abstractions for optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
41	Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen	Classification and Utilization of Abstractions for Optimization.	ISoLA	2004	DBLP DOI BibTeX RDF
41	Christian Heide Damm, Patrick Th. Eugster, Rachid Guerraoui	Linguistic Support for Distributed Programming Abstractions.	ICDCS	2004	DBLP DOI BibTeX RDF
41	Amy McGovern	Autonomous Discovery of Abstractions through Interaction with an Environment.	SARA	2002	DBLP DOI BibTeX RDF
41	Christian Clémençon, Bodhisattwa Mukherjee, Karsten Schwan	Distributed Shared Abstractions (DSA) on Multiprocessor.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	application dependent memory consistency, fragmented objects, topology, Distributed shared memory, asynchronous events
40	José Antonio Álvarez-Bermejo, Javier Roca Piera	High Level Abstractions for Improving Parallel Image Reconstruction Algorithms.	IWANN (2)	2009	DBLP DOI BibTeX RDF	High Level Parallel Constructions, Concurrence, Object Orientation, Abstractions, Threads
40	José Antonio Álvarez-Bermejo, Javier Roca Piera	Tomographic Image Reconstruction Using Abstractions.	EUROCAST	2009	DBLP DOI BibTeX RDF	High Level Parallel Constructions, Concurrence, Object Orientation, Abstractions, Threads
40	Rebecca Wirfs-Brock	Looking for Powerful Abstractions.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	abstractions
40	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
39	Shuichi Oikawa, Ragunathan Rajkumar	Scalability in a real-time kernel.	RTCSA	1997	DBLP DOI BibTeX RDF	software functionalities, scalable kernel architecture, real-time systems, scalability, abstractions, operating system kernels, operating system kernels, real-time kernel, hardware resources
37	Yan Solihin	Persistent Memory: Abstractions, Abstractions, and Abstractions.	IEEE Micro	2019	DBLP DOI BibTeX RDF
35	Antoine Girard	Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications.	HSCC	2010	DBLP DOI BibTeX RDF	approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems
35	Kenneth L. McMillan, Lenore D. Zuck	Abstract Counterexamples for Non-disjunctive Abstractions.	RP	2009	DBLP DOI BibTeX RDF
35	Antoine Girard	Approximately Bisimilar Finite Abstractions of Stable Linear Systems.	HSCC	2007	DBLP DOI BibTeX RDF
35	JeongKyu Lee, Jung-Hwan Oh 0001, Sae Hwang	Scenario based dynamic video abstractions using graph matching.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	graph similarity measure, video summarization, shot boundary detection, region adjacency graph
35	Kim B. Bruce	Using abstractions to make concepts concrete.	SIGCSE	2005	DBLP DOI BibTeX RDF
35	Douglas Thain, Sander Klous, Justin M. Wozniak, Paul R. Brenner, Aaron Striegel, Jesús A. Izaguirre	Separating Abstractions from Resources in a Tactical Storage System.	SC	2005	DBLP DOI BibTeX RDF
35	Robert Smith 0003, Glenn Smith, Aster Wardhani	Platform Relative Sensor Abstractions across Mobile Robots Using Computer Vision and Sensor Integration.	DICTA	2005	DBLP DOI BibTeX RDF
35	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan	Abstractions from proofs.	POPL	2004	DBLP DOI BibTeX RDF	counterexample analysis, software model checking, predicate abstraction
35	Matthew Flatt, Robert Bruce Findler	Kill-safe synchronization abstractions.	PLDI	2004	DBLP DOI BibTeX RDF
35	Qing Yi, Daniel J. Quinlan	Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics.	LCPC	2004	DBLP DOI BibTeX RDF
35	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
34	Diego Bernini	Architectural abstractions for space and time awareness: the case of responsive environments.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	space-awareness, time-awareness, software architectures, publish-subscribe, responsive environments, architectural abstractions
34	Marco Aldinucci, Marco Danelutto, Peter Kilpatrick	Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF	distributed programming abstractions, multi/ many core, grids, design patterns, autonomic computing, clouds, Algorithmic skeletons
34	Lucia Sacchi, Cristiana Larizza, Carlo Combi, Riccardo Bellazzi	Data mining with Temporal Abstractions: learning rules from time series.	Data Min. Knowl. Discov.	2007	DBLP DOI BibTeX RDF	Biomedical time series, Temporal data mining, Rule discovery, Temporal abstractions
34	Milind Kulkarni 0001, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew	Optimistic parallelism requires abstractions.	PLDI	2007	DBLP DOI BibTeX RDF	abstractions, optimistic parallelism, irregular programs
34	Marc Lettrari	Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems.	FME	2003	DBLP DOI BibTeX RDF	UML, abstractions, heuristic search, symbolic execution
34	Pamela O'Shea, Christopher Exton	An Investigation of Java Abstraction Usage for Program Modifications.	IWPC	2005	DBLP DOI BibTeX RDF
33	Moshé M. Zloof	Selected ingredients in end-user programming.	AVI	1998	DBLP DOI BibTeX RDF	WYSIWYG programming, application abstractions, declarative programming
33	Stan Jarzabek, Irene Woon	Towards a precise description of reverse engineering methods and tools.	CSMR	1997	DBLP DOI BibTeX RDF	reverse engineering methods, reverse engineering techniques, design abstractions, incomplete program documentation, reverse engineering tools, source language, formal mapping, source language design model, use object recovery scenarios, reverse engineering, program understanding, explicit knowledge, automatic recovery
30	Sumit Kumar Jha 0001, Susmit Jha	Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking.	HASE	2008	DBLP DOI BibTeX RDF
29	Jonas Schrieb, Heike Wehrheim, Daniel Wonisch	Three-Valued Spotlight Abstractions.	FM	2009	DBLP DOI BibTeX RDF
29	Ashish Tiwari 0001	Abstractions for hybrid systems.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Hybrid systems, Predicate abstraction, Qualitative simulation
29	Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson	Modal Abstractions of Concurrent Behaviour.	SAS	2008	DBLP DOI BibTeX RDF
29	Vijay D'Silva, Sampada Sonalkar, S. Ramesh	Existential abstractions for distributed reactive systems via syntactic transformations.	EMSOFT	2007	DBLP DOI BibTeX RDF
29	Raffaella Gentilini, Klaus Schneider 0001, Bud Mishra	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.	LFCS	2007	DBLP DOI BibTeX RDF
29	Harald Fecher, Michael Huth 0001	More Precise Partition Abstractions.	VMCAI	2007	DBLP DOI BibTeX RDF
29	Ferucio Laurentiu Tiplea, Constantin Enea	Abstractions of data types.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Data type, Universal algebra
29	Tao Xie 0001, David Notkin	Tool-assisted unit-test generation and selection based on operational abstractions.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF
29	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
29	Laxmikant V. Kalé	New parallel programming abstractions and the role of compilers.	IPDPS	2006	DBLP DOI BibTeX RDF
29	Javier Esparza, Pierre Ganty, Stefan Schwoon	Locality-Based Abstractions.	SAS	2005	DBLP DOI BibTeX RDF
29	Pascal Van Hentenryck, Laurent Michel	Scheduling Abstractions for Local Search.	CPAIOR	2004	DBLP DOI BibTeX RDF
29	Daniel Coore	Abstractions for Directing Self-organising Patterns.	UPP	2004	DBLP DOI BibTeX RDF
29	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
29	Guido Tack, Didier Le Botlan	Compositional Abstractions for Search Factories.	MOZ	2004	DBLP DOI BibTeX RDF
29	Elina Megalou, Thanasis Hadzilacos	Semantic Abstractions in the Multimedia Domain.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	semantic multimedia abstraction, spatio-temporal retrieval, multimedia query language, presentational unit, abstraction, semantic modeling, Multimedia data model
29	Ashish Tiwari 0001, Gaurav Khanna 0001	Series of Abstractions for Hybrid Automata.	HSCC	2002	DBLP DOI BibTeX RDF
29	Dilma Da Silva, Karsten Schwan, Greg Eisenhauer	CTK: Configurable Object Abstractions for Multiprocessors.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	high-performance objects, object fragmentation, complex parallel programming, library operating systems, dynamic adaptation, Configurable systems
29	Michel Bidoit, Alexandre Boisseau	Algebraic Abstractions.	WADT	2001	DBLP DOI BibTeX RDF
29	Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi	Constructing Appropriate Data Abstractions for Mining Classification Knowledge.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
29	Tommi Mikkonen, Risto Pitkänen	Facilities of Practice Reflecting Abstractions of Theory, and Vice Versa.	SCCC	2001	DBLP DOI BibTeX RDF
29	Branimir Boguraev, Rachel K. E. Bellamy, Christopher Kennedy	Dynamic Presentation of Phrasally-based Document Abstractions.	HICSS	1999	DBLP DOI BibTeX RDF
29	Manuel Fähndrich, John Boyland	Statically Checkable Pattern Abstractions.	ICFP	1997	DBLP DOI BibTeX RDF	ML
29	Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, Gregory Zelesnik	Abstractions for Software Architecture and Tools to Support Them.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	software system organization, software engineering, Software architecture, architecture description language, architectural abstraction
29	Douglas Thain, Christopher Moretti, Hoang Bui, Li Yu, Nitesh V. Chawla, Patrick J. Flynn	Using Small Abstractions to Program Large Distributed Systems.	eScience	2008	DBLP DOI BibTeX RDF	distributed systems, Abstractions, programming languages
29	Eyðun Eli Jacobsen, Bent Bruun Kristensen, Palle Nowack	Architecture = Abstractions over Software.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	Software Architecture, Conceptual Modeling, Architectural Abstractions
28	Tom Dinkelaker	Versatile language semantics with reflective embedding.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	embedded domain-specific languages, aspect-oriented programming, meta-object protocols
28	Matti A. Hiltunen, Richard D. Schlichting	The Lost Art of Abstraction.	WADS	2004	DBLP DOI BibTeX RDF
28	Rachid Guerraoui	Dissecting Distributed Computations.	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
28	Ahmed Bouajjani, Javier Esparza, Tayssir Touili	A generic approach to the static analysis of concurrent programs with procedures.	POPL	2003	DBLP DOI BibTeX RDF	concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
28	Marc Fuchs, Dirk Fuchs	Abstraction-Based Relevancy Testing for Model Elimination.	CADE	1999	DBLP DOI BibTeX RDF
28	Dwight Deugo, Franz Oppacher, Bruce Ashfield, Michael Weiss 0001	Communication as a Means to Differentiate Objects, Components and Agents.	TOOLS (30)	1999	DBLP DOI BibTeX RDF	Communication, Agent, Component, Pattern, Object
28	Rajesh K. Karmani, Amin Shali, Gul Agha	Actor frameworks for the JVM platform: a comparative analysis.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, performance, semantics, frameworks, abstractions, JVM, libraries, comparison, actors
28	Marcos E. B. Broinizi, João Eduardo Ferreira, Alfredo Goldman	Using annotations in the naked objects framework to explore data requirements.	SAC	2008	DBLP DOI BibTeX RDF	agile methods of software development, conceptual data design, data requirements exploration, requirements engineering, requirements specification, data abstractions
28	Douglas S. Blank, Deepak Kumar 0002, Lisa Meeden, Holly A. Yanco	Pyro: A python-based versatile programming environment for teaching robotics.	ACM J. Educ. Resour. Comput.	2004	DBLP DOI BibTeX RDF	platform-independent robotics control, robot abstractions, top-down instruction, education, Mobile robotics, programming languages, computer science education, autonomous control
28	Douglas S. Blank, Deepak Kumar 0002, Lisa Meeden, Holly A. Yanco	Pyro: A python-based versatile programming environment for teaching robotics.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	platform-independent robotics control, robot abstractions, top-down instruction, education, Mobile robotics, programming languages, computer science education, autonomous control
28	Eric Cariou, Antoine Beugnard	The Specification of UML Collaborations as Interaction Components.	UML	2002	DBLP DOI BibTeX RDF	UML collaborations, specification methodology, interaction abstractions, interaction components
28	Mohamed Mancona Kandé, Alfred Strohmeier	Towards a UML Profile for Software Architecture Descriptions.	UML	2000	DBLP DOI BibTeX RDF	Software architecture abstractions, software architecture descrip-tion, architectural viewpoint, UML, component, configuration, ADL, connector, architectural modeling, architectural view
28	Ian T. Foster, Stephen Taylor	A Compiler Approach to Scalable Concurrent-Program Design.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	program composition, monotonicity, programming abstractions, source-to-source transformations
28	Anne Helga Seltveit	An Abstraction-Based Rule Approach to Large-Scale Information Systems Development	CAiSE	1993	DBLP DOI BibTeX RDF	abstraction-based development, abstractions, views, multiple views, structuring mechanisms
28	Georg Lausen	Modeling and Analysis of the Behavior of Information Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	semantic hierarchy data model, formal specification, Petri net, Petri nets, data structures, information systems, information flows, data abstractions, flowcharting, specification techniques, behavior constraints
28	Robert I. Winner	Naming and Binding in a vertical Migration Environment.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	vertical migration environment, maximum performance, linkage editing process, micro-objects, data structures, compilers, abstractions, program compilers, object-oriented model, binding, naming, microprogramming, microcode
24	Amaury Maillé	Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing. (Des abstractions simples, sûres et efficaces pour la communication et le streaming dans le calcul parallèle).		2023	RDF
24	Matthias Függer	Computing at the border of abstractions: the power of timed, non-binary, distributed circuits. (Le calcul à la frontière des abstractions : la puissance des circuits temporisés, non binaires, distribués).		2022	RDF
24	James DesLauriers, József Kovács, Tamás Kiss	Abstractions of Abstractions: Metadata to Infrastructure-as-Code.	ICSA Companion	2022	DBLP DOI BibTeX RDF
24	Olivier Nicole	Automated verification of systems code using type-based memory abstractions. (Vérification automatique de code système à l'aide d'abstractions mémoire basées sur le typage).		2022	RDF
24	Emilie Allart	Abstractions de différences exactes de réseaux de réactions: Améliorer la précision de prédiction de changements de systèmes biologiques. (Exact difference abstractions of reaction networks: Improve the accuracy of the prediction of changes in biological systems).		2021	RDF
24	Andreea Beica	Abstractions of biochemical reaction networks. (Abstractions des réseaux de réactions biochimiques).		2019	RDF