Search results for "module"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Andres Herrera, Malek Adjouadi, Melvin Ayala	An Integrated Design for a Myoelectrically-Based Writing Module for a Controlled Prosthesis.	ICCHP	2006	DBLP DOI BibTeX RDF
28	Gregory A. Hall, Wenyou Tao, John C. Munson	Measurement and Validation of Module Coupling Attributes.	Softw. Qual. J.	2005	DBLP DOI BibTeX RDF	measurement domains, principal component analysis, software metrics, software design, modules, coupling, software measurement
28	Yosuke Kakiuchi, A. Kitajima, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Automatic monitor generation from regular expression based specifications for module interface verification.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
28	Patrice Godefroid	Reasoning about Abstract Open Systems with Generalized Module Checking.	EMSOFT	2003	DBLP DOI BibTeX RDF
28	Yuuji Ichisugi, Akira Tanaka	Difference-Based Modules: A Class-Independent Module Mechanism.	ECOOP	2002	DBLP DOI BibTeX RDF
28	Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti 0001, Ansuman Banerjee	Formal verification of module interfaces against real time specifications.	DAC	2002	DBLP DOI BibTeX RDF	formal verification, temporal logic
28	Wen-Jong Fang, Allen C.-H. Wu, Duan-Ping Chen	EmGen-a module generator for logic emulation applications.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
28	Orna Kupferman, Moshe Y. Vardi	Module Checking.	CAV	1996	DBLP DOI BibTeX RDF
28	Steven T. Healey, William J. Kubitz	Abstract Routing of Logic Networks for Custom Module Generation.	DAC	1987	DBLP DOI BibTeX RDF
27	Jan Madsen, Bjarne Hald	An approach to interface synthesis.	ISSS	1995	DBLP DOI BibTeX RDF	channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
27	Yabo Wang, David Lorge Parnas	Simulating the Behavior of Software Modules by Trace Rewriting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software module behavior simulation, trace rewriting, trace assertion method, module interface specification method, specification simulation tool, trace simulator, trace specifications, trace rewriting systems, trace simulation, simulation, formal specification, finite state machines, digital simulation, term rewriting, rewriting systems, finite state machine model
27	Jaushin Lee, Janak H. Patel	An architectural level test generator based on nonlinear equation solving.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	Hierarchical test generation, module diagram, nonlinear module equation, relaxation technique, symbolic simulation
27	Dima Grigoriev, Fritz Schwarz	Generalized Loewy-decomposition of d-modules.	ISSAC	2005	DBLP DOI BibTeX RDF	Janet basis, Loewy decomposition, d-module
27	Dominic Duggan	Type-Safe linking with recursive DLLs and shared libraries.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules
27	Nobuyuki Kanaya, Hirotaka Hara, Yoshihide Nomura, Hitoshi Komori, Tsuyoshi Ebata	Distributed Workflow Management System for Electronic Commerce.	EDOC	2000	DBLP DOI BibTeX RDF	distributed workflow management system, XML-based workflow systems, server communication protocol, history log management, external application calls, batch request, external-call module, retrying algorithm, external application, protocol, electronic commerce, electronic commerce, consistency, enterprises, process management, data conversion, workflow engine
27	Deepinder P. Sidhu, Juan Aristizabal	Constructing Submodule Specifications and Network Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences
27	Gregor von Bochmann	Delay-Independent Design for Distributed Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interconnected modules, module interfaces, distributed systems, protocols, protocols, synchronization, delays, distributed processing, regularity, communication delays
27	Seda Postalcioglu, Kadir Erkan	Soft computing and signal processing based active fault tolerant control for benchmark process.	Neural Comput. Appl.	2009	DBLP DOI BibTeX RDF	Fault detection and identification, Self-organizing map, Wavelet analysis, Fuzzy logic controller, Fault tolerant control
27	Wataru Takano, Yoshihiko Nakamura	Incremental learning of integrated semiotics based on linguistic and behavioral symbols.	IROS	2009	DBLP DOI BibTeX RDF
27	Yong-Duck You, Choong-Bum Park, Hoon Choi	The Lightweight Runtime Engine of the Wireless Internet Platform for Mobile Devices.	ICESS	2007	DBLP DOI BibTeX RDF
27	Hao Tian 0001, Ajay K. Katangur, Jiling Zhong, Yi Pan 0001	A Novel Multistage Network Architecture with Multicast and Broadcast Capability.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	PTP, MIN, WDM, SNR
27	Gunn-Yong Park, Seung-Ik Lee, Joong-Bae Kim	A Neuroscientific Approach to Emotion System for Intelligent Agents.	EUC	2006	DBLP DOI BibTeX RDF
27	Hariharan Sankaran, Srinivas Katkoori, Umadevi Kailasam	System Level Energy Optimization for Location Aware Computing.	PerCom	2005	DBLP DOI BibTeX RDF
27	Jung-Hyun Kim 0006, Yong-Wan Roh, Jeong-Hoon Shin, Kwang-Seok Hong	Performance Evaluation of a Hand Gesture Recognition System Using Fuzzy Algorithm and Neural Network for Post PC Platform.	WILF	2005	DBLP DOI BibTeX RDF
27	Ferruccio Damiani	Rank 2 intersection types for modules.	PPDP	2003	DBLP DOI BibTeX RDF	type inference, separate compilation, principal typings
27	Takayuki Oohira, Koichiro Yamauchi 0001, Takashi Omori	Meta-learning for Fast Incremental Learning.	ICANN	2003	DBLP DOI BibTeX RDF
27	Edward B. Allen, Taghi M. Khoshgoftaar	Measuring Coupling and Cohesion: An Information-Theory Approach.	IEEE METRICS	1999	DBLP DOI BibTeX RDF	entropy, software metrics, information theory, coupling, cohesion, call graph, excess entropy
27	José Fernando Díez Higuera, Francisco Javier Díaz Pernas	Method for Automatic Karyotyping of Human Chromosomes Based on the Visual Attention System.	IWANN (2)	1999	DBLP DOI BibTeX RDF
27	Yuji Kukimoto, Robert K. Brayton	Timing-safe false path removal for combinational modules.	ICCAD	1999	DBLP DOI BibTeX RDF
27	Naoyuki Kubota, Toshio Fukuda, Fumio Kojima	Fuzzy scheduling problem in self-organizing manufacturing system.	KES (2)	1998	DBLP DOI BibTeX RDF
27	Raghuram S. Tupuri, Jacob A. Abraham	A Novel Hierarchical Test Generation Method for Processors.	VLSI Design	1997	DBLP DOI BibTeX RDF
27	Chauchin Su, Shenshung Chiang, Shyh-Jye Jou	Impulse response fault model and fault extraction for functional level analog circuit diagnosis.	ICCAD	1995	DBLP DOI BibTeX RDF	Testing, Diagnosis, Analog Circuit
26	Gabrielle De Micheli, Daniele Micciancio, Alice Pellet-Mary, Nam Tran	Reductions from module lattices to free module lattices, and application to dequantizing module-LLL.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
26	Gabrielle De Micheli, Daniele Micciancio, Alice Pellet-Mary, Nam Tran	Reductions from Module Lattices to Free Module Lattices, and Application to Dequantizing Module-LLL.	CRYPTO (5)	2023	DBLP DOI BibTeX RDF
24	Chengyu Song, Jianwei Zhuge, Xinhui Han, Zhiyuan Ye	Preventing drive-by download via inter-module communication monitoring.	AsiaCCS	2010	DBLP DOI BibTeX RDF	inter-module communication, malicious script, intrusion detection, ActiveX, drive-by download
24	David Xinliang Li, Raksit Ashok, Robert Hundt	Lightweight feedback-directed cross-module optimization.	CGO	2010	DBLP DOI BibTeX RDF	cross-module, feedback-directed, inter-procedural, optimization
24	Hyunjin Ji, Taeyong Kim	CLURD: A New Character-Inputting System Using One 5-Way Key Module.	HCI (3)	2009	DBLP DOI BibTeX RDF	Character Input, 5-way Key Module, Mobile Device, Wearable Computer, Typing, Keyboard
24	Sungmo Jung, Seoksoo Kim	The Study of Metal Resource Management Module and Process by Analyzing Information.	MUE	2008	DBLP DOI BibTeX RDF	Metal Resource management module
24	Hidetoshi Kambe, Hiroko Nagamatsu, Hiroyasu Mitsui, Hisao Koizumi, Jun Sawamoto	A Method of Visualizing Inter-Module Relations to Support Reuse-Based Embedded Software Development.	AINA	2008	DBLP DOI BibTeX RDF	embedded software development, reuse-based development, Inter-module dependency
24	Seungho Han, Jaikyung Lee, Taehee Lee 0004, Kwangsub Jang	Parametric Study Using an Integrated Design System to Assess Fatigue Durability of Control Arms in Automobile Suspension Module.	CSCWD (Selected Papers)	2007	DBLP DOI BibTeX RDF	FE modeling support system, automobile suspension module, index of fatigue durability, integrated design system
24	Vamsi K. Srikantam, N. Ranganathan, Srikanth Srinivasan 0002	CREAM: Combined Register and Module Assignment with Floorplanning for Low Power Datapath Synthesis.	VLSI Design	2000	DBLP DOI BibTeX RDF	Register and Module Assignment Design for low power, High level synthesis, Low power design, Floorplanning
24	Prawat Nagvajara, J. Lin, P. Nilagupta, C. Wang	Multichip Module Diagnosis by Product-Code Signatures.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	Multichip Module test and diagnosis, built-in self-test, signature analysis, system diagnosis
24	T. Raju Damarla, Moon J. Chung, Wei Su, Gerald T. Michael	Faulty chip identification in a multi chip module system.	VTS	1996	DBLP DOI BibTeX RDF	faulty chip identification, multi chip module, linear space compressor, field programmable gate array, fault diagnosis, data compression, data compression, built-in self test, built-in self test, integrated circuit testing, fault detection, comparator, multichip modules
24	Larry L. Constantine	Comments on "On Criteria for Module Interfaces.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	module interfaces, practical criteria, stack interface, software engineering, user interfaces, data structures, structured programming, structured design
24	Daniel Hoffman	On Criteria for Module Interfaces.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	module interfaces, modular software development, software engineering
24	Kristjan Jonasson	Algorithm 892: DISPMODULE, a Fortran 95 module for pretty-printing matrices.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Fortran 95, array programming language, matrix pretty-printing, matrix printing, output utilities
24	Yoshihiro Nakabo, Hajime Saito, Takuya Ogure, Seonghee Jeong, Yoji Yamada	Development of a safety module for robots sharing workspace with humans.	IROS	2009	DBLP DOI BibTeX RDF
24	Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä	A Module-Based Framework for Multi-language Constraint Modeling.	LPNMR	2009	DBLP DOI BibTeX RDF
24	Hong Liu 0012, Jayathi Raghavan	A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity.	ICCS (2)	2009	DBLP DOI BibTeX RDF	Compartmental Analysis, Query-Based Modeling Process, Kolb Cognitive Complexity, Validation and Verification
24	Teerapat Chinapirom, Ulf Witkowski, Ulrich Rückert 0001	Vision Module for Mini-robots Providing Optical Flow Processing for Obstacle Avoidance.	FIRA	2009	DBLP DOI BibTeX RDF
24	Kan Takeuchi, Atsushi Yoshikawa 0003, Michio Komoda, Ken Kotani, Hiroaki Matsushita, Yusaku Katsuki, YuyoYamamoto, Takao Sato	Clock-Skew Test Module for Exploring Reliable Clock-Distribution Under Process and Global Voltage-Temperature Variations.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
24	Le Xie 0001, Marija D. Ilic	Module-Based Modeling of Cyber-Physical Power Systems.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
24	Ulrike Ranger, Katja Gruber, Marc Holze	Defining Abstract Graph Views as Module Interfaces.	AGTIVE	2007	DBLP DOI BibTeX RDF
24	Anikó Costa, Luís Gomes 0001	Module Composition within Petri Nets Model-based Development.	SIES	2007	DBLP DOI BibTeX RDF
24	Shunzo Yamashita, Takanori Shimura, Kiyoshi Aiki, Koji Ara, Yuji Ogata, Isamu Shimokawa, Takeshi Tanaka, Hiroyuki Kuriyama, Kazuyuki Shimada, Kazuo Yano	A 15 - 15 mm, 1 µA, reliable sensor-net module: enabling application-specific nodes.	IPSN	2006	DBLP DOI BibTeX RDF	15 - 15 mm, pulse sensing, standby current of 1 ?A, sensor networks, ZigBee, IEEE 802.15.4, sensor nodes, health care system
24	Tan Yan, Shigetoshi Nakatake, Takashi Nojima	Formulating the Empirical Strategies in Module Generation of Analog MOS Layout.	ISVLSI	2006	DBLP DOI BibTeX RDF
24	Yong Xue, Jianqin Wang, Chaolin Wu, Yincui Hu, Jianping Guo, Lei Zheng, Wei Wan, Guoyin Cai, Ying Luo 0006, Shaobo Zhong	Information Registry of Remotely Sensed Meta-module in Grid Environment.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
24	Yunan Xiang, R. Pettibon, Martin Margala	A versatile computation module for adaptable multimedia processors.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Soo-Cheol Oh, Seongwoon Kim	An Efficient Linux Kernel Module supporting TCP/IP Offload Engine on Grid.	GCC	2006	DBLP DOI BibTeX RDF
24	Seong-Whan Park, Jai-Kyung Lee, Je-Sung Bang, Byung-Chun Shin	Development of an e-Engineering Framework for Automotive Module Design.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
24	Hérvé Fleury	Electronic circuit comprising a secret sub-module.	ITC	2004	DBLP DOI BibTeX RDF
24	Bruce A. Maxwell, Nathaniel Fairfield, Nikolas Johnson, Pukar Malla, Paul Dickson, Suor Kim, Stephanie Wojtkowski, Thomas S. Stepleton	A real-time vision module for interactive perceptual agents.	Mach. Vis. Appl.	2003	DBLP DOI BibTeX RDF	Robotics, Optical character recognition, Face detection, Real-time vision
24	Alexandre Bergel, Stéphane Ducasse, Roel Wuyts	Classboxes: A Minimal Module Model Supporting Local Rebinding.	JMLC	2003	DBLP DOI BibTeX RDF	method lookup, class extension, selector namespace, smalltalk, modules, language design
24	Stavros Tripakis	Automated Module Composition.	TACAS	2003	DBLP DOI BibTeX RDF
24	Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide	Dynamic Module Replacement in Distributed Protocols.	ICDCS	2003	DBLP DOI BibTeX RDF
24	Paolo Tonella	Concept Analysis for Module Restructuring.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	modularization, reengineering, abstract data type, legacy systems, encapsulation, restructuring, Concept analysis
24	Bruce A. Maxwell, Nathaniel Fairfield, Nikolas Johnson, Pukar Malla, Paul Dickson, Suor Kim	A Real-Time Vision Module for Interactive Perceptual Agents.	ICVS	2001	DBLP DOI BibTeX RDF
24	Yiorgos Makris, Alex Orailoglu	Channel-Based Behavioral Test Synthesis for Improved Module Reachability.	DATE	1999	DBLP DOI BibTeX RDF
24	Daniel P. Van der Velde, Ad J. van de Goor	Designing a Memory Module Tester.	MTDT	1999	DBLP DOI BibTeX RDF
24	Timothy J. Callahan, Philip Chong, André DeHon, John Wawrzynek	Fast Module Mapping and Placement for Datapaths in FPGAs.	FPGA	1998	DBLP DOI BibTeX RDF
24	Shashidhar Thakur, Yao-Wen Chang, Martin D. F. Wong, S. Muthukrishnan 0001	Algorithms for an FPGA switch module routing problem with application to global routing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
24	Pavel Curtis, James Rauen	A Module System for Scheme.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF	SCHEME
24	Tie-Cheng Wang	Elements of Z-Module Reasoning.	CADE	1988	DBLP DOI BibTeX RDF
24	Francesco Parisi-Presicce	Product and Iteration of Module Specifications.	CAAP	1988	DBLP DOI BibTeX RDF
24	Alex Meystel	Intelligent Module for Planning/Control of Master-dependent Systems.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
24	Rajiv Jain, Alice C. Parker, Nohbyung Park	Module Selection for Pipelined Synthesis.	DAC	1988	DBLP BibTeX RDF
24	Hartmut Ehrig, Werner Fey, Francesco Parisi-Presicce, Edward K. Blum	Algebraic Theory of Module Specification with Constraints.	MFCS	1986	DBLP DOI BibTeX RDF
23	Klaus Kursawe, Dries Schellekens	Flexible muTPMs through disembedding.	AsiaCCS	2009	DBLP DOI BibTeX RDF	mobile trusted module, secure coprocessor, trusted computing, trusted platform module
23	Chao-Ju Hou, Kang G. Shin	Allocation of Periodic Task Modules with Precedence and Deadline Constraints.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	task/module allocation, module scheduling, precedence and deadline constraints, task flow graph, branch-and-bound process, Real-time systems, dynamic failure
23	Peter Kornerup	A Systolic, Linear-Array Multiplier for a Class of Right-Shift Algorithms.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	systolic linear-array multiplier, right-shift algorithms, multiplier cell, digit-product terms, least significant digit first, active elements, module-multiplier, Montgomery module-reduction, RSA encryption, modular division, cryptography, logic design, systolic arrays, systolic array, digital arithmetic, multiplying circuits, latches, modular inverses, Hensel codes, digit-serial multiplier
23	Yabo Wang, David Lorge Parnas	Simulating the Behaviour of Software Modules by Trace Rewriting.	ICSE	1993	DBLP BibTeX RDF	formal specification method, module interface specification, module simulation, trace assertion method, software tool, finite state machine, term rewriting
23	Theodore F. Tabloski, Frederic J. Mowle	A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Implicitly exhaustive search, logic design automation, minimization algorithm, modular logic arrays, multiplexer universal logic module (MULM), Shannon's expansion, universal logic module (ULM), multiplexer, numerical technique
23	Tiu Le Van, Noël van Houtte	Delayed Universal Logic Modules and Sequential Machine Synthesis.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Accepted sequence, component machine, delayed universal logic module, distributed logic, inverse binary tree, nondeterministic automaton, reversed machine, simple synthesis, transition map, 2n-in-1 multiplexer, universal logic module, decomposition, sequential machine
23	Hans Heymans, Isar Stubbe	Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory.	Order	2009	DBLP DOI BibTeX RDF	Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale
23	Yu Zhang 0003, Tao Li, Jia Sun, Renchao Qin	A Novel Immune Based Approach for Detection of Windows PE Virus.	ADMA	2008	DBLP DOI BibTeX RDF	computer immune system, PE virus detection, relocation module, virus gene pool
23	Ali Azadeh, Z. S. Faiz	Integration of Ann MLP and computer simulation for intelligent design of queuing systems.	SCSC	2007	DBLP BibTeX RDF	learning module, ANN, knowledge-base, MLP, queuing
23	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster	Modular information hiding and type-safe linking for C.	TLDI	2007	DBLP DOI BibTeX RDF	C, information hiding, type-safety, module systems
23	Zhuo Wang, Xin-Guang Zhu, Yazhu Chen, Yi-Xue Li, Lei Liu	Comparison of Modularization Methods in Application to Different Biological Networks.	VDMB	2006	DBLP DOI BibTeX RDF	Markov clustering (MCL), network, simulated annealing (SA), module
23	Taghi M. Khoshgoftaar, Edward B. Allen	Ordering Fault-Prone Software Modules.	Softw. Qual. J.	2003	DBLP DOI BibTeX RDF	module-order model, software reliability, software quality models, fault-prone modules, multiple linear regression
23	Magnus Almgren, Ulf Lindqvist	Application-Integrated Data Collection for Security Monitoring.	Recent Advances in Intrusion Detection	2001	DBLP DOI BibTeX RDF	Intrusion detection, application, Web server, module, application-integrated, Apache
23	Minoru Uehara	Fault tolerant computing in computational field model.	ECBS	1997	DBLP DOI BibTeX RDF	computational field model, triple module redundancy, resource allocation, fault tolerant computing, fault tolerant computing, system performance, large scale distributed systems, shared virtual space
23	Amir A. Khwaja	Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling.	COMPSAC	1997	DBLP DOI BibTeX RDF	design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
23	Robert C. Burnett	A Trade-off Method between Cost and Reliability.	SCCC	1997	DBLP DOI BibTeX RDF	cost/reliability trade-off method, software module development cost estimation, target reliability level, modular software system design phase, operational reliability, software testing phase, fault estimation, project management, software reliability, requirement specification, subroutines, decomposition technique, historical data
23	Wang-Dauh Tseng, Kuochen Wang	Testable Design and Testing of MCMs Based on Multifrequency Scan.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	boundary scan architecture, multifrequency test, smart substrate, technology mixed, design for testability, VHDL, multichip module
23	Daniel L. Swets, Bill Punch, Juyang Weng	Genetic algorithms for object recognition in a complex scene.	ICIP	1995	DBLP DOI BibTeX RDF	computer vision module, environmental parameters, preprocessing step, genetic algorithms, genetic algorithms, computer vision, image segmentation, image segmentation, object recognition, object recognition, search problems, search technique, complex scene
23	Dimitrios Karayiannis, Spyros Tragoudas	Uniform area timing-driven circuit implementation.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	circuit module, cell library, input-output paths, overall area, timing-driven circuit implementation, computational complexity, heuristics, CAD, delays, timing, sequential circuits, sequential circuits, NP-hard, directed graphs, combinational circuits, combinational circuits, logic CAD, polynomial time algorithm, directed acyclic graphs, circuit CAD, cellular arrays, propagation delay
23	Krzysztof Krawiec, Bartosz Wieloch	Functional modularity for genetic programming.	GECCO	2009	DBLP DOI BibTeX RDF	genetic programming, modularity, problem decomposition
23	Cal Collins, Sergey Demidenko, Shakib Mostafa	Isovera digital library.	JCDL	2008	DBLP DOI BibTeX RDF	collection management, oai-phm, digital library, metadata, learning objects, software as a service, peer review, harvesting
23	Jingmin Xie, Xiaojun Ye, Bin Li, Feng Xie	A Configurable Web Service Performance Testing Framework.	HPCC	2008	DBLP DOI BibTeX RDF
23	Xueqian Wang 0001, Bin Liang 0001, Cheng Li 0015, Wenfu Xu	The Ground-based Validation Technology of Teleoperation for Space Robot.	RAM	2008	DBLP DOI BibTeX RDF