Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Ole Blaurock	A SystemC-Based Modular Design and Verification Framework for C-Model Reuse in a HW/SW-Co-Design Flow.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
11	Songtao Xia, James Hook	Certifying Temporal Properties for Compiled C Programs.	VMCAI	2004	DBLP DOI BibTeX RDF
11	Nobuyuki Ohba, Kohji Takano	An SoC design methodology using FPGAs and embedded microprocessors.	DAC	2004	DBLP DOI BibTeX RDF	mixed-level verification, SoC, ASIC, FPGA prototyping
11	Lukai Cai, Andreas Gerstlauer, Daniel Gajski	Retargetable profiling for rapid, early system-level design space exploration.	DAC	2004	DBLP DOI BibTeX RDF	profiling, exploration, system level design, retargetable
11	Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdhane	Extending the transaction level modeling approach for fast communication architecture exploration.	DAC	2004	DBLP DOI BibTeX RDF	bus cycle accurate modeling, communication architecture exploration, shared bus architectures, transaction level modeling, AMBA
11	Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas	Formal Verification of a Complex Pipelined Processor.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	completion functions, formal verification, PVS, processor verification
11	Chris Stolte, Diane Tang, Pat Hanrahan	Multiscale Visualization Using Data Cubes.	IEEE Trans. Vis. Comput. Graph.	2003	DBLP DOI BibTeX RDF	Multiscale visualization, graphic formalism, database visualization
11	Rohit Jindal, Kshitiz Jain	Verification of Transaction-Level SystemC models using RTL Testbenches.	MEMOCODE	2003	DBLP DOI BibTeX RDF
11	Jorge Arturo Cobb, Mohamed G. Gouda, Ravi Musunuri	A Stabilizing Solution to the Stable Path Problem.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
11	Armin Wellig, Julien Zory	Framed Complexity Analysis in SystemC for Multi-level Design Space Exploration.	DSD	2003	DBLP DOI BibTeX RDF
11	Cynthia Gibas, David Sturgill, Jennifer W. Weller	GenoMosaic: On-Demand Multiple Genome Comparison and Comparative Annotatio.	BIBE	2003	DBLP DOI BibTeX RDF
11	Patrick Cousot	Verification by Abstract Interpretation.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
11	Warren Cheung, William S. Evans, Jeremy Moses	Predicated Instructions for Code Compaction.	SCOPES	2003	DBLP DOI BibTeX RDF
11	David M. Nicol, Jason Liu 0001, Michael Liljenstam, Guanhua Yan	Simulation of large scale networks I: simulation of large-scale networks using SSF.	WSC	2003	DBLP DOI BibTeX RDF
11	Tsuyoshi Hisamatsu, Akimichi Ogawa, Osamu Nakamura, Jun Murai, Kazunori Sugiura	Software compatibility and human interface for DV over IP.	SAINT Workshops	2003	DBLP DOI BibTeX RDF
11	Stephen McCamant, Michael D. Ernst	Predicting problems caused by component upgrades.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	software components, software upgrades, specification matching
11	Patrice Godefroid	Reasoning about Abstract Open Systems with Generalized Module Checking.	EMSOFT	2003	DBLP DOI BibTeX RDF
11	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Synchronous Closing and Flow Analysis for Model Checking Timed Systems.	FMCO	2003	DBLP DOI BibTeX RDF
11	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
11	Andreas Rossberg	Generativity and dynamic opacity for abstract types.	PPDP	2003	DBLP DOI BibTeX RDF	generativity, encapsulation, opacity, dynamic typing, abstract types, existential types
11	Flavio Paiva Junqueira, Keith Marzullo	Synchronous Consensus for Dependent Process Failure.	ICDCS	2003	DBLP DOI BibTeX RDF	Correlated failures, Fault tolerance, Distributed algorithms, Consensus, Synchronous systems
11	Paul Couderc, Michel Banâtre	Ambient computing applications: an experience with the SPREAD approach.	HICSS	2003	DBLP DOI BibTeX RDF
11	James Gibbons	Abstracting Constraints Using Constraints.	CP	2003	DBLP DOI BibTeX RDF
11	Hai Zhuge, Yunchuan Sun, Weiyu Guo	Theory and Algorithm for Rule Base Refinement.	IEA/AIE	2003	DBLP DOI BibTeX RDF
11	Yves Mathys, André Chátelain	Verification strategy for integration 3G baseband SoC.	DAC	2003	DBLP DOI BibTeX RDF	3G baseband, verification, architecture, SoC
11	Ali Reza Ejlali, Seyed Ghassem Miremadi	Switch-level emulation.	DAC	2003	DBLP DOI BibTeX RDF	FPGA chips, gate-level models, emulation, switch-level models
11	Svend Frølund, Rachid Guerraoui	e-Transactions: End-to-End Reliability for Three-Tier Architectures.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	end-to-end reliability, exactly-once, three-tier applications, fault-tolerance, transactions
11	Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan	Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking.	CAV	2002	DBLP DOI BibTeX RDF
11	Frank Höppner	Handling Feature Ambiguity in Knowledge Discovery from Time Series.	Discovery Science	2002	DBLP DOI BibTeX RDF
11	Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph	Authenticity and Provability - A Formal Framework.	InfraSec	2002	DBLP DOI BibTeX RDF
11	Sagar Chaki, Sriram K. Rajamani, Jakob Rehof	Types as models: model checking message-passing programs.	POPL	2002	DBLP DOI BibTeX RDF
11	Jens H. Jahnke, Hausi A. Müller, Andrew Walenstein, Nikolai Mansurov, Kenny Wong	Fused Data-Centric Visualizations for Software Evolution Environments.	IWPC	2002	DBLP DOI BibTeX RDF
11	Ashraf Saad, A. R. M. Zaghloul	A Constructivist Knowledge Base Architecture for Adaptive Intelligent Tutoring Systems.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
11	Seon Wook Kim, Michael Voss, Bob Kuhn, Hans-Christian Hoppe, Wolfgang E. Nagel	VGV: Supporting Performance Analysis of Object-Oriented Mixed MPI/OpenMP Parallel Applications.	IPDPS	2002	DBLP DOI BibTeX RDF
11	Chris Stolte, Diane Tang, Pat Hanrahan	Multiscale Visualization Using Data Cubes "InfoVis 2002 Best Paper".	INFOVIS	2002	DBLP DOI BibTeX RDF
11	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.	PPDP	2002	DBLP DOI BibTeX RDF	ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing
11	Sébastien Baehni, Patrick Th. Eugster, Rachid Guerraoui	OS Support for P2P Programming: a Case for TPS.	ICDCS	2002	DBLP DOI BibTeX RDF
11	Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney	The Möbius State-Level Abstract Functional Interface.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
11	Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad	Open protocol design for complex interactions in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML
11	Steve Talbott	Beyond the Algorithmic Mind.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
11	Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi	Constructing Appropriate Data Abstractions for Mining Classification Knowledge.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Joseph A. Turner, Joseph L. Zachary	Javiva: a tool for visualizing and validating student-written Java programs.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java
11	Sungjoo Yoo, Gabriela Nicolescu, Damien Lyonnard, Amer Baghdadi, Ahmed Amine Jerraya	A generic wrapper architecture for multi-processor SoC cosimulation and design.	CODES	2001	DBLP DOI BibTeX RDF
11	Trishul M. Chilimbi	Efficient Representations and Abstractions for Quantifying and Exploiting Data Reference Locality.	PLDI	2001	DBLP DOI BibTeX RDF
11	Y.-M. Deng, Shu Beng Tor, G. A. Britton	Abstracting and Exploring Functional Design Information for Conceptual Mechanical Product Design.	Eng. Comput.	2000	DBLP DOI BibTeX RDF	Input-output flow-of-action, Mechanical product design, Design information, Functional design
11	Anthony C. J. Fox, Neal A. Harman	Algebraic Models of Correctness for Microprocessors.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Formal Verification, Microprocessors, Algebraic Models
11	Bruce Edmonds	The Use of Models - Making MABS More Informative.	MABS	2000	DBLP DOI BibTeX RDF
11	Marc S. Atkin, Paul R. Cohen	Using simulation and critical points to define states in continuous search spaces.	WSC	2000	DBLP DOI BibTeX RDF
11	Michael D. Jones, Ganesh Gopalakrishnan	Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods.	FMCAD	2000	DBLP DOI BibTeX RDF
11	Richard Mitchell	Analysis by Contract: UML with Attitude!	TOOLS (29)	1999	DBLP DOI BibTeX RDF
11	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
11	Dick A. C. Quartel, Marten van Sinderen, Luís Ferreira Pires	Service Creation: A Model-Based Approach.	FTDCS	1999	DBLP DOI BibTeX RDF	behavior refinement, conformance assessment, software components, behavior modeling, service creation
11	Luciano Lavagno	System-Level Design Models and Implementation Techniques.	ACSD	1998	DBLP DOI BibTeX RDF	finite state machines, formal models, system-level design, co-simulation, co-synthesis
11	Bruce Lowekamp, Nancy Miller, Dean Sutherland, Thomas R. Gross, Peter Steenkiste, Jaspal Subhlok	A Resource Query Interface for Network-Aware Applications.	HPDC	1998	DBLP DOI BibTeX RDF	system-aware, Distributed computing, QOS, network computing, adaptive computing, network-aware
11	Abelardo Pardo, Gary D. Hachtel	Incremental CTL Model Checking Using BDD Subsetting.	DAC	1998	DBLP DOI BibTeX RDF	transceiver, spread spectrum communication, RF CMOS, digital radio, ISM frequency band
11	David B. Stewart, Richard Volpe, Pradeep K. Khosla	Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	object-based design, port-automaton theory, software architecture, robotics, Dynamic reconfiguration, real-time operating system, evolutionary design, component-based design, reusable software, digital control systems
11	Nevin Heintze, David A. McAllester	On the Complexity of Set-Based Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
11	Andry Rakotonirainy, Andrew Berry 0001, Stephen Crawley, Zoran Milosevic	Describing Open Distributed Systems: A Foundation.	HICSS (1)	1997	DBLP DOI BibTeX RDF
11	Yuval Shahar	Knowledge-Based Temporal Interpolation.	TIME	1997	DBLP DOI BibTeX RDF	Temporal Interpolation, Temporal ontologies, Knowledge bases, Temporal databases, Temporal reasoning
11	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
11	Heung Seok Chae, Yong Rae Kwon	Assessing and Restructuring of Classes Based on Cohesion.	APSEC	1996	DBLP DOI BibTeX RDF
11	M. F. Mar, Robert W. Brodersen	A design system for on-chip oversampling A/D interfaces.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
11	John B. Carter, John K. Bennett, Willy Zwaenepoel	Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	cache consistency protocols, distributed shared memory, memory models, virtual shared memory, release consistency
11	Wolfgang Meyer 0002, Raul Camposano	Active timing multilevel fault-simulation with switch-level accuracy.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
11	Philippe Rigaux, Michel Scholl	Multi-Scale Partitions: Application to Spatial and Statistical Databases.	SSD	1995	DBLP DOI BibTeX RDF
11	Michael K. Reiter, Kenneth P. Birman, Robbert van Renesse	A Security Architecture for Fault-Toerant Systems.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF	multicast, key distribution, process groups
11	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
11	François Erasmy, Emil Sekerinski	Stepwise Refinement of Control Software - A Case Study Using RAISE.	FME	1994	DBLP DOI BibTeX RDF
11	Michael Siegel, Frank A. Stomp	Extending the Limits of Sequentially Phased Reasoning.	FSTTCS	1994	DBLP DOI BibTeX RDF
11	Alan Mycroft	Completeness and predicate-based abstract interpretation.	PEPM	1993	DBLP DOI BibTeX RDF
11	Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin, Orli Waarts	Time-Lapse Snapshots.	ISTCS	1992	DBLP DOI BibTeX RDF
11	Dexter P. Bradshaw, R. L. Sunday, Per-Åke Larson	Transaction management in Hermes.	CASCON	1991	DBLP BibTeX RDF	distributed transaction management, optimistic recovery, process model, distributed applications, Hermes
11	Narayan C. Debnath	A Study of Control Flow and Data Dependency Interface (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
11	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
11	Chris Tomlinson, Won Kim 0001, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha	Rosette: An object-oriented concurrent systems architecture.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
11	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
11	Reino Kurki-Suonio	Towards Programming with Knowledge Expressions.	POPL	1986	DBLP DOI BibTeX RDF
11	Robert D. Sansom, Daniel P. Julin, Richard F. Rashid	Extending a capability based system into a network environment.	SIGCOMM	1986	DBLP DOI BibTeX RDF
11	David R. Cheriton, Willy Zwaenepoel	Distributed Process Groups in the V Kernel	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF
11	George J. Milne	Circal and the Representation of Communication, Concurrency, and Time.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	CIRCAL
11	Antonio Albano, Luca Cardelli, Renzo Orsini	Galileo: A Strongly-Typed, Interactive Conceptual Language.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF	GALILEO
11	Cyrus Bamji, Charles E. Hauck, Jonathan Allen	A design by example regular structure generator.	DAC	1985	DBLP DOI BibTeX RDF
11	Daniel Leivant	Polymorphic Type Inference.	POPL	1983	DBLP DOI BibTeX RDF
11	Robert Paige	Transformational Programming - Applications to Algorithms and Systems.	POPL	1983	DBLP DOI BibTeX RDF
11	Taisuke Sato, Hisao Tamaki	Enumeration of Success Patterns in Logic Programs.	ICALP	1983	DBLP DOI BibTeX RDF
11	Sten Andler	Predicate Path Expressions.	POPL	1979	DBLP DOI BibTeX RDF
10	Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson	Controlling Modelling Artifacts.	QEST	2011	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Abstraction, Performance Modelling, Model Validation
10	Michael J. A. Smith	Compositional Abstractions for Long-Run Properties of Stochastic Systems.	QEST	2011	DBLP DOI BibTeX RDF	Stochastic Bounds, Compositional Abstraction, Performance Evaluation, Stochastic Process Algebra
10	Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely	Local Memory via Layout Randomization.	CSF	2011	DBLP DOI BibTeX RDF	memory layout randomization, deterministic allocation, probability, control, full abstraction, higher-order
10	Xabier Iturbe, Khaled Benkrid, Tughrul Arslan, Raul Torrego, Imanol Martinez	Methods and Mechanisms for Hardware Multitasking: Executing and Synchronizing Fully Relocatable Hardware Tasks in Xilinx FPGAs.	FPL	2011	DBLP DOI BibTeX RDF	Hardware Abstraction, Inter-task Communication and Syncronization, Reconfigurable Computing, Reconfigurable Hardware
10	Yijing Liu, Ali Hong, Zongyan Qiu	Inheritance and Modularity in Specification and Verification of OO Programs.	TASE	2011	DBLP DOI BibTeX RDF	Verification, Object Orientation, Specification, Abstraction, Modularity, Separation Logic
10	Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons, SaiDeep Tetali, Aditya V. Thakur	Proofs from Tests.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Software model checking, abstraction refinement, directed testing
10	Richard Mordinyi, Eva Kühn, Alexander Schatten	Towards an Architectural Framework for Agile Software Development.	ECBS	2010	DBLP DOI BibTeX RDF	Agile Business Requirements, Abstraction, Agile Software Development, Architectural Styles, Decoupling
10	Yunja Choi, Hoon Jang	Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software.	HASE	2010	DBLP DOI BibTeX RDF	Reverse-engineering, component, abstraction
10	Zhiyu Wang, Mario A. Nascimento, Mike H. MacGregor	A Multidisciplinary Approach for Online Detection of X86 Malicious Executables.	CNSR	2010	DBLP DOI BibTeX RDF	online detection, X86 code abstraction, network security, pattern matching
10	Stefan Sobernig	Feature interaction networks.	SAC	2010	DBLP DOI BibTeX RDF	abstraction mismatch, network analysis, feature interaction, feature location, feature-oriented software development
10	Elina Parviainen, Aki Vehtari	Explaining Classification by Finding Response-Related Subgroups in Data.	SNPD	2010	DBLP DOI BibTeX RDF	supervised clustering, MLP classifier, subgroup rules, data abstraction
10	Carlos Monsalve, Alain April, Alain Abran	Representing Unique Stakeholder Perspectives in BPM Notations.	SERA	2010	DBLP DOI BibTeX RDF	representational analysis, business process modeling, software requirements, system requirements, levels of abstraction
10	Amirreza Tahamtan, Johann Eder	Privacy Preservation Through Process Views.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Privacy, Abstraction, Aggregation, Correctness, Process Views
10	Joel Brynielsson, Johanna Högberg, Lisa Kaati, Christian Mårtenson, Pontus Svenson	Detecting Social Positions Using Simulation.	ASONAM	2010	DBLP DOI BibTeX RDF	simulation, abstraction, Social network analysis