Search results for "abstractions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Prince Kohli, Mustaque Ahamad, Karsten Schwan	Indigo: User-Level Support for Building Distributed Shared Abstractions. (PDF / PS)	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
3	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
3	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
3	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
3	José Antonio Álvarez, Javier Roca Piera	Tomographic Image Reconstruction Using Abstractions.	EUROCAST	2009	DBLP DOI BibTeX RDF	High Level Parallel Constructions, Concurrence, Object Orientation, Abstractions, Threads
3	José Antonio Álvarez, Javier Roca Piera	High Level Abstractions for Improving Parallel Image Reconstruction Algorithms.	IWANN	2009	DBLP DOI BibTeX RDF	High Level Parallel Constructions, Concurrence, Object Orientation, Abstractions, Threads
3	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
3	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
3	Milind Kulkarni, 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
3	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
3	Rebecca Wirfs-Brock	Looking for Powerful Abstractions.	IEEE Software	2006	DBLP DOI BibTeX RDF	abstractions
3	Xinyu Feng, 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
3	Paulo Tabuada, George J. Pappas, Pedro U. Lima	Compositional Abstractions of Hybrid Control Systems.	Discrete Event Dynamic Systems	2004	DBLP DOI BibTeX RDF	abstractions, hybrid systems, compositionality
3	Andreas Ulbrich, Gero Mühl, Torben Weis, Kurt Geihs	Programming Abstractions for Content-Based Publish/Subscribe in Object-Oriented Languages.	CoopIS/DOA/ODBASE	2004	DBLP DOI BibTeX RDF	middleware, programming abstractions, composite events, content-based publish/subscribe
3	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
3	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
3	Michael Gagliardi, Ragunathan Rajkumar, Lui Sha	Designing for evolvability: building blocks for evolvable real-time systems. (PDF / PS)	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
3	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
3	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
2	Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay	Automatic numeric abstractions for heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	abstraction, program verification, termination, shape analysis, separation logic
2	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
2	Lode Hoste	Software engineering abstractions for the multi-touch revolution.	ICSE	2010	DBLP DOI BibTeX RDF
2	Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew	Optimistic parallelism requires abstractions.	Commun. ACM	2009	DBLP DOI BibTeX RDF
2	Nick Rutar, Jeffrey K. Hollingsworth	Assigning Blame: Mapping Performance to High Level Parallel Programming Abstractions.	Euro-Par	2009	DBLP DOI BibTeX RDF
2	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
2	Angelo Brillout, Daniel Kroening, Thomas Wahl	Mixed abstractions for floating-point arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
2	Christian Meschke	Robust Elements in Rough Set Abstractions.	ICFCA	2009	DBLP DOI BibTeX RDF
2	Kenneth L. McMillan, Lenore D. Zuck	Abstract Counterexamples for Non-disjunctive Abstractions.	RP	2009	DBLP DOI BibTeX RDF
2	Michael Huth, Nir Piterman, Daniel Wagner	Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.	FCT	2009	DBLP DOI BibTeX RDF
2	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
2	Jonas Schrieb, Heike Wehrheim, Daniel Wonisch	Three-Valued Spotlight Abstractions.	FM	2009	DBLP DOI BibTeX RDF
2	Joxan Jaffar, Andrew E. Santosa	Recursive Abstractions for Parameterized Systems.	FM	2009	DBLP DOI BibTeX RDF
2	Yuichi Tazaki, Jun-ichi Imura	Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.	HSCC	2009	DBLP DOI BibTeX RDF
2	Gunther Reißig	Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems.	HSCC	2009	DBLP DOI BibTeX RDF
2	Paolo Salvaneschi	Functional abstractions for testing repository-style information systems.	ICSE Companion	2009	DBLP DOI BibTeX RDF
2	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
2	Christos Kloukinas	Better abstractions for reusable components & architectures.	ICSE Companion	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	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
2	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
2	David L. Andrews, Ron Sass, Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp	Achieving Programming Model Abstractions for Reconfigurable Computing.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
2	Ashish Tiwari	Abstractions for hybrid systems.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Hybrid systems, Predicate abstraction, Qualitative simulation
2	Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan	Least Upper Bounds for Probability Measures and Their Applications to Abstractions.	CONCUR	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	Shantenu Jha, Daniel S. Katz, Manish Parashar, Omer Rana, Murray Cole	Abstractions for Distributed Systems (DPA 2008).	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
2	José C. Cunha, Carmen Morgado, Jorge F. Custódio	Group Abstractions for Organizing Dynamic Distributed Systems.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
2	Sebastien Fontaine, Luc Filion, Guy Bois	Exploring ISS Abstractions for Embedded Software Design.	DSD	2008	DBLP DOI BibTeX RDF
2	Sumit Kumar Jha, 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
2	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
2	Kalapriya Kannan, Biplav Srivastava	Promoting Reuse via Extraction of Domain Concepts and Service Abstractions from Design Diagrams.	IEEE SCC	2008	DBLP DOI BibTeX RDF	service extraction, design diagrams, Service identification
2	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
2	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
2	Christoph Sprenger, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
2	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Tian He	The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks.	IPSN	2008	DBLP DOI BibTeX RDF	LiteOS, wireless sensor networks, operating system
2	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
2	Yuichi Tazaki, Jun-ichi Imura	Bisimilar Finite Abstractions of Interconnected Systems.	HSCC	2008	DBLP DOI BibTeX RDF
2	Kerstin Bauer, Raffaella Gentilini, Klaus Schneider	A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
2	Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson	Modal Abstractions of Concurrent Behaviour.	SAS	2008	DBLP DOI BibTeX RDF
2	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
2	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Inf.	2007	DBLP DOI BibTeX RDF
2	Francisco J. Ballesteros, Enrique Soriano, Gorka Guardiola Muzquiz, Katia Leal Algara	Plan B: Using Files instead of Middleware Abstractions.	IEEE Pervasive Computing	2007	DBLP DOI BibTeX RDF	distributed systems, adaptability, pervasive computing, operating systems, file systems
2	Edward B. Allen, Sampath Gottipati, Rajiv Govindarajan	Measuring size, complexity, and coupling of hypergraph abstractions of software: An information-theory approach.	Software Quality Journal	2007	DBLP DOI BibTeX RDF	Properties of metrics, C++ case studies, Complexity, Entropy, Software metrics, Information theory, Coupling, Size, Measurement theory, Excess entropy
2	Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter	Translation Validation of System Abstractions.	RV	2007	DBLP DOI BibTeX RDF
2	Raffaella Gentilini, Klaus Schneider, B. Mishra	Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.	LFCS	2007	DBLP DOI BibTeX RDF
2	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
2	Vijay D'Silva, Sampada Sonalkar, S. Ramesh	Existential abstractions for distributed reactive systems via syntactic transformations.	EMSOFT	2007	DBLP DOI BibTeX RDF
2	Stefano Ceri, Marco Brambilla, Emanuele Della Valle	Design Abstractions for Innovative Web Applications: The Case of the SOA Augmented with Semantics.	ESWC	2007	DBLP DOI BibTeX RDF
2	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
2	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
2	Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert 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
2	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
2	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
2	C. Maria Keet	Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions.	AI*IA	2007	DBLP DOI BibTeX RDF
2	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
2	Matthias Finke, Michael Blackstock, Rodger Lea	Deployment Experience Toward Core Abstractions for Context Aware Applications.	EuroSSC	2007	DBLP DOI BibTeX RDF
2	Antoine Girard	Approximately Bisimilar Finite Abstractions of Stable Linear Systems.	HSCC	2007	DBLP DOI BibTeX RDF
2	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
2	Krisztián Flautner	Blurring the Layers of Abstractions: Time to Take a Step Back?	IOLTS	2007	DBLP DOI BibTeX RDF
2	Harald Fecher, Michael Huth	More Precise Partition Abstractions.	VMCAI	2007	DBLP DOI BibTeX RDF
2	Christophe Jelger, Christian F. Tschudin, Stefan Schmid, Guy Leduc	Basic Abstractions for an Autonomic Network Architecture.	WOWMOM	2007	DBLP DOI BibTeX RDF
2	Alberto E. Schaeffer Filho, Emil Lupu	Abstractions to Support Interactions Between Self-Managed Cells.	AIMS	2007	DBLP DOI BibTeX RDF
2	Rebecca Wirfs-Brock	Designing Extensible Classes.	IEEE Software	2007	DBLP DOI BibTeX RDF	abstractions, class, subclass
2	Sumanth Kaditham, Alwyn R. Pais	Model Based Tracking.	ICIC	2007	DBLP DOI BibTeX RDF	Motion Detection And Tracking, Classifying Activity, Graph Based Abstractions and Skeleton Representation
2	Ashley T. McNeile, Nicholas Simons	Protocol modelling: A modelling approach that supports reusable behavioural abstractions.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	Protocols, Reuse, State machines, Executable modelling, Mixins, Behavioural modelling
2	Tao Xie, David Notkin	Tool-assisted unit-test generation and selection based on operational abstractions.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF
2	Ferucio Laurentiu Tiplea, Constantin Enea	Abstractions of data types.	Acta Inf.	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Data type, Universal algebra
2	Federico Pecora, Riccardo Rasconi, Gabriella Cortellessa, Amedeo Cesta	User-oriented problem abstractions in scheduling.	ISSE	2006	DBLP DOI BibTeX RDF	Domain elicitation, Scheduling Tool customization, Reuse, Fast prototyping
2	Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda	Verification of timed circuits with failure-directed abstractions.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Markus Lumpe, Jean-Guy Schneider	Classboxes: an experiment in modeling compositional abstractions using explicit contexts.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
2	Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek	Lower and upper bounds in zone-based abstractions of timed automata.	STTT	2006	DBLP DOI BibTeX RDF	Verification, Abstraction, Timed automata, Extrapolation
2	Burak Emir, Sebastian Maneth, Martin Odersky	Scalable Programming Abstractions for XML Services.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
2	Daniel J. Quinlan, Markus Schordan, Richard W. Vuduc, Qing Yi	Annotating user-defined abstractions for optimization.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Laxmikant V. Kalé	New parallel programming abstractions and the role of compilers.	IPDPS	2006	DBLP DOI BibTeX RDF
2	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
2	Miguel Valero Espada, Jaco van de Pol	Accelerated Modal Abstractions of Labelled Transition Systems.	AMAST	2006	DBLP DOI BibTeX RDF
2	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
2	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