Search results for "Automation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Jiang Hu, Zhuo Li 0001, Shiyan Hu	Buffer Insertion Basics.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Rajendran Panda, Vladimir Zolotov, Murat R. Becer	Coupling Noise.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Gabriel Robins, Alexander Zelikovsky	Minimum Steiner Tree Construction.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Puneet Gupta, Evanthia Papadopoulou	Yield Analysis and Optimization.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Andrew B. Kahng, Kambiz Samadi	CMP Fill Synthesis.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Charles J. Alpert, Dinesh P. Mehta, Sachin S. Sapatnekar	Introduction to Physical Design.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Ralph H. J. M. Otten	Layout Synthesis.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Sanghamitra Roy, Charlie Chung-Ping Chen	Wire Sizing.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Jarrod A. Roy, Igor L. Markov	Partitioning-Based Methods.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Tung-Chieh Chen, Yao-Wen Chang	Packing Floorplan Representations.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Steve Teig, Asmus Hetzel, Joseph L. Ganley, Jon Frankle, Aki Fujimura	X Architecture Place and Route.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Franklin M. Schellenberg	Modeling and Computational Lithography.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Cheng-Kok Koh, Evangeline F. Y. Young, Yao-Wen Chang	Global Interconnect Planning.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Louis K. Scheffer	Industrial Floorplanning and Prototyping.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Frank Liu 0001, Sachin S. Sapatnekar	Metrics Used in Physical Design.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Jiang Hu, Cliff C. N. Sze	Buffering in the Layout Environment.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Dinesh P. Mehta, Hai Zhou	Basic Data Structures.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Saurabh N. Adya, Xiaojian Yang	Congestion-Driven Physical Design.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Steven J. E. Wilton, Nathalie Chan King Choy, Scott Y. L. Chin, Kara K. W. Poon	Field-Programmable Gate Array Architectures.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Muhammet Mustafa Ozdal, Martin D. F. Wong	Global Routing Formulation and Maze Routing.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Susmita Sur-Kolay	Floorplanning.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Chris C. N. Chu, Min Pan	Clock Network Design.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Ulrich Brenner, Jens Vygen	Analytical Methods in Placement.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Dinesh P. Mehta, Yan Feng	Recent Advancesin Floorplanning.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Ameya R. Agnihotri, Patrick H. Madden	Legalization and Detailed Placement.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Dorothy Kucar	Partitioning and Clustering.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Kia Bazargan, Sachin S. Sapatnekar	Physical Design for Three-Dimensional Circuits.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	William Swartz	Placement Using Simulated Annealing.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	David Z. Pan, Bill Halpin, Haoxing Ren	Timing-Driven Placement.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Chris C. N. Chu, Min Pan	Practical Issues in Clock Network Design.	Handbook of Algorithms for Physical Design Automation	2008	DBLP DOI BibTeX RDF
23	Yuri I. Shokin, O. I. Potaturkin (eds.)	Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Irina Borisova, A. Zagoruiko, Nikolay G. Zagoruiko	Natural Classification and Systematisation Methods.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Grace W. Rumantir	Frameworks for Program Decomposition in Cognitive Complexity Measurements.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Hong Xiao, Di Wu, Ling Zhang	Software Component and Prediction for Network Processor based Application.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	G. M. Emelyanov, N. A. Stepanova	Semantic Relation Modeling using Formal Concept Analysis in Russian Lexical Databases.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Victor G. Khoroshevsky, Sergey N. Mamoilenko, Yury S. Maidanov, Maxim S. Sedelnikov	Space-distributed Multicluster Computer System with Multiprogramme Regimes Supporting.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Tauqeer Hussain, Shafay Shamail, Mian M. Awais	On Measuring Structural Complexity of a Conceptual Model.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	A. V. Veselov, A. V. Shalaginov	Knowledge Test System "Neuron-2".	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	V. I. Dvortsov, S. A. Ivanovsky	Effective, Computational Stability Parallel Algorithm for Construction of a Pseudo-Triangulation of a Simple Polygon.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	T. Bönisch, Nina Yu. Shokina	Parallelization of a 3D Fluid Flow Simulation Code using Software Engineering Principles.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Victor Okol'nishnikov, Sergey Rudometov	Simulation of Complex Transportation Systems.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Mohamad Kassab, Constantinos Constantinides, Olga Ormandjieva	Specifying and Separating Concerns from Requirements to Design: A Case Study.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Mubarak Sami, Olga Ormandjieva, Vangalur S. Alagar	A Visualization Tool for Reactive Systems Simulation.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Sergei V. Butakov, Denis V. Rubtsov	Unsupervised Neural Networks Helpt to Develop Ontologies.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Andreas S. Andreou, D. Panayidou, Panayiotis Andreou, Andreas Pitsillides	Preserving Quality in the Development of Mobile Commerce Services and Applications.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Richard A. Pyne, Sophia McNamarah, Natasha Crooks, Kevon Green, Sanique Hall, Sabrina Johnson, Debbie-Ann Neil	Heterogeneous Software Repository: MPR a Text-based Model.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Serge P. Kovalyov, Elena A. Ozhiganova	Formal Modeling of Software Quality with xNoFun Language.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	V. G. Promyslov, Elena Ph. Jharko, O. A. Promyslova	Maintenance and Modification of Complex Software Systems within an Advance Practice.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Evgeny V. Rusin	Design and Application of the Library PLVIP for Parallel Image Processing.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Sergei I. Vyatkin, Boris S. Dolgovesov	A 3D Texture-based Recursive Multi-Level Ray Casting Algorithm.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	V. Barakhnin, O. Klimenko	Systematization and the Search of Mathematical Web-Resources.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Yoshinobu Tamura, Shigeru Yamada, Mitsuhiro Kimura	Reliability Assessment Method based on Logarithmic Poisson Execution Time Model for Open Source Project.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	M. Couzinier, Louis Féraud	Formal Verification of Dynamic UML Diagrams using TLA+.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Rohollah Alesheykh, Ahmad Abdollahzadeh Barfroush	Evaluation and Comparison of Rule Scheduling Approaches in Active Database Systems.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Boris S. Dolgovesov, M. Y. Shevtsov	Real-Time Volume Rendering Systems.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Jin-Cherng Lin, Yun-Liang Huang, Cheng-Hsiung Liu	Testability Analysis for Polymorphism.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	Yuri Leonidovich Ershov, V. Filippov, O. Klimenko, O. Trofimov	Mathtree - Tree Catalog of Mathematical Resources in the Internet.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	A. V. Chernov, Marina A. Chicheva, M. V. Gashnikov, Nicolay I. Glumov, Evgeny V. Myasnikov, Vladislav V. Sergeyev	Software System for Development of Algorithms for Digital Images Processing and Analysis.	Automation, Control, and Information Technology	2005	DBLP BibTeX RDF
23	William M. van Cleemput, John C. Foster, Donald C. S. Allison (eds.)	Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Robert I. Gardner	State of the implementation of SARA.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	John Grason	Design aids and hardware testing of microprocessor system circuit packs.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	W. Werner, W. Minnick	User requirements for digital design verification simulators.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	William T. Overman, Gerald Estrin	Developing a SARA building block - the 8080.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Bernard J. Carey, George F. MacLachlan	Automated design based upon Microprogrammable Bit Slice Microprocessors.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Will Sherwood	Simulation hierarchy for microprocessor design.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Charles W. Rose	N.mPc: An adaptable software system to support the development of microprocessor-based systems.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Lawrence A. O'Neill	Computer aids for the design of manufacturable microcomputer-based systems.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Todd J. Wagner	Verification of hardware designs thru symbolic manipulation.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	B. A. Prasad	Modelling techniques for dynamic logic and test pattern generation of a microprocessor.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Robert I. Gardner	Multi-level modeling in SARA.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	John Teets, Charles W. Rose, Edward J. McCluskey	Panel Discussions.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Will Sherwood	PLATO - PLA Translator/Optimizer - "a ROM is a PLA in no uncertain terms.".	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Rami R. Razouk, Gerald Estrin	The graph model of behavior simulator.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Ivan M. Campos, Gerald Estrin	Specialization of SARA for software synthesis.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Gerald Estrin	Modeling for synthesis - the gap between intent and behavior.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Will Sherwood	Some applications of the Stanford University Drawing System for LSI microprocessor - "a picture is worth a thousand bytes.".	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Hoo-Min D. Toong	Automatic design of multiprocessor microprocessor systems.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Paul J. Drongowski	Capability requirements in a multimicro processor, hardware/software simulation environment.	Design Automation and Microprocessors	1977	DBLP BibTeX RDF
23	Raphael Romeikat, Bernhard Bauer, Tobias Bandh, Georg Carle, Henning Sanneck, Lars-Christoph Schmelz	Policy-driven workflows for mobile network management automation.	IWCMC	2010	DBLP DOI BibTeX RDF	management automation, workflow, policy, LTE
23	Marc D. Riedel, Soha Hassoun, Ron Weiss, Pamela Silver, J. Christopher Anderson, Richard M. Murray	Joint DAC/IWBDA special session engineering biology: fundamentals and applications.	DAC	2010	DBLP DOI BibTeX RDF	bio-design automation, biological circuits, cellular programming, robustness, control, feedback, computational biology, system biology, modular designs, synthetic biology
23	Eunha Kim, Jongchae Na, Seokmoon Ryoo	Developing a Test Automation Framework for Agile Development and Testing.	XP	2009	DBLP DOI BibTeX RDF	Test Automation Framework, Agile Testing, STAX, Automated Testing, Fit, STAF, Continuous Integration, FitNesse
23	Wei Liang 0001, Xiaoling Zhang 0004, Miao Yang, Peng Zeng 0001, Jinchao Xiao, Haibin Yu	WIA-PA network and its interconnection with legacy process automation system.	SenSys	2009	DBLP DOI BibTeX RDF	WIA-PA, process automation
23	Stefano Marzani, Francesco Tesauri, Luca Minin, Roberto Montanari 0003, Caterina Calefato	Designing a Control and Visualization System for Off-Highway Machinery According to the Adaptive Automation Paradigm.	HCI (16)	2009	DBLP DOI BibTeX RDF	Function Allocation, Hierarchical Task Analysis, Off-Highway Vehicles, Overun, Rollover, Runover, Tractors, Safety, Collision, Human-Machine Interaction, Adaptive Automation
23	Ningxu Cai, Robert W. Brennan	Distributed Sensing and Control Architecture for Automotive Factory Automation.	HoloMAS	2009	DBLP DOI BibTeX RDF	IEC 61499, wireless sensor networks, industrial automation
23	Paula Montoto, Alberto Pan, Juan Raposo, Fernando Bellas, Javier López 0002	Web Navigation Sequences Automation in Modern Websites.	DEXA	2009	DBLP DOI BibTeX RDF	web integration, Web automation, web wrappers
23	Jessie Y. C. Chen	Concurrent performance of military tasks and robotics tasks: effects of automation unreliability and individual differences.	HRI	2009	DBLP DOI BibTeX RDF	imperfect automation, simulation, human robot interaction, tactile display, individual differences, military, cueing, reconnaissance
23	Eva Kühn, Richard Mordinyi, László Keszthelyi, Christian Schreiber	Introducing the concept of customizable structured spaces for agent coordination in the production automation domain.	AAMAS (1)	2009	DBLP BibTeX RDF	production automation, multi-agent systems, coordination, Linda, tuple spaces, coordination pattern
23	Debarshi Raha, Mohan Jadhav	Automation Method for Testing XML/DB/XML Layers.	ICST	2008	DBLP DOI BibTeX RDF	XSD, Data Binding Technology, EPCIS, XML, RFID, schema, automation testing, XML-Database
23	Stefan Knauth, Rolf Kistler, Daniel Käslin, Alexander Klapproth	SARBAU - Towards Highly Self-Configuring IP-Fieldbus Based Building Automation Networks.	AINA	2008	DBLP DOI BibTeX RDF	Plug&Play, UPnP, Fieldbus, Building Automation
23	Kyounghwan Lee, Youngju Kim, You Chung Chung	Design Automation of UHF RFID Tag Antenna Design Using a Genetic Algorithm Linked to MWS CST.	DELTA	2008	DBLP DOI BibTeX RDF	RFID, Design Automation, Genetic Algorithm (GA)
23	Jong Hoon Ahnn, Ken Birman, Krzysztof Ostrowski, Robbert van Renesse	Using live distributed objects for office automation: demo proposal.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	live distributed objects, distributed systems, SOA, middleware, office automation
23	Ronnie Sarkar, Murthy V. Devarakonda, Axel Tanner	Policy-Based Automation to Improve Solution Engineering in IT Services.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	solution engineering, computer-aided design, services, automation, IT outsourcing
23	José A. Gutiérrez	On the Use of IEEE Std. 802.15.4 to Enable Wireless Sensor Networks in Building Automation.	Int. J. Wirel. Inf. Networks	2007	DBLP DOI BibTeX RDF	low-rate wireless, Wireless sensor networks, ad hoc networks, IEEE 802.15.4, personal area networks, building automation
23	Thomas Aschauer, Gerd Dauenhauer, Patricia Derler, Wolfgang Pree, Christoph Steindl	Could an Agile Requirements Analysis Be Automated?-Lessons Learned from the Successful Overhauling of an Industrial Automation System.	Monterey Workshop	2007	DBLP DOI BibTeX RDF	use cases, requirements analysis, agile development, automation systems
23	Alan Hartman, Mika Katara, Amit M. Paradkar	Domain specific approaches to software test automation.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems
23	Hans Jochen Scholl, Shuhua (Monica) Liu, Raya Fidel, Kristene Unsworth	Choices and challenges in e-government field force automation projects: insights from case studies.	ICEGOV	2007	DBLP DOI BibTeX RDF	field force automation (FFA), work content, work-centered design, ubiquitous computing, workflow, pervasive computing, integration, information systems, e-government, interfacing, digital government, business process analysis, cognitive work analysis, cognitive systems engineering, mobile government, work context, fully mobile wirelessly connected (FMWC)
23	Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang	Test automation for kernel code and disk arrays with virtual devices.	ASE	2007	DBLP DOI BibTeX RDF	kernel, RAID, device driver, disk array, testing automation, NAS, virtual device
23	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Safe Delay Optimization for Physical Synthesis.	ASP-DAC	2007	DBLP DOI BibTeX RDF	safe delay optimization, SafeResynth, safe resynthesis technique, immediately-measurable delay improvement, circuit timing, route length, physical synthesis, electronic design automation, route congestion, circuit delay
23	Nigel Derrett	Is automation automatically a good thing?	Pers. Ubiquitous Comput.	2006	DBLP DOI BibTeX RDF	Agent, Speech recognition, Intelligent agent, Automation
23	Joern Ploennigs, Mario Neugebauer, Klaus Kabitzsch	Automated model generation for performance engineering of building automation networks.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Network performance engineering, Automatic model building, Traffic modeling, Building automation