Search results for "design environment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Werner A. König, Roman Rädle, Harald Reiterer	Squidy: a zoomable design environment for natural user interfaces.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	squidy, multimodal interaction, zoomable user interface, design environment, natural user interface
3	Nigel Stanger, Richard Pascoe	Exploiting the advantages of object oriented programming in the implementation of a database design environment.	APSEC	1997	DBLP DOI BibTeX RDF	database design environment, Swift, data modelling approach, viewpoint-oriented methods, application code, Java, object-oriented programming, object oriented programming, client-server system, PostgreSQL, impedance mismatch
2	Jan Meskens, Kris Luyten, Karin Coninx	Jelly: a multi-device design environment for managing consistency across devices.	AVI	2010	DBLP DOI BibTeX RDF	multi-platform GUI design, design tools, GUI builder
2	Douglas Densmore, Anne Van Devender, Matthew Johnson, Nade Sritanyaratana	A platform-based design environment for synthetic biological systems.	Richard Tapia Celebration of Diversity in Computing Conference	2009	DBLP DOI BibTeX RDF	platform-based design, synthetic biology
2	M. Ihsan Ecemis, J. Wikel, C. Bingham, Eric Bonabeau	A Drug Candidate Design Environment Using Evolutionary Computation.	IEEE Trans. Evolutionary Computation	2008	DBLP DOI BibTeX RDF
2	Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel Gajski	An Interactive Design Environment for C-Based High-Level Synthesis of RTL Processors.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
2	Flávio Rech Wagner, Wander O. Cesário, Ahmed Amine Jerraya	Hardware/software IP integration using the ROSES design environment.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	IP integration, Systems-on-chip
2	Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou	Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
2	Min Li, Shuming Gao, Jerry Y. H. Fuh, Yunfeng Zhang	A Fine Granular Concurrency Control Mechanism for a Peer-to-Peer Cooperative Design Environment.	CSCWD	2007	DBLP DOI BibTeX RDF
2	Xiangzhong Feng	Construction of Collaborative Design Environment Based on Multi-Agent.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Takahiro Uchiya, Takahide Maemura, Xiaolu Li, Tetsuo Kinoshita	Design and Implementation of Interactive Design Environment of Agent System.	IEA/AIE	2007	DBLP DOI BibTeX RDF	agent design method, repository-based agent framework
2	Juha Kela, Panu Korpipää, Jani Mäntyjärvi, Sanna Kallio, Giuseppe Savino, Luca Jozzo, Sergio Di Marca	Accelerometer-based gesture control for a design environment.	Personal and Ubiquitous Computing	2006	DBLP DOI BibTeX RDF	Mobile device, Gesture recognition, Multimodal interaction, Accelerometer, Gesture control
2	Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid	Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
2	Georgios Bardis, Georgios Miaoulis, Dimitri Plemenos	Design and Configuration of a Machine Learning Component for User Profiling in a Declarative Design Environment.	KES	2006	DBLP DOI BibTeX RDF	Machine Learning, Decision Support, Image Synthesis, Declarative Modelling
2	Sanggyu Park, Sang-yong Yoon, Soo-Ik Chae	Reusable component IP design using refinement-based design environment.	ASP-DAC	2006	DBLP DOI BibTeX RDF
2	Wuzheng Tan, Lizhuang Ma, Jun Li, Zuxiu Xiao	Application MDA in a Conception Design Environment.	IMSCCS	2006	DBLP DOI BibTeX RDF
2	Masahiro Fujita, Tasuku Nishihara, Daisuke Ando	System LSI distributed collaborative design environment for both designers and CAD developers/engineers.	C5	2006	DBLP DOI BibTeX RDF
2	Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou	Smart bit-width allocation for low power optimization in a systemc based ASIC design environment.	DATE	2006	DBLP DOI BibTeX RDF
2	Wuzheng Tan, Lizhuang Ma, Zhihong Mao, Zhong Li	A Collaborative Design Environment.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Vijayan Sugumaran, Veda C. Storey	The role of domain ontologies in database design: An ontology management and conceptual modeling environment.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	ontology management and database design environment, Ontology, conceptual modeling, database design, integrity constraints, entity-relationship modeling
2	Carlos Eduardo Caminha Lopes Rodrigues, Bernardo Lula Jr., Pablo Ribeiro Suárez	Using a script model to preserve the consistency within an UI design environment.	TAMODIA	2005	DBLP DOI BibTeX RDF	maintenance of the consistency, model transformation, task-based design
2	Nacer-Eddine Zergainoh, Katalin Popovici, Ahmed Amine Jerraya, Pascal Urard	IP-block-based design environment for high-throughput VLSI dedicated digital signal processing systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
2	Zhihui Xiong, Sikun Li, Jihua Chen, Maojun Zhang	Hardware/Software Co-design Environment for Hierarchical Platform-Based Design.	CSCWD (Selected papers)	2004	DBLP DOI BibTeX RDF
2	Nobuyoshi Yabuki, Jun Kotani, Tomoaki Shitani	A Cooperative Design Environment Using Multi-Agents and Virtual Reality.	CDVE	2004	DBLP DOI BibTeX RDF
2	Tobias Oppold, Thomas Schweizer, Tommy Kuhn, Wolfgang Rosenstiel	A Design Environment for Processor-Like Reconfigurable Hardware.	PARELEC	2004	DBLP DOI BibTeX RDF
2	Stephan Stilkerich, Joachim K. Anlauf	High-level design environment for massive parallel VLSI-implementations of statistical signal- and image processing models.	ISCAS	2004	DBLP DOI BibTeX RDF
2	Kuo-Cheng Wu, Terrence Fernando, Hissam Tawfik	FreeSculptor: A Computer-Aided Freeform Design Environment.	GMAG	2003	DBLP DOI BibTeX RDF	Computer-aided design environment, freeform sketching, deformable modelling
2	Jingyi Zhang, Shen-sheng Zhang, Chun Chen, Bo Wang 0008	Semantic Interoperability Based on Ontology Mapping in Distributed Collaborative Design Environment.	AWIC	2003	DBLP DOI BibTeX RDF	heterogeneous application, ontology, interoperability, collaborative design, information exchange
2	Omid Banyasad, Philip T. Cox	Solving Design Problems in a Logic-Based Visual Design Environment.	HCC	2002	DBLP DOI BibTeX RDF
2	Franz-Josef Rammig	Synthesis Aspects of the PARADISE Design Environment.	WORDS	2002	DBLP DOI BibTeX RDF
2	Brad L. Hutchings, Brent E. Nelson	Unifying simulation and execution in a design environment for FPGA systems.	IEEE Trans. VLSI Syst.	2001	DBLP DOI BibTeX RDF
2	A. Al-Khudair, W. A. Gray, John C. Miles	Object-Oriented Versioning in a Concurrent Engineering Design Environment.	BNCOD	2001	DBLP DOI BibTeX RDF
2	Di Wu, Radha Sarma	Dynamic segmentation and incremental editing of boundary representations in a collaborative design environment.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF
2	Praveen K. Murthy, Etan G. Cohen, Steve Rowland	System canvas: a new design environment for embedded DSP and telecommunication systems.	CODES	2001	DBLP DOI BibTeX RDF
2	Sachio Hayashi, Masaaki Yamada	EMI-noise analysis under ASIC design environment.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
2	Jari A. Lehto, Pentti Marttiin	Lessons Learnt in the Use of a Collaborative Design Environment. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
2	T. Vinod Kumar Gupta, Purvesh Sharma, M. Balakrishnan, Sharad Malik	Processor Evaluation in an Embedded Systems Design Environment.	VLSI Design	2000	DBLP DOI BibTeX RDF	ASAP scheduler, Architecture constrained scheduler, ASIP, Processor architecture, Real-time constraints, Application profiling
2	Makiko Itoh, Shigeaki Higaki, Yoshinori Takeuchi, Akira Kitajima, Masaharu Imai, Jun Sato, Akichika Shiomi	PEAS-III: An ASIP Design Environment. (PDF / PS)	ICCD	2000	DBLP DOI BibTeX RDF
2	Chenglei Yang, Xiangxu Meng, Bin Gong, Changhe Tu, Zheny Teng	The Design and Application of Agent on Pattern Cooperative Design Environment. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	pattern cooperative design environment, pattern design, advanced agents, Pattern Data Management System, cooperative environment, cooperative mechanism, pattern data access, cooperating design services, pattern designers, Netscape, CSCW, IE, CAD, Web browsers, Web technology, working environment, concurrent design, design cycle
2	Yanhong Yuan, Prithviraj Banerjee	ICE: Incremental 3-Dimensional Capacitance and Resistance Extraction for an Iterative Design Environment.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
2	Y.-M. Deng, S. B. Tor, G. A. Britton	A computerized design environment for functional modeling of mechanical products.	Symposium on Solid Modeling and Applications	1999	DBLP DOI BibTeX RDF	behavioral scenario, conceptual design techniques, design environment, functional modeling
2	Oskar Mencer, Marco Platzner	Dynamic Circuit Generation for Boolean Satisfiability in an Object-Oriented Design Environment. (PDF / PS)	HICSS	1999	DBLP DOI BibTeX RDF
2	Martin Schönhoff, Markus Strässler	Global Version Management for a Federated Turbine Design Environment.	NGITS	1999	DBLP DOI BibTeX RDF
2	Radim Cmar, Luc Rijnders, Patrick Schaumont, Serge Vernalde, Ivo Bolsens	A Methodology and Design Environment for DSP ASIC Fixed-Point Refinement.	DATE	1999	DBLP DOI BibTeX RDF
2	Sankar Jayaram, Yong Wang, Uma Jayaram, Kevin W. Lyons, Peter Hart	A Virtual Assembly Design Environment. (PDF / PS)	VR	1999	DBLP DOI BibTeX RDF
2	Robert M. McGraw, James H. Aylor, Robert H. Klenke	A Top-Down Design Environment for Developing Pipelined Datapaths.	DAC	1998	DBLP DOI BibTeX RDF	reconstruction, emulation, visibility, functional simulation
2	Kazushige Higuchi, Kazuhiro Shirakawa	Innovative System-level Design Environment Based on FORM for Transport Processing System.	DATE	1998	DBLP DOI BibTeX RDF	Transport processing system, RTL generation, Specification editor, Formal specification, System design, System level simulation
2	Bruce R. Childers, Jack W. Davidson	A Design Environment for Counterflow Pipeline Synthesis.	LCTES	1998	DBLP DOI BibTeX RDF
2	Robert H. Klenke, Moshe Meyassed, James H. Aylor, Barry W. Johnson, Ramesh Rao, Anup Ghosh	An Integrated Design Environment for Performance and Dependability Analysis.	DAC	1997	DBLP DOI BibTeX RDF
2	Stefan Pees, Martin Vaupel, Vojin Zivojnovic, Heinrich Meyr	On core and more: a design perspective for systems-on-a-chip.	ASAP	1997	DBLP DOI BibTeX RDF	design perspective, highly competitive telecommunications market, system level performance evaluation, computational complexity, system design, systems-on-a-chip, intellectual property, design environment, HW/SW co-design, fast simulation
2	José T. de Sousa, Fernando M. Gonçalves, João Paulo Teixeira, Cristoforo Marzocca, Francesco Corsi, Thomas W. Williams	Defect level evaluation in an IC design environment.	IEEE Trans. on CAD of Integrated Circuits and Systems	1996	DBLP DOI BibTeX RDF
2	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
2	Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda	Scan insertion criteria for low design impact.	VTS	1996	DBLP DOI BibTeX RDF	scan insertion criteria, design impact, flip-flop ordering, capacitance constraints, layout information, Italtel Design Environment, logic testing, integrated circuit testing, sequential circuits, automatic testing, application specific integrated circuits, logic CAD, flip-flops, integrated circuit design, power dissipation, partial scan, design flow, boundary scan testing, scan chain, capacitance, full scan
2	Martin Bichler, Stefan Nusser	Modular design of complex Web-applications with W3DT. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	W3DT, complex Web applications, World Wide Web Design Technique, Web-based hypermedia applications, computer based design environment, working prototype, distributed Web sites, locally distributed systems, unified organization-wide model, single-server based Web-sites, large organization-wide systems, hypermedia, collaborative design, modeling technique, modular design, graphical notation, submodels
2	Mirjam Schönfeld, Jens Franzen, Markus Schwiegershausen, Peter Pirsch, Uwe Vehlies, Andreas Münzner	The LISA design environment for the synthesis of array processors including memories for the data transfer and fault tolerance by reconfiguration and coding techniques.	VLSI Signal Processing	1995	DBLP DOI BibTeX RDF
2	C. Farnsworth, David A. Edwards, Jianwei Liu, S. S. Sikand	A hybrid asynchronous system design environment.	ASYNC	1995	DBLP DOI BibTeX RDF	hybrid asynchronous system design environment, hybrid design scheme, asynchronous circuit synthesis, Tangram silicon complier, synchronous design techniques, concurrency, high level synthesis, asynchronous circuits, power reduction, performance gains, micropipelines
2	Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu	Extending VLSI design with higher-order logic. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD
2	Karim El Guemhioui, Steven A. Demurjian, Thomas J. Peters, Heidi J. C. Ellis	Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
2	Piyawadee Noi Sukaviriya, James D. Foley, Todd Griffith	A second generation user interface design environment: the model and the runtime architecture.	INTERCHI	1993	DBLP DOI BibTeX RDF	automatic help generation, user interface design environment, user interface model, user interface generation, application model
2	Ali H. Dogru, Suzanne N. Delcambre, Coskun Bayrak, Y. T. Chen, Eric S. Chan, W. Yin, M. G. Christiansen, Murat M. Tanik	An integrated system design environment: Concepts and a status report.	Journal of Systems Integration	1992	DBLP DOI BibTeX RDF	rapid prototyping, Requirements specification, integrated environments
2	Vijay Nagasamy, Neerav Berry, Carlos Dangelo	Specification, Planning, and Synthesis in a VHDL Design Environment.	IEEE Design & Test of Computers	1992	DBLP DOI BibTeX RDF
2	Paul A. Gough, Martin K. Johnson, Philip Walker, Henk Hermans	An integrated device design environment for semiconductors.	IEEE Trans. on CAD of Integrated Circuits and Systems	1991	DBLP DOI BibTeX RDF
2	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
2	Petra Drescher, Julia Miller, Gerhard Schulz	Design management within a design environment.	EURO-DAC	1990	DBLP DOI BibTeX RDF
2	Moon-Jung Chung, Sangchul Kim	An Object-Oriented VHDL Design Environment.	DAC	1990	DBLP DOI BibTeX RDF
2	Julia Miller, K. Groning, Gerhard Schulz, C. White	The Object-Oriented Integration Methodology of the Cadlab Work Station Design Environment.	DAC	1989	DBLP DOI BibTeX RDF
2	Marianne Winslett, David W. Knapp, K. Hall, Gio Wiederhold	Use of Change Coordination in an Information-rich Design Environment.	DAC	1989	DBLP DOI BibTeX RDF
2	Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside	Software CAD: A Revolutionary Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software CAD environment, Carleton embedded system design environment, CAEDE, visual paradigm, semantic depth, syntactic shallowness, skeleton Ada code, software engineering, embedded systems, performance analysis, Ada, Ada, CAD, software tools, Prolog, programming environments, automatic programming, automatic programming, abstract machines, temporal analysis, research project, tool development
2	Tai A. Ly, Emil F. Girczyc	Constraint Propagation in an Object-Oriented IC Design Environment.	DAC	1988	DBLP BibTeX RDF
2	Emil F. Girczyc, Tai A. Ly	STEM: An IC Design Environment Based on the Smalltalk Model-View-Controller Construct.	DAC	1987	DBLP DOI BibTeX RDF
1	Thomas Haase, Manfred Nagl	Application integration within an integrated design environment.	Computers & Chemical Engineering	2011	DBLP DOI BibTeX RDF
1	Xun Li, Sang Bong Yoo	Integrity validation in semantic engineering design environment.	Computers in Industry	2011	DBLP DOI BibTeX RDF
1	Ryo Akasaka	Protoviewer: a web-based visual design environment for Protovis.	SIGGRAPH Posters	2011	DBLP DOI BibTeX RDF
1	Jan Meskens, Matthias Loskyll, Marc Seibetaler, Kris Luyten, Karin Coninx, Gerrit Meixner	GUIDE2ux: a GUI design environment for enhancing the user experience.	EICS	2011	DBLP DOI BibTeX RDF
1	Marek Tudruj, Janusz Borkowski, Lukasz Masko, Adam Smyk, Damian Kopanski, Eryk Laskowski	Program Design Environment for Multicore Processor Systems with Program Execution Controlled by Global States Monitoring.	ISPDC	2011	DBLP DOI BibTeX RDF
1	Albrecht Schmidt	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
1	Hong Liu	Context-aware agents in cooperative design environment.	IJCAT	2010	DBLP DOI BibTeX RDF
1	Shen-Fu Hsiao, Ming-Yu Tsai, Chia-Sheng Wen	Low Area/Power Synthesis Using Hybrid Pass Transistor/CMOS Logic Cells in Standard Cell-Based Design Environment.	IEEE Trans. on Circuits and Systems	2010	DBLP DOI BibTeX RDF
1	Stephan Clemens, Marcello La Rosa, Arthur H. M. ter Hofstede	The Design Environment.	Modern Business Process Automation	2010	DBLP DOI BibTeX RDF
1	Amin El Mrabti, Frédéric Rousseau, Frédéric Pétrot, Jérôme Martin, Romain Lemaire, Emmanuel Vaumorin	Design environment for the support of configurable Network Interfaces in NoC-based platforms.	ICSAMOS	2010	DBLP DOI BibTeX RDF
1	Minna Lanz, Roberto Rodriguez, Pasi Luostarinen, Reijo Tuokko	Neutral Interface for Assembly and Manufacturing Related Knowledge Exchange in Heterogeneous Design Environment.	IPAS	2010	DBLP DOI BibTeX RDF
1	Guoqiang Wang, Trung N. Tran, Hugo A. Andrade	A graphical programming and design environment for FPGA-based hardware.	FPT	2010	DBLP DOI BibTeX RDF
1	Santiago Sánchez-Solano, Ernesto del Toro, María Brox, Iluminada Baturone, Angel Barriga Barros	A design environment for synthesis of embedded fuzzy controllers on FPGAs.	FUZZ-IEEE	2010	DBLP DOI BibTeX RDF
1	Lilian Janin, Shoujie Li, Doug Edwards	Integrated Design Environment for Reconfigurable HPC.	ARC	2010	DBLP DOI BibTeX RDF
1	Yazrina Yahya, Muriati Mukhtar, Norleyza Jailani, Salha Abdullah, Zuraidah Abdullah, Abdul Razak Hamdan	A Framework for Developing a Co-design Environment for e-Business Applications.	IESS	2010	DBLP DOI BibTeX RDF
1	Jean-Bernard Martens, Frans Parthesius, Berke Atasoy	Design TeamMate: a platform to support design activities of small teams.	AVI	2010	DBLP DOI BibTeX RDF	augmented surfaces, tabletop, design environment, face-to-face collaboration
1	Mar Hershenson	Design platform for electrical and physical co-design of analog circuits.	ISPD	2010	DBLP DOI BibTeX RDF	design, analog, co-design
1	John Park	Thinking outside of the chip.	ISPD	2010	DBLP DOI BibTeX RDF	collaboration, co-design, package, ic, chip, pcb
1	Michel Metzger, Amine Anane, F. Rousseau, Julie Vachon, El Mostapha Aboulhamid	Introspection mechanisms for runtime verification in a system-level design environment.	Microelectronics Journal	2009	DBLP DOI BibTeX RDF
1	Jacques Périaux, D. S. Lee, L. F. Gonzalez, Karkenahalli Srinivas	Fast reconstruction of aerodynamic shapes using evolutionary algorithms and virtual nash strategies in a CFD design environment.	J. Computational Applied Mathematics	2009	DBLP DOI BibTeX RDF
1	Jan Meskens, Kris Luyten, Karin Coninx	Plug-and-design: embracing mobile devices as part of the design environment.	EICS	2009	DBLP DOI BibTeX RDF	mobile UI design, design tools, GUI builder
1	Pierre-André Mudry, Gianluca Tempesti	A Design Environment for Bio-Inspired Cellular Architectures.	ERSA	2009	DBLP BibTeX RDF
1	Maurizio Caramia, Stefano Di Carlo, Michele Fabiano, Paolo Prinetto	FLARE: A design environment for FLASH-based space applications.	HLDVT	2009	DBLP DOI BibTeX RDF
1	Muhammad Rashid, Bernard Pottier	Application Capturing and Performance Estimation in an Holistic Design Environment.	ECBS	2009	DBLP DOI BibTeX RDF
1	Benjamin Sprengart, Anthony Collins, Judy Kay	Curator: a design environment for curating tabletop museum experiences.	ITS	2009	DBLP DOI BibTeX RDF
1	Liang-Jie Zhang, Zhi-Hong Mao, Nianjun Zhou	Design Quality Analytics of Traceability Enablement in Service-Oriented Solution Design Environment.	ICWS	2009	DBLP DOI BibTeX RDF
1	Jakob Leitner, James Powell, Peter Brandl, Thomas Seifried, Michael Haller, Bernard Doray, Paul To	Flux: a tilting multi-touch and pen based surface.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	design room, frustrated total inner reflection, sketching, multi-touch, tabletop, pen-based interface, design environment, digital whiteboard
1	Keita Ikai, Jinmyoung Kim, Makoto Ikeda, Kunihiro Asada	Circuit design using stripe-shaped PMELA TFTs on glass.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Contradictory antecedent debugging in bounded model checking.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	formal verification, debugging, bounded model checking, psl
1	Yang Zheng, Haifeng Shen, Chengzheng Sun	Leveraging single-user AutoCAD for collaboration by transparent adaptation.	CSCWD	2009	DBLP DOI BibTeX RDF