Search results for "design representation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Peter Grün, Petru Eles, Krzysztof Kuchcinski, Zebo Peng	Automatic Parallelization of a Petri Net-Based Design Representation for High-Level Synthesis.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Petri net-based design representation, internal design representation, hardware structures, conflict freeness, hierarchical Petri net structure, CAMAD, complexity, parallelization process, Petri nets, high-level synthesis, automatic parallelization, design environment, safeness
3	Mikael R. K. Patel	A design representation for high level synthesis.	EURO-DAC	1990	DBLP DOI BibTeX RDF	Data Structures, High Level Synthesis, Design Automation, Design Representation
2	Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner	MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation.	MOMPES	2009	DBLP DOI BibTeX RDF
2	Barbara Strug	Using Graph Mining Methods in Searching for Frequent Patterns in Graph-Based Design Representation.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
2	Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A. Lee	Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.	ICATPN	2004	DBLP DOI BibTeX RDF
2	Wander O. Cesário, Gabriela Nicolescu, Lovic Gauthier, Damien Lyonnard, Ahmed Amine Jerraya	Colif: a Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
2	Apostolos A. Kountouris, Christophe Wolinski	Hierarchical Conditional Dependency Graphs as a Unifying Design Representation in the CODESIS High-Level Synthesis System.	ISSS	2000	DBLP DOI BibTeX RDF
2	Herman Schmit, Donald E. Thomas	Array mapping in behavioral synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	array grouping, array mapping, memory components, memory design space, schedule length, scheduling, data structures, memory architecture, hardware description languages, binding, behavioral synthesis, access times, design representation, hardware synthesis, synthesis tool
2	P. Kollaritsch, S. Lusky, D. Matzke, D. Smith, P. Stanford	A Unified Design Representation Can Work.	DAC	1989	DBLP DOI BibTeX RDF
2	Robert A. Walker, Donald E. Thomas	A model of design representation and synthesis.	DAC	1985	DBLP DOI BibTeX RDF
2	Paul J. Drongowski	Design representation in CAD tools (session overview).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
1	D. Scott McCrickard, Michael E. Atwood, Gayle Curtis, Steve Harrison, Jon Kolko, Erik Stolterman, Shahtab Wahid	Artifacts in design: representation, ideation, and process.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	process, representation, ideation, design artifact
1	Eoin Woods, Nick Rozanski	Unifying software architecture with its implementation.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	software architecture, source code, design representation
1	Athulan Vijayaraghavan, David Dornfeld	Subdivision surfaces for procedural design of imprint rolls.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	procedural design, roller imprinting, subdivision surfaces, finite element analysis
1	Erin J. Hastings, Ratan K. Guha, Kenneth O. Stanley	NEAT Particles: Design, Representation, and Animation of Particle System Effects.	CIG	2007	DBLP DOI BibTeX RDF
1	Azahar T. Machwe, Ian C. Parmee	Towards an Interactive, Generative Design System: Integrating a 'Build and Evolve' Approach with Machine Learning for Complex Freeform Design.	EvoWorkshops	2007	DBLP DOI BibTeX RDF	User-centered Evolutionary Design, Machine Learning, Agency, Design Representation
1	Isabella A. da Silva, Ping Chen, Christopher van der Westhuizen, Roger M. Ripley, André van der Hoek	Lighthouse: coordination through emerging design.	ETX	2006	DBLP DOI BibTeX RDF	emerging design, design, reverse-engineering, coordination, awareness, abstraction
1	Thomas Riisgaard Hansen	Strings of experiments: looking at the design process as a set of socio-technical experiments.	PDC	2006	DBLP DOI BibTeX RDF	boundary zones, socio-technical experiments, translating socio-technical network, participatory design, multidisciplinary collaboration
1	Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng	Dual Flow Nets: Modeling the control/data-flow relation in embedded systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	Dual flow nets, tripartite graph, modeling, embedded systems, Petri nets, formal verification, symbolic model checking, CTL, LTL
1	Umesh Bellur, V. Vallieswaran	A Versioning Scheme for Consistent Evolution of OO Applications.	APSEC	2006	DBLP DOI BibTeX RDF
1	Umesh Bellur, V. Vallieswaran	On OO Design Consistency in Iterative Development.	ITNG	2006	DBLP DOI BibTeX RDF
1	Yu-Shen Yang, Andreas G. Veneris, Paul J. Thadikaran, Srikanth Venkataraman	Extraction error modeling and automated model debugging in high-performance custom designs.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
1	Lionel C. Briand	Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations.	Empirical Software Engineering Issues	2006	DBLP DOI BibTeX RDF
1	Apostolos Antonacopoulos, Dimosthenis Karatzas, David Bridson	Ground Truth for Layout Analysis Performance Evaluation.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
1	Claus Pahl	Ontology-Based Composition and Transformation for Model-Driven Service Architecture.	ECMDA-FA	2006	DBLP DOI BibTeX RDF	Service Process Composition, Web Services, Service-oriented Architecture, Model-Driven Architecture, Service Ontology
1	Susan Keller, Ross Smith, Steve Howard, Jennie Carroll	Altered Images: the relations between design representation and design practice.	Australasian J. of Inf. Systems	2005	DBLP BibTeX RDF
1	Jeff Tyree, Art Akerman	Architecture Decisions: Demystifying Architecture.	IEEE Software	2005	DBLP DOI BibTeX RDF	design notations and documentation, software engineering design tools and techniques, software architectures, design methodologies, design representation, design concepts
1	Veda C. Storey	Comparing Relationships in Conceptual Modeling: Mapping to Semantic Classifications.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	logical design data models, logical design schema and subschema, design methodologies, Design representation, design concepts
1	Rafal Kicinger, Tomasz Arciszewski, Kenneth A. De Jong	Parameterized versus generative representations in structural design: an empirical comparison.	GECCO	2005	DBLP DOI BibTeX RDF	generative representations, evolutionary computation, cellular automata, structural design, design representations
1	Thi Nguyen, Kaijian Shi	Virtual Hierarchical Design Representations for Distributed Optimization of Multi-Million Gate Designs.	ASAP	2005	DBLP DOI BibTeX RDF
1	Bryan Horling, Victor R. Lesser	Using ODML to Model Multi-Agent Organizations.	IAT	2005	DBLP DOI BibTeX RDF
1	Spencer Rugaber, Kurt Stirewalt	Model-Driven Reverse Engineering.	IEEE Software	2004	DBLP DOI BibTeX RDF	models, reverse engineering, algebraic specifications, domain engineering, design representation
1	Paul Damian Wells	A universal intermediate representation for massively parallel software development.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Device Oriented Programming (DOP), relational algebra, intermediate representation
1	Bryan Horling, Victor R. Lesser	Quantitative Organizational Models for Large-Scale Agent Systems.	MMAS	2004	DBLP DOI BibTeX RDF
1	Jian Pei, Guozhu Dong, Wei Zou, Jiawei Han	Mining Condensed Frequent-Pattern Bases.	Knowl. Inf. Syst.	2004	DBLP DOI BibTeX RDF	Approximation, Compression, Frequent patterns, Frequent-pattern mining
1	Apostolos A. Kountouris, Christophe Wolinski	Efficient scheduling of conditional behaviors for high-level synthesis.	ACM Trans. Design Autom. Electr. Syst.	2002	DBLP DOI BibTeX RDF	conditional behavior, scheduling, high level synthesis (HLS), Design automation
1	Jian Pei, Guozhu Dong, Wei Zou, Jiawei Han	On Computing Condensed Frequent Pattern Bases.	ICDM	2002	DBLP DOI BibTeX RDF
1	Christian Geiger, Volker Paelke, Christian Reimann, Waldemar Rosenbach, Jörg Stöcklein	Testable Design Representations for Mobile Augmented Reality Authoring. (PDF / PS)	ISMAR	2002	DBLP DOI BibTeX RDF	Authoring Augmented Realities, Prototyping
1	Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState-an internal design representation for codesign.	IEEE Trans. VLSI Syst.	2001	DBLP DOI BibTeX RDF
1	Christian Stary	User diversity and design representation: Towards increased effectiveness in Design for All.	Universal Access in the Information Society	2001	DBLP DOI BibTeX RDF	User diversity, Individualisation, Symbolic/subsymbolic (knowledge) representation, Modality switching, Context-driven development, Adaptation, User modelling, System modelling, Domain modelling, Model-based design, Design for All
1	Wander O. Cesário, Gabriela Nicolescu, Lovic Gauthier, Damien Lyonnard, Ahmed Amine Jerraya	Colif: A Design Representation for Application-Specific Multiprocessor SOCs.	IEEE Design & Test of Computers	2001	DBLP DOI BibTeX RDF
1	Paloma Díaz, Ignacio Aedo, Fivos Panetsos	Modeling the Dynamic Behavior of Hypermedia Applications.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	space-based relations, Labyrinth, security, multimedia, synchronization, Hypermedia, events, formal model, design representation, interactive behavior
1	Sherman Y. T. Lang, John Dickinson, Ralph Buchal	An Overview of Cognitive Factors in Distributed Design.	CSCWD	2001	DBLP DOI BibTeX RDF
1	Andreas Kuehlmann, Jason Baumgartner	Transformation-Based Verification Using Generalized Retiming.	CAV	2001	DBLP DOI BibTeX RDF
1	Apostolos A. Kountouris, Christophe Wolinski	Efficient Scheduling of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs in the CODESIS System.	EUROMICRO	2000	DBLP DOI BibTeX RDF
1	Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState - an internal design representation for codesign.	ICCAD	1999	DBLP BibTeX RDF
1	Axel Jantsch, Shashi Kumar, Ahmed Hemani	The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic Systems.	DATE	1999	DBLP DOI BibTeX RDF
1	Tamal Mukherjee, Gary K. Fedder, R. D. (Shawn) Blanton	Hierarchical Design and Test of Integrated Microsystems.	IEEE Design & Test of Computers	1999	DBLP DOI BibTeX RDF
1	Walling R. Cyre	Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	knowledge representation, knowledge acquisition, Design automation, nonmonotonic reasoning, design representation, consistency analysis
1	Alessandro Balboni, William Fornaciari, Donatella Sciuto	Partitioning and Exploration Strategies in the TOSCA Co-Design Flow.	CODES	1996	DBLP DOI BibTeX RDF
1	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
1	Kassem Saleh, M. Ilangovan, Robert L. Probert	Recovery of Communications Protocol Design from Run Time Protocol Traces.	ICECCS	1996	DBLP DOI BibTeX RDF
1	John M. Carroll	Making Use a Design Representation.	Commun. ACM	1994	DBLP DOI BibTeX RDF
1	Piyawadee Noi Sukaviriya, Srdjan Kovacevic, James D. Foley, Brad A. Myers, Dan R. Olsen, Matthias Schneider-Hufschmidt	Model-Based User Interfaces: What are They and Why Should we Care?	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	user interface, design representation, model-based user interface, application modeling, design specification
1	Petru Eles, Zebo Peng, Alexa Doboli	VHDL system-level specification and partitioning in a hardware/software co-synthesis environment.	CODES	1994	DBLP DOI BibTeX RDF
1	Zebo Peng, Krzysztof Kuchcinski	Automated transformation of algorithms into register-transfer level implementations.	IEEE Trans. on CAD of Integrated Circuits and Systems	1994	DBLP DOI BibTeX RDF
1	Mats Larsson	An Engineering Approach to Formal Digital System Design.	TPHOLs	1994	DBLP DOI BibTeX RDF
1	Ping Luo, Pedro A. Szekely, Robert Neches	Management of interface design in humanoid.	INTERCHI	1993	DBLP DOI BibTeX RDF	development tools and methods, interface design representation, interface-building tools and techniques, rapid prototyping, design processes
1	Pedro A. Szekely, Ping Luo, Robert Neches	Facilitating the exploration of interface design alternatives: the HUMANOID model of interface design.	CHI	1992	DBLP DOI BibTeX RDF	development tools and methods, dialogue specification, interface design representation, rapid prototyping, design processes, user interface management systems
1	Ahmed E. Barbour	Test patterns for fault-tolerant logic circuits using block design concepts.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	System and Gate level, Testing and Testability, Redundancy, Fault-Tolerant Design, Block Design
1	Jonas Löwgren, Tommy Nordqvist	Knowledge-Based Evaluation as Design Support for Graphical User Interfaces.	CHI	1992	DBLP DOI BibTeX RDF	guidelines, user interface evaluation, design support, style guides
1	Mehdi T. Harandi, Hing-Yan Lee	A Support Envimnment for Knowledge-Based Software Design.	SEKE	1992	DBLP DOI BibTeX RDF
1	Per Andersson	Design representation in Movie.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
1	Anthony I. Wasserman, Peter A. Pircher, Robert Muller	The Object-Oriented Structured Design Notation for Software Design Representation.	IEEE Computer	1990	DBLP DOI BibTeX RDF
1	Raul Camposano	From Behavior to Structure: High-Level Synthesis.	IEEE Design & Test of Computers	1990	DBLP DOI BibTeX RDF
1	Walling R. Cyre	Toward Synthesis from English Descriptions.	DAC	1989	DBLP DOI BibTeX RDF
1	K. D. Baker, L. J. Ball, P. F. Culverhouse, Dennis J. Evans, A. P. Jagodzinski	A process oriented approach to an intelligent design aid.	IEA/AIE	1989	DBLP DOI BibTeX RDF
1	Per Andersson, Lars H. Philipson	Movie-an interactive environment for silicon compilation tools.	IEEE Trans. on CAD of Integrated Circuits and Systems	1989	DBLP DOI BibTeX RDF
1	Wendelin Feiten, H. Hofestädt	Embedding Test Pattern Generation into Design.	EUROCAST	1989	DBLP DOI BibTeX RDF
1	W. P. Yin, Murat M. Tanik, David Y. Y. Yun	Software design representation: design object descriptive attribute notation (DODAN).	ICCL	1988	DBLP DOI BibTeX RDF
1	Stephen S. Yau, Wonmo Hong	Verification of Concurrent Control Flow in Distributed Computer Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software design representation, fault-tolerance, Context-free grammar, control flow checking, distributed software
1	Vijay Varadharajan, K. D. Baker	Net-Based System Design Representation and Analysis.	Comput. Syst. Sci. Eng.	1987	DBLP BibTeX RDF
1	Zebo Peng	Synthesis of VLSI systems with the CAMAD design aid.	DAC	1986	DBLP DOI BibTeX RDF
1	David E. Wallace, Carlo H. Séquin	Plug-in timing models for an abstract timing verifier.	DAC	1986	DBLP DOI BibTeX RDF
1	Neil Bergmann	Generalised CMOS-a technology independent CMOS IC design style.	DAC	1985	DBLP DOI BibTeX RDF
1	Robert L. Blackburn, Donald E. Thomas	Linking the behavioral and structural dominis of representation in a synthesis system.	DAC	1985	DBLP DOI BibTeX RDF
1	John J. Granacki, David Knapp, Alice C. Parker	The ADAM advanced design automation system: overview, planner and natural language interface.	DAC	1985	DBLP DOI BibTeX RDF
1	Stephen S. Yau, Mehmet Ufuk Çaglayan	Distributed Software System Design Representation Using Modified Petri Nets.	IEEE Trans. Software Eng.	1983	DBLP DOI BibTeX RDF
1	P. M. Lu, Stephen S. Yau, Wonmo Hong	A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation.	Inf. Sci.	1983	DBLP DOI BibTeX RDF
1	Donald E. Thomas, John A. Nestor	Defining and Implementing a Multilevel Design Representation with Simulation Applications.	IEEE Trans. on CAD of Integrated Circuits and Systems	1983	DBLP DOI BibTeX RDF
1	John A. Nestor, Donald E. Thomas	Defining and implementing a multilevel design representation with simulation applications.	DAC	1982	DBLP DOI BibTeX RDF
1	Yuzo Yamamoto, Richard V. Morris, Christopher Hartsough, E. David Callender	The role of requirements analysis in the system life cycle.	AFIPS National Computer Conference	1982	DBLP DOI BibTeX RDF
1	Leon J. Mekly, Stephen S. Yau	Software Design Representation Using Abstract Process Networks.	IEEE Trans. Software Eng.	1980	DBLP DOI BibTeX RDF
1	Anthony I. Wasserman	The design of PLAIN: support for systematic programming.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
1	Peter Freeman	Software Design Representation: Analysis and Improvement.	Softw., Pract. Exper.	1978	DBLP DOI BibTeX RDF
1	Peter Freeman	Software Design Representation: A Case Study.	Softw., Pract. Exper.	1978	DBLP DOI BibTeX RDF