Search results for "d-module"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Ryszard Janicki, Emil Sekerinski	Foundations of the Trace Assertion Method of Module Interface Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences
51	Leon Alkalai, Wai-Chi Fang	An integrated microspacecraft avionics architecture using 3D multichip module building blocks.	ICCD	1996	DBLP DOI BibTeX RDF	integrated microspacecraft avionics architecture, 3D multichip module building blocks, continued miniaturization, spacecraft electronics, building-block elements, stackable multichip module 3D-architecture, module testing, spacecraft avionics system, Deep-Space One asteroid-flyby mission, Jet propulsion Laboratory, operating systems, software development environments, system reliability, avionics, avionics system
51	Yashwant K. Malaiya, Jason Denton	Module Size Distribution and Defect Density.	ISSRE	2000	DBLP DOI BibTeX RDF	Module size, module size Distribution, reliability, defect density
50	Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Xiaobo Hu 0001	Efficient algorithms for acceptable design exploration.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF	acceptable designs, inclusion scheduling, module utility, design exploration, module selections
47	Franck Xia	Module Coupling: A Design Metric.	APSEC	1996	DBLP DOI BibTeX RDF	module coupling, inter-module connection complexity, data complexity method, program logic control, software metrics, software design, theoretical model, design metric
47	Neelam Gupta, Praveen Rao 0001	Program Execution-Based Module Cohesion Measurement.	ASE	2001	DBLP DOI BibTeX RDF	module cohesion, software maintenance, software metrics, software restructuring
47	Maria-Virginia Aponte, Roberto Di Cosmo	Type Isomorphisms for Module Signatures.	PLILP	1996	DBLP DOI BibTeX RDF	typing and structuring systems, retrieval of functions in function libraries, programming environments, ML, module systems
47	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Module Operations.	All About Maude	2007	DBLP DOI BibTeX RDF
47	Calin Ciufudean, Constantin Filote	Holonic Models for Traffic Control Systems.	HoloMAS	2009	DBLP DOI BibTeX RDF	planning module, priority module, control module, railway traffic, traffic jam, Petri nets
47	Paolo Gamba, Massimilano Lilla, Alessandro Mecocci	Extraction of Discontinuous Chains of Symbols by Means of Perceptual Grouping.	ICIP (2)	1997	DBLP DOI BibTeX RDF	discontinuous symbol chains extraction, artificial intelligence kernel, search strategy generation module, pixels scanning, symbol detection module, cost function evaluation module, global quality index, Gestalt rules, grouping procedures optimisation, algorithm, geographic information systems, geographic information system, perceptual grouping, digitized maps
47	Thien M. Ha, D. Niggeler, Horst Bunke	A system for segmenting and recognising totally unconstrained handwritten numeral strings.	ICDAR	1995	DBLP DOI BibTeX RDF	totally unconstrained handwritten numeral strings recognition, totally unconstrained handwritten numeral strings segmentation, presegmentation module, isolated numeral recognizer, segmentation-free module, merging module, dummy symbol, CEDAR database, image recognition
47	Suresh B. Marapane, Mohan M. Trivedi	Multi-Primitive Hierarchical (MPH) Stereo Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	multi-primitive hierarchical stereo analysis, hierarchical control strategy, region-based analysis module, linear edge segment-based analysis module, edgel-based stereo analysis module, multiple abstraction, image segmentation, edge detection, stereo image processing, hierarchical systems, image regions, disparity maps
44	Yuming Zhou, Baowen Xu	Extracting Objects of Ada Programs Using Module Features.	ICSM	1999	DBLP DOI BibTeX RDF	Ada 83, module cohesion, module coupling, object-oriented reengineering, inheritance, Ada 95, object extraction
43	Paul Doran, Valentina A. M. Tamma, Luigi Iannone	Ontology module extraction for ontology reuse: an ontology engineering perspective.	CIKM	2007	DBLP DOI BibTeX RDF	ontology module extraction, ontology engineering
43	Taghi M. Khoshgoftaar, Erik Geleyn, Kehan Gao	An Empirical Study of the Impact of Count Models Predictions on Module-Order Models.	IEEE METRICS	2002	DBLP DOI BibTeX RDF	module-order modeling, count models, ZIP, software metrics, Software reliability, Poisson
43	Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs	Algebraic Software Development Concepts for Module and Configuration Families.	FSTTCS	1989	DBLP DOI BibTeX RDF	module families, configuration families, formal specification development, software engineering, modules, algebraic specifications
43	Sangkyune Kim, Jaehyung Park	Energy-Efficient Module applied with Run Length Coding for Wireless Sensor Networks.	ICNSC	2008	DBLP DOI BibTeX RDF
43	Gengxin Miao, Yupin Luo, Qiming Tian, Jingxin Tang	A Filter Module Used in Pedestrian Detection System.	AIAI	2006	DBLP DOI BibTeX RDF
43	Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Xiaobo Sharon Hu	Efficient design exploration based on module utility selection.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
43	Derya Keskin Tütüncü	On Non-M-Cosingular Completely (+)-Supplemented Modules.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	pseudo projective module, non-M-cosingular module, completely ?-supplemented module
40	Jin-Hua Hong, Chung-Hung Tsai, Cheng-Wen Wu	Hierarchical Testing Using the IEEE Std 1149.5 Module Test and Maintenance Slave Interface Module.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF	MTM Bus, Boundary Scan, Hierarchical Testing
40	Fredrik Warg, Per Stenström	Improving Speculative Thread-Level Parallelism Through Module Run-Length Prediction.	IPDPS	2003	DBLP DOI BibTeX RDF	module-level parallelism, module run-length prediction, performance evaluation, Multiprocessors, thread-level speculation
40	Atanas Radenski	Module embedding.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Module embedding, Object-oriented programming, Reuse, Inheritance, Extensibility, Module, Code reuse
40	R. Paul Wiegand, Gautham Anil, Ivan I. Garibay, Ozlem O. Garibay, Annie S. Wu	On the performance effects of unbiased module encapsulation.	GECCO	2009	DBLP DOI BibTeX RDF	module encapsulation, search space bias, runtime analysis
40	Yasutaka Kamei, Akito Monden, Shuji Morisaki, Ken-ichi Matsumoto	A hybrid faulty module prediction using association rule mining and logistic regression analysis.	ESEM	2008	DBLP DOI BibTeX RDF	fault-prone module prediction, logistic regression analysis, empirical study, association rule mining
40	John Moses	A Consideration of the Impact of Interactions with Module Effects on the Direct Measurement of Subjective Software Attributes.	IEEE METRICS	2001	DBLP DOI BibTeX RDF	expert agreement, ordinal scale, 3-D multinomial models, interactions with module length, Bayesian inference, maintainability, cohesion, consistent measurement
40	Vinciane Lacroix	A Three-Module Strategy for Edge Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	three-module strategy, nonmaximum-deletion algorithm, learning edges, binary edge images, parallel process, parallel processing, edge detection, computerised picture processing, computerised pattern recognition, modules, contextual information, gray-level images, computerized pattern recognition, computerized picture processing, contour following, sequential process
39	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
39	Minoru Motoki, Yoichi Tomiura, Naoto Takahashi	Problems of FGREP Module and Their Solution.	IEEE ICCI	2004	DBLP DOI BibTeX RDF
39	Karl Crary, Robert Harper 0001, Sidd Puri	What is a Recursive Module?	PLDI	1999	DBLP DOI BibTeX RDF
39	Stefan Nörtemann	The Hahn-Banach Theorem for Partially Ordered Totally Convex, Positively Convex and Superconvex Modules.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	Hahn-Banach Theorem, partially ordered totally convex module, partially ordered positively convex module, partially ordered superconvex module
39	Xiaozhuo Gu, Yufeng Li, Jianzu Yang, Julong Lan	Hardware-and-Software-Based Security Architecture for Broadband Router (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF	IP security (IPsec), Security module, IPsec module, Security architecture
39	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
36	David Kyle, José Carlos Brustoloni	Uclinux: a linux security module for trusted-computing-based usage controls enforcement.	STC	2007	DBLP DOI BibTeX RDF	LSM, ODRL, UCLinux, encrypted file system, linux security module, open digital rights language, trusted computing group, linux, trusted computing, usage controls, TPM, trusted platform module, TCG
36	Chauchin Su, Yue-Tsang Chen, Shyh-Jye Jou, Yuan-Tzu Ting	Metrology for analog module testing using analog testability bus.	ICCAD	1996	DBLP DOI BibTeX RDF	analog module, analog module testing, multiple instantiation, test response analysis, test waveform, testability bus, design for testability
36	Michael D. Rice, Stephen B. Seidman	A Formal Model for Module Interconnection Languages.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	module interconnection languages, hierarchical module structure design, Z schema type definitions, generic parameters, application-specific declarations, STILE, graphical design environment, formal specification, constraints, programming environments, specification languages, specification language, systems analysis, formal model, development environment, Conic, configuration language
36	Hong Min, Junyoung Heo, Yookun Cho, Kahyun Lee, Jaegi Son, Byunghun Song	A Module Management Scheme for Dynamic Reconfiguration.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Module Management, Wireless Sensor Networks, Operating Systems, Dynamic Reconfiguration
36	Ruo Ando, Youki Kadobayashi, Yoichi Shinoda	Asynchronous Pseudo Physical Memory Snapshot and Forensics on Paravirtualized VMM Using Split Kernel Module.	ICISC	2007	DBLP DOI BibTeX RDF	Asynchronous snapshot, paravirtualized VMM, memory forensics, virtualized interruption, split kernel module
36	Fredrik Warg, Per Stenström	Reducing misspeculation overhead for module-level speculative execution.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	misspeculation prediction, module-level parallelism, performance evaluation, chip multiprocessors, thread-level speculation
36	Jianhui Li, Peng Zhang, Orna Etzion	Module-aware translation for real-life desktop applications.	VEE	2005	DBLP DOI BibTeX RDF	dynamic loaded module, translation reuse, memory management, dynamic binary translation
36	Kiarash Mahdavi, Mark Harman, Robert M. Hierons	A Multiple Hill Climbing Approach to Software Module Clustering.	ICSM	2003	DBLP DOI BibTeX RDF	Module clustering, Hill climbing, Search based software engineering
36	Sudhir K. Jhajharia, Hua Swee Wang	Training diploma students on ATE-related module.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	electronic equipment testing, tertiary institution, ATE-related module, diploma students, final year students, Microelectronics option, Electronics and Communication Engineering Department, Singapore Polytechnic, Singapore Polytechnic Education Model, automated test equipment, Advanced Diploma, practical training, laboratory session, training, integrated circuit testing, assessment, teaching, teaching, automatic testing, automatic test equipment, test patterns, printed circuit boards, educational courses, printed circuit testing, industry-standard, electronic engineering education
36	Oskar Mencer	PAM-Blox II: Design and Evaluation of C++ Module Generation for Computing with FPGAs.	FCCM	2002	DBLP DOI BibTeX RDF
36	Sriram K. Rajamani, Jakob Rehof	A Behavioral Module System for the Pi-Calculus.	SAS	2001	DBLP DOI BibTeX RDF
36	Jin-Hua Hong, Chung-Hung Tsai, Cheng-Wen Wu	Hierarchical system test by an IEEE 1149.5 MTM-bus slave-module interface core.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
36	Chantana Chantrapornchai, Edwin Hsing-Mean Sha, Xiaobo Sharon Hu	Efficient Algorithms for Finding Highly Acceptable Designs Based on Module-Utility Selections.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF
36	Yiorgos Makris, Alex Orailoglu	A Module Diagnosis and Design-for-Debug Methodology Based on Hierarchical Test Paths.	DFT	1999	DBLP DOI BibTeX RDF
36	Orna Kupferman, Moshe Y. Vardi	Module Checking Revisited.	CAV	1997	DBLP DOI BibTeX RDF
36	C. P. Ravikumar, Mukul R. Prasad, Lavmeet S. Hora	Estimation of Power from Module-level Netlists.	VLSI Design	1996	DBLP DOI BibTeX RDF
36	I. Vandeweerd, Kris Croes, Luc Rijnders, Paul Six, Hugo De Man	REDUSA: module generation by automatic elimination of superfluous blocks in regular structures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
35	Noritaka Shigei, Hiromi Miyajima, Shinya Nagamine	A Proposal of Fuzzy Inference Model Composed of Small-Number-of-Input Rule Modules.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Fuzzy reasoning model, Single-input rule module, Small-number-of-input rule module, A large number of input variables
35	Mahesh Mehendale, M. K. Ram Prasad	AATMA: an algorithm for technology mapping for antifuse-based FPGAs.	VLSI Design	1995	DBLP DOI BibTeX RDF	AATMA, antifuse-based FPGAs, logic module structure, complex functions, signature-matching based approach, mapping quality, logic module architectures, field programmable gate arrays, directed graphs, combinational circuits, logic CAD, technology mapping, execution times
35	Wesley W. Chu, Chi-Man Sit, Kin K. Leung	Task Response Time For Real-Time Distributed Systems With Resource Contentions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	task response times, extended queuing network model, module response times, weighted control-flow graph model, task response time, invocation rates, module assignments, real-time systems, computational complexity, computational complexity, graph theory, resource allocation, distributed processing, queueing theory, analytic model, simulation results, interprocessor communications, scheduling policies, resource contentions, decomposition technique, real-time distributed systems, submodels, distributed processing systems
35	In-Kwon Park, Jung-Hyun Kim 0006, Kwang-Seok Hong	An implementation of an FPGA-based embedded gesture recognizer using a data glove.	ICUIMC	2008	DBLP DOI BibTeX RDF	FPGA, VHDL, gesture recognition
35	Rémy Haemmerlé, François Fages	Modules for Prolog Revisited.	ICLP	2006	DBLP DOI BibTeX RDF
35	Theo A. Knijnenburg, Marcel J. T. Reinders, Jean-Marc Daran, Pascale A. S. Daran-Lapujade, Lodewyk F. A. Wessels	Relating transcription factors, modules of genes and cultivation conditions in Saccharomyces cerevisiae.	CSB Workshops	2005	DBLP DOI BibTeX RDF
35	Sudipta Bhawmik, Indradeep Ghosh	A Practical Method for Selecting Partial Scan Flip-flops for Large Circuits.	VLSI Design	1997	DBLP DOI BibTeX RDF
32	Shigetoshi Nakatake, Kunihiro Fujiyoshi, Hiroshi Murata, Yoji Kajitani	Module placement on BSG-structure and IC layout applications.	ICCAD	1996	DBLP DOI BibTeX RDF	rectilinear chip, L-shaped module, module placement, IC layout
32	Liqiang Wang, Yan Shi, Zukang Lu, Huilong Duan	Miniaturized CMOS Imaging Module with Real-time DSP Technology for Endoscope and Laryngoscope Applications.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	CMOS imaging module, Blackfin DSP, Minimally invasive instruments, Real-time video processing, Miniature
32	Rok Strnisa, Peter Sewell, Matthew J. Parkinson	The java module system: core design and semantic definition.	OOPSLA	2007	DBLP DOI BibTeX RDF	LJAM, superpackage, java, module, JAM
32	Joerg Abke, Erich Barke, Jörn Stohmann	A Universal Module Generator for LUT-Based FPGAs.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Multiplexor, Multiplexor Structure, FPGA, Technology Mapping, Module Generator
32	Jacob Savir	Module level weighted random patterns.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	module level self-test architecture, pseudorandom pattern generator, universal weighting generator, scan latch, near-optimal weight, signal pins, weight control function, self-test time, logic testing, probability, integrated circuit testing, automatic testing, multivalued logic circuits, boundary scan testing, scan test, weighted random patterns, multiple input signature register
32	Frank Gurski, Egon Wanke	On Module-Composed Graphs.	WG	2009	DBLP DOI BibTeX RDF	special graph classes, homogeneous sets, HHDS-free graphs, bipartite graphs, distance hereditary graphs
32	Francisco Corbera, Eladio Gutiérrez, Julián Ramos, Sergio Romero 0001, María A. Trenas	Development of a new MOODLE module for a basic course on computer architecture.	ITiCSE	2008	DBLP DOI BibTeX RDF	computer architecture, LMS, Moodle, automatic assessment
32	Noriko Hanakawa	Visualization for Software Evolution Based on Logical Coupling and Module Coupling.	APSEC	2007	DBLP DOI BibTeX RDF
32	Myunghee Kim	The First Step in a Self-Assembling Process in a System: A Picking-Up a Module Algorithm.	ICNSC	2007	DBLP DOI BibTeX RDF
32	Takeshi Kitahara, Hiroyuki Hara, Shinichiro Shiratake, Yoshiki Tsukiboshi, Tomoyuki Yoda, Tetsuaki Utsumi, Fumihiro Minami	Low-power design methodology for module-wise dynamic voltage and frequency scaling with dynamic de-skewing systems.	ASP-DAC	2006	DBLP DOI BibTeX RDF
32	Olivier Gruber, Richard S. Hall	A Java Framework for Building and Integrating Runtime Module Systems.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF
32	John Corwin, David F. Bacon, David Grove, Chet Murthy	MJ: a rational module system for Java and its applications.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, components, modularity, language design
32	Francisco Durán 0001	The Extensibility of Maude's Module Algebra.	AMAST	2000	DBLP DOI BibTeX RDF
32	Zhong Shao	Typed Cross-Module Compilation.	ICFP	1998	DBLP DOI BibTeX RDF
32	T. W. Her, Martin D. F. Wong	Module implementation selection and its application to transistor placement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
31	William H. Money	Applying social cognitive learning theory to the application of group support systems (GSSs) in classroom settings.	HICSS (4)	1995	DBLP DOI BibTeX RDF	social cognitive learning theory, classroom settings, prototype educational experimenters information systems, course module, module covering systems analysis, organizational data, learning (artificial intelligence), group support systems, group decision support systems, reciprocity, computer aided instruction, cognitive systems, educational computing
31	Simon S. Lam, A. Udaya Shankar	A Theory of Interfaces and Modules I-Composition Theorem.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interface theory, composition theorem, interface satisfaction, service consumer, module design, module verification, user interfaces, formal specification, specification, system design, systems analysis, directed graphs, directed acyclic graph, modules, system modelling, system model, nodes, service provider, arcs
31	Chandan K. Dubey, Shashank K. Mehta	On Indecomposability Preserving Elimination Sequences.	COCOON	2006	DBLP DOI BibTeX RDF	indecomposable graph, critically indecomposable graph, elimination sequence, Module
31	Kyle Siegrist	Reliability of Systems with Markov Transfer of Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	branching systems, module reliabilities, probability, probability, software reliability, software reliability, Markov process, Markov processes, transition probabilities, sequential systems
31	Zhiping Li, Tianwei Xu, Yu Sun 0005	A Web-Based Personalized Intelligent Tutoring System.	CSSE (5)	2008	DBLP DOI BibTeX RDF
31	Marc-Philippe Huget	Design Agent Interaction as a Service to Agents.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
31	Arun Krishnamachary, Jacob A. Abraham, Raghuram S. Tupuri	Timing Verification and Delay Test Generation for Hierarchical Designs.	VLSI Design	2001	DBLP DOI BibTeX RDF
31	Ali Bahrami, Cihan H. Dagli	Hybrid Intelligent Packing System (HIPS) through integration of Artificial Neural Networks, Artificial Intelligence, and mathematical programming.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	connectionist, extensional programming, parallel processing, data driven, cutting and packing
31	Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson	Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.	ELP	1992	DBLP DOI BibTeX RDF
31	Edward G. Rodgers	Software sizing problems in software engineering metrics.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
31	Domenick J. Pinto, Sandra K. Honda	A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
31	Howard M. Bloom, Carl E. Wenger	An automated documentation system for a large scale manufacturing engineering research project.	SIGDOC	1983	DBLP DOI BibTeX RDF
28	Hongyong Yang, Lan Lu, Qiming Liu	Self-organized Collaboration Network Model Based on Module Emerging.	Complex (1)	2009	DBLP DOI BibTeX RDF	Module emerging, Complexity, Self-organized, Network model, Scientific Collaboration
28	Qing Dong 0002, Bo Yang 0004, Jing Li 0072, Shigetoshi Nakatake	Incremental buffer insertion and module resizing algorithm using geometric programming.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	module resizing, floorplan, buffer insertion, geometric programming
28	Wang Chen, Yanjun Shi, Hong-fei Teng	An Improved Differential Evolution with Local Search for Constrained Layout Optimization of Satellite Module.	ICIC (2)	2008	DBLP DOI BibTeX RDF	layout design, satellite module, genetic algorithm, combinatorial optimization, Differential evolution
28	Fei Su, Krishnendu Chakrabarty	Module placement for fault-tolerant microfluidics-based biochips.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Physical design automation, microfluidics, biochips, module placement
28	Junjian Ding, Shili Tan, Haihong Zhang, Xiaofeng Song	Research on Module-Based Variant Design for Mass Customization.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Modulization Design, Variant Design, Module-Based Variant Design, Mass Customization
28	Welson Sun, Michael J. Wirthlin, Stephen Neuendorffer	Combining module selection and resource sharing for efficient FPGA pipeline synthesis.	FPGA	2006	DBLP DOI BibTeX RDF	resource sharing, pipeline scheduling, module selection, data-path synthesis
28	Jongmoo Choi, Seungjae Baek, Sung Y. Shin	Design and implementation of a kernel resource protector for robustness of Linux module programming.	SAC	2006	DBLP DOI BibTeX RDF	loadable module, reclaim, resource protector, slab allocator, fault tolerance, robustness, memory leak, linux kernel
28	Long Liu, Wei Hu 0002, Chunrong Lai, Hongshan Jiang, Wenguang Chen, Weimin Zheng, Yimin Zhang 0002	Parallel Module Network Learning on Distributed Memory Multiprocessors.	ICPP Workshops	2005	DBLP DOI BibTeX RDF	Module Network, load balance, parallelization, cache, MPI
28	Jacob R. Minz, Sung Kyu Lim, Cheng-Kok Koh	3D module placement for congestion and power noise reduction.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	3D module placement, power noise reduction, congestion, system-on-package
28	Andreas Koch 0001	Enabling Automatic Module Generation for FCCM Compilers.	FCCM	1999	DBLP DOI BibTeX RDF	FPGA, compilation, framework, synthesis, module generation
28	Markus Wolf 0001, Ulrich Kleine	Automatic Topology Optimization for Analog Module Generators.	DATE	1998	DBLP DOI BibTeX RDF	optimization, layout, analog, module generators
28	Joel A. Jorgenson, Russell J. Wagner	Design-For-Test in a Multiple Substrate Multichip Module.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	Multichip Module (MCM) Test, Known-Good Die (KGD), Ball Grid Array (BGA), Built-In-Self-Test (BIST), boundary-scan
28	Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies	Intra-module Inference.	CAV	2009	DBLP DOI BibTeX RDF
28	Feng Wang 0004, Xiaoxia Wu, Yuan Xie 0001	Variability-driven module selection with joint design time optimization and post-silicon tuning.	ASP-DAC	2008	DBLP DOI BibTeX RDF
28	Alessandro Ferrante, Aniello Murano	Enriched µ-Calculi Module Checking.	FoSSaCS	2007	DBLP DOI BibTeX RDF
28	Benjamin Aminof, Aniello Murano, Moshe Y. Vardi	Pushdown Module Checking with Imperfect Information.	CONCUR	2007	DBLP DOI BibTeX RDF