Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Jaswinder Pal Singh, John L. Hennessy, Anoop Gupta	Implications of Hierarchical N-Body Methods for Multiprocessor Architectures	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	N-body methods, locality, message passing, shared memory, scaling, parallel applications, parallel computer architecture, shared address space, communication abstractions
22	Konstantin Trachos, Erik Maehle	A class hierarchy emulating virtual shared objects on message-passing systems.	PDP	1995	DBLP DOI BibTeX RDF	virtual shared objects, scalable performance, composite virtual objects, object-oriented abstractions, shared composite virtual objects, parallel programming, parallel programming, object-oriented programming, C++, message passing, shared memory, shared memory systems, distributed memory systems, type theory, interaction protocol, distributed memory, data types, C language, shared objects, message-passing systems, class hierarchy
22	Douglas Niehaus, John A. Stankovic, Krithi Ramamritham	A real-time system description language.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing
22	Massimo Paltrinieri	A Visual Environment for Constraint Programming.	VL	1995	DBLP DOI BibTeX RDF	object-oriented abstractions, classical constraint satisfaction problem model, complex real-world problems, data structures, object-oriented programming, programming environments, visual programming, constraint programming, abstract data types, constraint handling, visual environment
22	Ilkka Tuomi	Abstraction and history-from institutional amnesia to organizational memory.	HICSS (4)	1995	DBLP DOI BibTeX RDF	institutional memory, consensual cognitive abstractions, support system implementations, generic design processes, product concept specification, information systems, information systems, organizational learning, learning systems, organizational memory, strategic planning, strategic planning, cognitive systems
22	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study.	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
22	Flavio De Paoli, Francesco Tisato	Abstract and concrete components: an approach to complex systems engineering.	ICECCS	1995	DBLP DOI BibTeX RDF	complex IT systems engineering, concrete components, abstract components, multi-view interfaces, software engineering, agents, controllers, software agents, configurators, systems engineering, object-oriented methods, architectural design, connectors, integrated approach, architectural abstractions, system life cycle
22	Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb	Design and Specification of Iterators Using the Swapping Paradigm.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
22	Lil Mohan, Rangasami L. Kashyap	An Object-Oriented Knowledge Representation for Spatial Information.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	object-oriented knowledge representation, abstract formalism, pictorial information, conceptual abstractions, data structures, knowledge engineering, object-oriented method, knowledge model, spatial information
18	Lode Hoste	Software engineering abstractions for the multi-touch revolution.	ICSE (2)	2010	DBLP DOI BibTeX RDF
18	Milind Kulkarni 0001, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew	Optimistic parallelism requires abstractions.	Commun. ACM	2009	DBLP DOI BibTeX RDF
18	Joxan Jaffar, Andrew E. Santosa	Recursive Abstractions for Parameterized Systems.	FM	2009	DBLP DOI BibTeX RDF
18	Michael Huth 0001, Nir Piterman, Daniel Wagner 0002	Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.	FCT	2009	DBLP DOI BibTeX RDF
18	Christian Meschke	Robust Elements in Rough Set Abstractions.	ICFCA	2009	DBLP DOI BibTeX RDF
18	Angelo Brillout, Daniel Kroening, Thomas Wahl	Mixed abstractions for floating-point arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
18	Christos Kloukinas	Better abstractions for reusable components & architectures.	ICSE Companion	2009	DBLP DOI BibTeX RDF
18	Paolo Salvaneschi	Functional abstractions for testing repository-style information systems.	ICSE Companion	2009	DBLP DOI BibTeX RDF
18	Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel	Validation of contracts using enabledness preserving finite state abstractions.	ICSE	2009	DBLP DOI BibTeX RDF
18	Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia	Static Specification Mining Using Automata-Based Abstractions.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
18	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Tian He 0001	The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks.	IPSN	2008	DBLP DOI BibTeX RDF	LiteOS, wireless sensor networks, operating system
18	Sebastien Fontaine, Luc Filion, Guy Bois	Exploring ISS Abstractions for Embedded Software Design.	DSD	2008	DBLP DOI BibTeX RDF
18	José C. Cunha, Carmen Morgado, Jorge F. Custódio	Group Abstractions for Organizing Dynamic Distributed Systems.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
18	Shashank Shanbhag, Tilman Wolf	Implementation of end-to-end abstractions in a network service architecture.	CoNEXT	2008	DBLP DOI BibTeX RDF	data path service, network socket, network architecture, next-generation internet
18	Rohit Chadha, Mahesh Viswanathan 0001, Ramesh Viswanathan	Least Upper Bounds for Probability Measures and Their Applications to Abstractions.	CONCUR	2008	DBLP DOI BibTeX RDF
18	Kalapriya Kannan, Biplav Srivastava	Promoting Reuse via Extraction of Domain Concepts and Service Abstractions from Design Diagrams.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	service extraction, design diagrams, Service identification
18	Francisco J. Ballesteros, Enrique Soriano 0001, Gorka Guardiola Muzquiz, Katia Leal Algara	Plan B: Using Files instead of Middleware Abstractions.	IEEE Pervasive Comput.	2007	DBLP DOI BibTeX RDF	distributed systems, adaptability, pervasive computing, operating systems, file systems
18	Edward B. Allen, Sampath Gottipati, Rajiv Govindarajan	Measuring size, complexity, and coupling of hypergraph abstractions of software: An information-theory approach.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Properties of metrics, C++ case studies, Complexity, Entropy, Software metrics, Information theory, Coupling, Size, Measurement theory, Excess entropy
18	Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer	Secure Implementations for Typed Session Abstractions.	CSF	2007	DBLP DOI BibTeX RDF
18	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
18	Stefano Ceri, Marco Brambilla 0001, Emanuele Della Valle	Design Abstractions for Innovative Web Applications: The Case of the SOA Augmented with Semantics.	ESWC	2007	DBLP DOI BibTeX RDF
18	Edgardo Avilés-López, J. Antonio García-Macías	Providing Service-Oriented Abstractions for the Wireless Sensor Grid.	GPC	2007	DBLP DOI BibTeX RDF
18	Christophe Jelger, Christian F. Tschudin, Stefan Schmid 0002, Guy Leduc	Basic Abstractions for an Autonomic Network Architecture.	WOWMOM	2007	DBLP DOI BibTeX RDF
18	Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Tappan Morris	Information flow control for standard OS abstractions.	SOSP	2007	DBLP DOI BibTeX RDF	DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor
18	Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael González Harbour	Influence of different system abstractions on the performance analysis of distributed real-time systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	system abstraction, performance analysis, benchmarking
18	Alberto E. Schaeffer Filho, Emil Lupu	Abstractions to Support Interactions Between Self-Managed Cells. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
18	Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia	Static specification mining using automata-based abstractions.	ISSTA	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, typestate, specification mining
18	Krisztián Flautner	Blurring the Layers of Abstractions: Time to Take a Step Back?	IOLTS	2007	DBLP DOI BibTeX RDF
18	C. Maria Keet	Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions.	AI*IA	2007	DBLP DOI BibTeX RDF
18	Ashley T. McNeile, Nicholas Simons	Protocol modelling: A modelling approach that supports reusable behavioural abstractions.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Protocols, Reuse, State machines, Executable modelling, Mixins, Behavioural modelling
18	Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda	Verification of timed circuits with failure-directed abstractions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
18	Federico Pecora, Riccardo Rasconi, Gabriella Cortellessa, Amedeo Cesta	User-oriented problem abstractions in scheduling.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Domain elicitation, Scheduling Tool customization, Reuse, Fast prototyping
18	Sriram Krishnamoorthy, Ümit V. Çatalyürek, Jarek Nieplocha, Atanas Rountev, P. Sadayappan	An extensible global address space framework with decoupled task and data abstractions.	IPDPS	2006	DBLP DOI BibTeX RDF
18	Alissa Nicole Antle	Child-user abstractions.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	user abstraction, children, design methods, personas, child-computer-interaction
18	Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival	Combination of Abstractions in the ASTRÉE Static Analyzer.	ASIAN	2006	DBLP DOI BibTeX RDF
18	Burak Emir, Sebastian Maneth, Martin Odersky	Scalable Programming Abstractions for XML Services.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
18	Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham	Combining Shape Analyses by Intersecting Abstractions.	VMCAI	2006	DBLP DOI BibTeX RDF
18	Kurt Schelfthout, Tom Holvoet, Yolande Berbers	Views: customizable abstractions for contextaware applications in MANETs.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
18	Yin Hua Li, Salima Benbernou	Representing and Reasoning About Privacy Abstractions.	WISE	2005	DBLP DOI BibTeX RDF
18	Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha 0001, Bruce H. Krogh	Refining Abstractions of Hybrid Systems Using Counterexample Fragments.	HSCC	2005	DBLP DOI BibTeX RDF
18	C. Maria Keet	Using Abstractions to Facilitate Management of Large ORM Models and Ontologies.	OTM Workshops	2005	DBLP DOI BibTeX RDF
18	Kurt Schelfthout, Tom Holvoet, Yolande Berbers	Views: Middleware Abstractions for Context-Aware Applications in MANETs.	SELMAS (LNCS)	2005	DBLP DOI BibTeX RDF
18	Andrea Omicini, Alessandro Ricci, Mirko Viroli	Coordination Artifacts as First-Class Abstractions for MAS Engineering: State of the Research.	SELMAS (LNCS)	2005	DBLP DOI BibTeX RDF
18	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella	Widening Operators for Weakly-Relational Numeric Abstractions.	SAS	2005	DBLP DOI BibTeX RDF
18	Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph	Abstractions Preserving Parameter Confidentiality.	ESORICS	2005	DBLP DOI BibTeX RDF
18	Dennis Dams, Kedar S. Namjoshi	Automata as Abstractions.	VMCAI	2005	DBLP DOI BibTeX RDF
18	Sebastian Pop, Albert Cohen 0001, Georges-André Silber	Induction Variable Analysis with Delayed Abstractions.	HiPEAC	2005	DBLP DOI BibTeX RDF
18	Yong Wang, Margaret Martonosi, Li-Shiuan Peh	MARio: mobility-adaptive routing using route lifetime abstractions in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
18	Matt Welsh	Exposing resource tradeoffs in region-based communication abstractions for sensor networks.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
18	Antónia Lopes, José Luiz Fiadeiro	Algebraic Semantics of Design Abstractions for Context-Awareness.	WADT	2004	DBLP DOI BibTeX RDF
18	Tao Xie 0001, David Notkin	Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.	ICFEM	2004	DBLP DOI BibTeX RDF
18	Jaco van de Pol, Miguel Valero Espada	Modal Abstractions in µCRL.	AMAST	2004	DBLP DOI BibTeX RDF
18	George Chin Jr., Eric G. Stephan, Deborah K. Gracio	Computing through scientific abstractions in SysBioPSE.	SMC (1)	2004	DBLP DOI BibTeX RDF
18	Swarup Kumar Sahoo, Gagan Agrawal	Supporting XML Based High-Level Abstractions on HDF5 Datasets: A Case Study in Automatic Data Virtualization.	LCPC	2004	DBLP DOI BibTeX RDF
18	Daniel Cutting, Adam Hudson, Aaron J. Quigley	Middies: Passive Middleware Abstractions for Pervasive Computing Environments.	ICPS	2004	DBLP DOI BibTeX RDF
18	Özgür Simsek, Andrew G. Barto	Using relative novelty to identify useful temporal abstractions in reinforcement learning.	ICML	2004	DBLP DOI BibTeX RDF
18	Xenofon D. Koutsoukos, Panos J. Antsaklis	Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions.	Discret. Event Dyn. Syst.	2003	DBLP DOI BibTeX RDF
18	Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda	Verification of Timed Circuits with Failure Directed Abstractions.	ICCD	2003	DBLP DOI BibTeX RDF
18	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
18	Jongho Nang, Jinguk Jeong, Myung-hwan Ha, Byunghee Jung, Kyeongsoo Kim	An Authoring Tool Generating Various Video Abstractions Semi-automatically.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
18	Ilya Levner, Vadim Bulitko, Omid Madani, Russell Greiner	Performance of Lookahead Control Policies in the Face of Abstractions and Approximations.	SARA	2002	DBLP DOI BibTeX RDF
18	Paulo Tabuada, George J. Pappas	Hybrid Abstractions that Preserve Timed Languages.	HSCC	2001	DBLP DOI BibTeX RDF
18	Franco Zambonelli	Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations.	AOSE	2001	DBLP DOI BibTeX RDF
18	Seungjoon Park, Satyaki Das, David L. Dill	Automatic checking of aggregation abstractions through stateenumeration.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
18	Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge	Organizational Abstractions for the Analysis and Design of Multi-agent Systems.	AOSE	2000	DBLP DOI BibTeX RDF
18	Gordon S. Novak Jr.	Interactions of Abstractions in Programming.	SARA	2000	DBLP DOI BibTeX RDF
18	Assia Doudou, Rachid Guerraoui, Benoît Garbinato	Abstractions for Devising Byzantine-Resilient State Machine Replication.	SRDS	2000	DBLP DOI BibTeX RDF
18	Riccardo Bellazzi, Cristiana Larizza, Paolo Magni, Stefania Montani, Giuseppe De Nicolao	Intelligent Analysis of Clinical Time Series by Combining Structural Filtering and Temporal Abstractions.	AIMDM	1999	DBLP DOI BibTeX RDF
18	Branimir Boguraev, Rachel K. E. Bellamy, Christopher Kennedy	Dynamic Visual Metaphors for News Story Abstractions.	HICSS	1999	DBLP DOI BibTeX RDF
18	Dinos Moundanos, Jacob A. Abraham	Formal Checking of Properties in Complex Systems Using Abstractions.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
18	Peter J. McCann, Gruia-Catalin Roman	Compositional Programming Abstractions for Mobile Computing.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Mobile UNITY, transient interactions, mobile computing, Formal methods, synchronization, weak consistency, shared variables
18	Saddek Bensalem, Yassine Lakhnech, Sam Owre	Computing Abstractions of Infinite State Systems Compositionally and Automatically.	CAV	1998	DBLP DOI BibTeX RDF
18	Jiri Baum, Ann E. Nicholson	Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains.	PRICAI	1998	DBLP DOI BibTeX RDF
18	Atef Bader, Tzilla Elrad	The Adaptive Arena: Language Constructs and Architectural Abstractions for Concurrent Object-Oriented Systems.	ICPADS	1998	DBLP DOI BibTeX RDF
18	Antonio Corradi, Marco Cremonini, Cesare Stefanelli	Melding Abstractions with Mobile Agents.	CIA	1998	DBLP DOI BibTeX RDF
18	Juan Echagüe, Joan Vila i Carbó, Alfons Crespo	Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks.	ICECCS	1996	DBLP DOI BibTeX RDF
18	Sudhir Aggarwal, Inje Kim, Weiyi Meng	Database Exploration with Dynamic Abstractions.	DEXA	1994	DBLP DOI BibTeX RDF	structural flexibility, database exploration, abstract view, user-interface, database systems, meta data, data abstraction
18	Ajit Narayanan, Lama Hashem	Finite-state abstractions on Arabic morphology.	Artif. Intell. Rev.	1993	DBLP DOI BibTeX RDF	finite-state morphology, two-level morphology, Arabic morphology, finite-state transition networks
18	Dennis Gannon, Jenq Kuen Lee, Srinivas Narayana	On Using Object-Oriented Parallel Programming to Build Distributed Algebraic Abstractions.	CONPAR	1992	DBLP DOI BibTeX RDF
18	Rodger Lea, Christian Jacquemot	The COOL architecture and abstractions for object-oriented distributed operating systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
18	Chris D. Marlin, Michael Oudshoorn, Dennis Freidel	A Model of Communication in Ada using Shared Data Abstractions.	ICCI	1990	DBLP DOI BibTeX RDF
18	Antonio Corradi, Letizia Leonardi	The role of opaque types to build abstractions.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Modula-2
18	Simon M. Kaplan, Gail E. Kaiser	Garp: Graph Abstractions for Concurrent Programming.	ESOP	1988	DBLP DOI BibTeX RDF	distributed system, parallel processing, concurrency, message passing, abstraction, actors, graph grammar, object-oriented system
18	John Miles Smith, Diane C. P. Smith	Database Abstractions: Aggregation and Generalization.	ACM Trans. Database Syst.	1977	DBLP DOI BibTeX RDF	knowledge representation, relational database, generalization, aggregation, data model, database design, integrity constraints, data type, data abstraction
17	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
17	Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley	A concurrent dynamic analysis framework for multicore hardware.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, dynamic analysis, multicore, instrumentation
17	Pham Quang Dung, Yves Deville, Pascal Van Hentenryck	LS(graph & tree): a local search framework for constraint optimization on graphs and trees.	SAC	2009	DBLP DOI BibTeX RDF	KCT, constrained tree problems, graph theory, local search, constraint optimization
17	Sean Reilly	Multi-Event Handlers for Sensor-Driven Ubiquitous Computing Applications.	PerCom	2009	DBLP DOI BibTeX RDF
17	Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan	Semantics-aware trace analysis.	PLDI	2009	DBLP DOI BibTeX RDF	semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
17	Hui Wu, Jeffrey G. Gray, Marjan Mernik	Unit Testing for Domain-Specific Languages.	DSL	2009	DBLP DOI BibTeX RDF	Domain-specific languages, unit testing, tool generation
17	Alex Spokoiny, Yuval Shahar	Incremental application of knowledge to continuously arriving time-oriented data.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Incremental temporal abstraction, Continuous monitoring, Complex events monitoring, Situation recognition, Temporal reasoning