Search results for "d-modules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Matej Rojc, Harald Höge, Zdravko Kacic	ECESS Platform for Web Based TTS Modules and Systems Evaluation.	COST 2102 Workshop (Patras)	2007	DBLP DOI BibTeX RDF	ECESS consortium, text-to-speech synthesis, remote evaluation
54	Andreas Rossberg, Claudio V. Russo, Derek Dreyer	F-ing modules.	TLDI	2010	DBLP DOI BibTeX RDF	first-class modules, ml modules, type systems, abstract data types, system f, existential types, elaboration
53	Akif Günes Koru, Jeff Tian	Comparing High-Change Modules and Modules with the Highest Measurement Values in Two Large-Scale Open-Source Products.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	maintenance planning, open-source software, maintainability, Product metrics
50	Derek Dreyer, Andreas Rossberg	Mixin' up the ML module system.	ICFP	2008	DBLP DOI BibTeX RDF	ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules
49	Zelmina Lubovac, David Corne, Jonas Gamalielsson, Björn Olsson	Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity.	BIRD	2007	DBLP DOI BibTeX RDF	SWEMODE, interconnectivity, systems biology, Gene Ontology, functional modules
45	Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen	Modeling Fault-Prone Modules of Subsystems.	ISSRE	2000	DBLP DOI BibTeX RDF	empirical study, software reliability, classification tree, CART, software quality models, fault-prone modules
45	Niclas Ohlsson, Hans Alberg	Predicting Fault-Prone Software Modules in Telephone Switches.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Complexity, metrics, prediction, empirical study, software reliability, statistical analysis, software measurement, regression analysis, fault-prone modules
45	Yao-Wen Chang, D. F. Wong 0001, C. K. Wong	Design and analysis of FPGA/FPIC switch modules.	ICCD	1995	DBLP DOI BibTeX RDF	FPGA/FPIC switch modules, routing resources, FPIC, network-flow techniques, field programmable interconnect chip, field programmable gate arrays, FPGA, field programmable gate arrays, logic design, heuristic algorithm, programmable logic arrays, routability
43	Feng Luo 0001, Richard H. Scheuermann	Detecting Functional Modules from Protein Interaction Networks.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
43	Hany H. Ammar, AbdulMobeen Mohammad, Osama Abdalla, Kankanahalli Srinivas	Process-Centered Environments for Web-Based Instructional Modules.	WETICE	1997	DBLP DOI BibTeX RDF	Web-based instructional modules, computer-delivered educational modules, server interface, ClassNet, Internet, user interface, distance learning, Web technologies, distributed information systems, Web-based instruction, process-centered environment
41	Osamu Mizuno, Tohru Kikuno	Training on errors experiment to detect fault-prone software modules by spam filter.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	text mining, spam filter, fault-prone modules
41	J. Kirkland	Squad-based expert modules for closing diphthong recognition.	ANNES	1995	DBLP DOI BibTeX RDF	squad based expert modules, closing diphthong recognition, modular time delay neural networks, modular TDNNs, false positive error performances, TDNN variants, sequence token TDNN, phoneme realizations, speech recognition, expert systems, natural languages, neural nets, recognition performance, automated speech recognition
41	H. Isil Bozma, James S. Duncan	A Game-Theoretic Approach to Integration of Modules.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	modules integration, intelligent sensor system, multiobjective decision making, image processing, artificial intelligence, game theory, game theory, image analysis, sensor fusion, image sensors, noncooperative game, modular systems
41	Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani	Semi-Automatic Program Construction From Specifications Using Library Modules.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation
40	Eran Segal, Roded Sharan	A discriminative model for identifying spatial cis-regulatory modules.	RECOMB	2004	DBLP DOI BibTeX RDF	cis-regulatory module, probabilistic model, transcriptional regulation
40	Ronald Brown, Ilhan Içen	Homotopies and Automorphisms of Crossed Modules of Groupoids.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	crossed modules, groupoids, 2-crossed modules, actors, automorphisms
40	Kai-Yuan Chao, D. F. Wong 0001	Thermal placement for high-performance multichip modules.	ICCD	1995	DBLP DOI BibTeX RDF	thermal placement, high-performance multichip modules, electrical performance requirements, thermal behavior, high-speed chips, multichip module packages, cooling environments, conduction cooling, convection cooling, chip junction temperatures, circuit analysis computing, multichip modules, thermal models, cooling, convection
40	Hameed A. Naseem, Ajay P. Malshe, Rajan A. Beera, M. Shahid Haque, William D. Brown, Len W. Schaper	CVD-diamond substrates for multi-chip modules (MCMs).	VLSI Design	1995	DBLP DOI BibTeX RDF	diamond, laser beam machining, metallisation, CVD coatings, elemental semiconductors, chemical vapour deposition, CVD-diamond substrates, 3D MCM, chemical vapor deposition, diamond thin films, laser drilling, via holes, metallization, dielectric coatings, multilayer interconnects, C, planarization, multichip modules, multichip modules, fabrication, polishing, polishing, substrates
38	Keiko Nakata 0001, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
38	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
37	Olivier Biton, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy	Optimizing user views for workflows.	ICDT	2009	DBLP DOI BibTeX RDF
37	Richard W. Selby	Enabling Reuse-Based Software Development of Large-Scale Systems.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	empirical study, software metrics, Software reuse, experimentation, software measurement, large-scale systems, mining software repositories, software faults, software changes
37	Akito Monden, Daikai Nakae, Toshihiro Kamiya, Shin-ichi Sato, Ken-ichi Matsumoto	Software Quality Analysis by Code Clones in Industrial Legacy Software.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
37	Qinghong Wu, C. Y. Roger Chen, Bradley S. Carlson	LILA: layout generation for iterative logic arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
37	Taghi M. Khoshgoftaar, Edward B. Allen, Jason C. Busboom	Modeling software quality: the Software Measurement Analysis and Reliability Toolkit.	ICTAI	2000	DBLP DOI BibTeX RDF	Software Measurement Analysis and Reliability Toolkit, reliability enhancement activities, high risk modules, automated reasoning processes, CBR systems, CBR classification, module-order models, rank-order, military command control and communications, software developers, software tools, software quality, software metrics, software reliability, cluster analysis, case-based reasoning, case based reasoning, software performance evaluation, software product, life cycle, software quality modeling, software quality models, fault predictions, process metrics, SMART, fault prone modules, quality factor, classification models, command and control systems, research tool
37	Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead 0001, Gary P. Trio	A tree-based classification model for analysis of a military software system.	HASE	1996	DBLP DOI BibTeX RDF	tree based classification model, military software systems analysis, tactical military software, software function, military personnel, tree based modeling method, fault prone software modules, Joint Surveillance Target Attack Radar System, JSTPARS, large tactical military system, decision tree model, software product metrics, spiral life cycle, highly reliable final product, fault prone class, TREED-ISC algorithm, CHAID algorithm, independent variables, statistically significant relationships, military computing, fault prone modules, chi squared tests, mission critical
37	Sandeep Pagey, Ajay Khoche, Erik Brunvand	DFT for fast testing of self-timed control circuits.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	fast testing, self-timed control circuits, execution paths, simultaneous testing, OCCAM based circuit compiler, OCCAM program, self-timed macro-modules, modified modules, macromodules, fault diagnosis, logic testing, delays, design for testability, DFT, logic CAD, asynchronous circuits, translation, program compilers, automatic test software
36	Jeongmin Park, Joonhoon Lee, Eunseok Lee 0001	Goal graph based performance improvement for self-adaptive modules.	ICUIMC	2008	DBLP DOI BibTeX RDF	activation switch, goal graph, self-adaptive module
36	Mohammed Y. Niamat, Dinesh Nemade, Mohsin M. Jamali	Testing embedded RAM modules in SRAM-based FPGAs.	FPGA	2006	DBLP DOI BibTeX RDF
36	Yao-Wen Chang, D. F. Wong 0001, C. K. Wong	Universal switch modules for FPGA design.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF
36	Shashidhar Thakur, D. F. Wong 0001	On Designing ULM-based FPGA Logic Modules.	FPGA	1995	DBLP DOI BibTeX RDF
34	Ting Gong, Jianhua Xuan, Li Chen 0018, Rebecca B. Riggins, Yue Joseph Wang, Eric P. Hoffman, Robert Clarke	Sparse Decomposition of Gene Expression Data to Infer Transcriptional Modules Guided by Motif Information.	ISBRA	2008	DBLP DOI BibTeX RDF	Motif analysis, transcriptional modules, estrogen receptor binding, gene regulatory networks, sparse component analysis
34	Hans-Martin Pohl, Patrycja Tulinska, Jan-Torsten Milde	Efficient Creation of Multi Media eLearning Modules.	HCI (9)	2007	DBLP DOI BibTeX RDF	SCORM 2004, creation of content, transformation, modules, XSLT, eLearning, user friendly, LOM, style sheet, lesson
34	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
34	Yanqiong Fei, Xifang Zhao	Modules Classification and Automatic Generation of Kinematics on Self-reconfigurable Modular Machines.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	modules, kinematics, self-reconfigurable
34	Taghi M. Khoshgoftaar, Edward B. Allen	Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees.	HASE	1999	DBLP DOI BibTeX RDF	embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance
34	David R. Smith	Hardware Synthesis From Encapsulated Verilog Modules.	ASAP	1996	DBLP DOI BibTeX RDF	encapsulated Verilog modules, Verilog writing style, code complexity, automatic inference of control, low level simulation, computational complexity, logic design, inference mechanisms, hardware description languages, hardware synthesis, control points, clock cycle
33	Sheng-Yih Guan, Avi Bleiweiss, Richard Lipes	Parallel implementation of volume rendering on Denali graphics systems.	IPPS	1995	DBLP DOI BibTeX RDF	computer graphic equipment, computer peripheral equipment, Denali graphics systems, 3D graphics systems, texture mapping capability, standard graphics pipeline, pipelined parallel architecture, Kubota Graphics Corporation, maximum intensity projection, iso-surface rendering, partitioning data allocation scheme, texture memory requirements, transformation and rasterization modules, frame buffer modules, parallel node, general purpose RISC processor, object parallelism, hardware ASICs, pixel memory, pixel parallelism, resource allocation, parallel architectures, volume rendering, pipeline processing, dynamic load balancing, image texture, parallel implementation, rendering (computer graphics), reduced instruction set computing, static load balancing
32	Min Li 0007, Jianxin Wang 0001, Jianer Chen	A Graph-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks.	ISBRA	2008	DBLP DOI BibTeX RDF	graph, protein interaction network, functional module
32	Tze Ying Sim, Fang Li 0007, Birgit Vogel-Heuser	Modules, version and variability management in automation engineering of machine and plant manufacturing.	ETFA	2008	DBLP DOI BibTeX RDF
32	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Object-Oriented Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
32	Byung-Hoon Park, Bing Zhang 0003, Tatiana V. Karpinets, Nagiza F. Samatova	Multi-stage Framework to Infer Protein Functional Modules from Mass Spectrometry Pull-Down Data with Assessment of Biological Relevance.	BIBM	2007	DBLP DOI BibTeX RDF
32	Yuuji Ichisugi, Akira Tanaka	Difference-Based Modules: A Class-Independent Module Mechanism.	ECOOP	2002	DBLP DOI BibTeX RDF
32	Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang	On extending slicing floorplan to handle L/T-shaped modules andabutment constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
32	John D. Gabbe, P. A. Subrahmanyam	A Note on Clustering Modules for Floorplanning.	DAC	1989	DBLP DOI BibTeX RDF
32	Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache	Adapting modules to an integrated programming environment.	ICCL	1988	DBLP DOI BibTeX RDF
32	Taghi M. Khoshgoftaar, Edward B. Allen, Xiaojing Yuan, Wendell D. Jones, John P. Hudepohl	Assessing Uncertain Predictions of Software Quality.	IEEE METRICS	1999	DBLP DOI BibTeX RDF	TREEDISC, software quality, software metrics, classification trees, fault-prone modules
31	Daniel Bulacu, Blas Torrecillas	Two-sided Two-cosided Hopf Modules and Yetter-Drinfeld Modules for Quasi-Hopf Algebras.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16W30
30	Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson	Scheduling Timed Modules for Correct Resource Sharing.	ICST	2008	DBLP DOI BibTeX RDF	timed modules, real-time systems, resource management, component-based design
30	Qiu-Mei Sun, Zi-Long Zhang, Jing Liu	Soft Sets and Soft Modules.	RSKT	2008	DBLP DOI BibTeX RDF	soft sets, soft modules, soft submodules, soft homomorphism
30	Jan S. Rellermeyer, Michael Duller, Gustavo Alonso	Consistently Applying Updates to Compositions of Distributed OSGi Modules.	HotSWUp	2008	DBLP DOI BibTeX RDF	modules, updates, OSGi, R-OSGi
30	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
30	Tyng-Ruey Chuang	Generic Validation of Structural Content with Parametric Modules.	ICFP	2001	DBLP DOI BibTeX RDF	modules and interfaces, XML, XML, validation, functional programming, ML, ML, fixed points
30	Martin Verlage	Towards software process modules.	ISPW	1996	DBLP DOI BibTeX RDF	software process modules, software process model reuse, software process engineering, software reusability, roles, views, software project
30	Santonu Sarkar, Anupam Basu, Arun K. Majumdar	Synchronization of communicating modules and processes in high level synthesis.	VLSI Design	1995	DBLP DOI BibTeX RDF	communicating modules, object oriented design framework, nonblocking channel, real life image processing, synchronization, high level synthesis, high level synthesis, application specific integrated circuits, synchronisation, object-oriented methods, component reuse, ASIC designs, image processing equipment
30	Zohel Khalil, Guennadi Falin, Tao Yang	Some analytical results for congestion in subscriber line modules.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Subscriber Line Modules, iterative algorithms, retrial queues, diffusion approximations, Asymptotic behaviours
30	Robert Law	Using student blogs for documentation in software development projects.	ITiCSE	2011	DBLP DOI BibTeX RDF
30	E. L. Meyer, E. E. van Dyk	Assessing the reliability and degradation of photovoltaic module performance parameters.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
30	Claudio V. Russo	Recursive Structures for Standard ML.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
30	Tadayuki Sakakibara, Katsuyoshi Kitai, Tadaaki Isobe, Shigeko Yazawa, Teruo Tanaka, Yasuhiro Inagami, Yoshiko Tamaki	Scalable Parallel Memory Architecture with a Skew Scheme.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF	ILLIAC IV
30	Andrej Zemva, Franc Brglez	Detectable perturbations: a paradigm for technology-specific multi-fault test generation.	VTS	1995	DBLP DOI BibTeX RDF	detectable perturbations, technology-specific multi-fault test generation, multiple bridging, open faults, single-output modules, multi-output modules, mutation faults, technology-mapped cells, fault diagnosis, logic testing, integrated circuit testing, combinational circuits, combinational circuits, automatic testing, stuck-at faults, cellular arrays, benchmark circuits, generic system
30	S. Y. Kulkarni, K. D. Patil, K. V. V. Murthy	Transmission line model parameters for very high speed VLSI interconnects in MCMs using FEM with special elements.	VLSI Design	1995	DBLP DOI BibTeX RDF	very high speed integrated circuits, transmission line theory, integrated circuit packaging, transmission line model parameters, very high speed VLSI interconnects, higher order isoparametric elements, 2D interconnect/dielectric packaging structures, quadrilateral infinite elements, signal conductor boundaries, sharp corners, finite element method, finite element analysis, computation time, multichip modules, multichip modules, FEM, MCM, integrated circuit interconnections, VLSI interconnects
29	M. Beattie, S. Dascalescu, S. Raianu, Freddy Van Oystaeyen	The Categories of Yetter - Drinfel'd Modules, Doi - Hopf Modules and Two-sided Two-cosided Hopf Modules.	Appl. Categorical Struct.	1998	DBLP DOI BibTeX RDF
29	Ariadna Yerpes, José Baca, Juan A. Escalera, Manuel Ferre, Rafael Aracil	Modular robot based on 3 rotational DoF modules.	IROS	2008	DBLP DOI BibTeX RDF
29	Ellen Francine Barbosa, José Carlos Maldonado	Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules.	ISoLA	2008	DBLP DOI BibTeX RDF
29	Naeem Seliya, Taghi M. Khoshgoftaar	Software Quality Analysis of Unlabeled Program Modules With Semisupervised Clustering.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
29	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	Predefined Data Modules.	All About Maude	2007	DBLP DOI BibTeX RDF
29	Chris C. N. Chu, Evangeline F. Y. Young	Nonrectangular shaping and sizing of soft modules for floorplan-design improvement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
29	Yao-Wen Chang, Kai Zhu 0001, Guang-Ming Wu, D. F. Wong 0001, C. K. Wong	Analysis of FPGA/FPIC switch modules.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	FPIC, FPGA, synthesis, layout, Computer-aided design of VLSI
29	Hsun-Cheng Lee, Yao-Wen Chang, Jer-Ming Hsu, Hannah Honghua Yang	Multilevel floorplanning/placement for large-scale modules using B*-trees.	DAC	2003	DBLP DOI BibTeX RDF	multilevel framework, floorplanning, lagrangian relaxation
29	Evangeline F. Y. Young, Chris C. N. Chu, W. S. Luk, Y. C. Wong	Handling soft modules in general nonslicing floorplan usingLagrangian relaxation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
29	Michel Renovell, Jean-Michel Portal, Joan Figueras, Yervant Zorian	SRAM-based FPGA's: testing the LUT/RAM modules.	ITC	1998	DBLP DOI BibTeX RDF
29	Dimitrios Kagaris, Spyros Tragoudas	A fast algorithm for minimizing FPGA combinational and sequential modules.	ACM Trans. Design Autom. Electr. Syst.	1996	DBLP DOI BibTeX RDF	field programmable gate arrays, retiming
29	Taghi M. Khoshgoftaar, Edward B. Allen, Robert Halstead 0001, Gary P. Trio	Detection of Fault-Prone Software Modules During a Spiral Life Cycle.	ICSM	1996	DBLP DOI BibTeX RDF	spiral life cycle model, fault-prone software, classification, principal components analysis, software maintenance, software metrics, discriminant analysis
29	Robert Harper 0001, Mark Lillibridge	A Type-Theoretic Approach to Higher-Order Modules with Sharing.	POPL	1994	DBLP DOI BibTeX RDF
29	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
29	Michael Löwe, Hartmut Ehrig, Werner Fey, Dean Jacobs	On the Relationship Between Algebraic Module Specifications and Program Modules.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
28	Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
28	Norman F. Schneidewind	Allocation and analysis of reliability: multiple levels: system, subsystem, and module.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Software reliability allocation and prediction, Hierarchical software system comprised of modules, Subsystems and System
28	Taghi M. Khoshgoftaar, Edward B. Allen, Jianyu Deng	Controlling Overfitting in Software Quality Models: Experiments with Regression Trees and Classification.	IEEE METRICS	2001	DBLP DOI BibTeX RDF	classification, software maintenance, software metrics, software reliability, overfitting, regression trees, fault-prone modules, S-Plus
28	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
27	Benoît Montagu, Didier Rémy	Modeling abstract types in modules with open existential types.	POPL	2009	DBLP DOI BibTeX RDF	linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types
27	Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio	OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules.	EuroPKI	2007	DBLP DOI BibTeX RDF	Hardware Security Modules, Key management protocol
27	Philip W. L. Fong	Pluggable verification modules: an extensible protection mechanism for the JVM.	OOPSLA	2004	DBLP DOI BibTeX RDF	Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security
27	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
27	Kazumi Hatayama, Kazunori Hikone, Takeshi Miyazaki, Hiromichi Yamada	A practical approach to instruction-based test generation for functional modules of VLSI processors.	VTS	1997	DBLP DOI BibTeX RDF	VLSI processors, instruction-based test generation, functional test pattern generation, gate level faults, constrained test generation, ALU oriented test pattern generation system, VLSI, functional modules, ALPS
27	Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas	Detecting program modules with low testability.	ICSM	1995	DBLP DOI BibTeX RDF	aircraft computers, program module detection, low testability, static software product measures, dynamic quality measure, real time avionics software system, component program modules, classification performance, discriminant modeling methodology, real-time systems, software quality, software metrics, program testing, testability, testability analysis, principal components
27	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
26	Noriko Hanakawa	Visualization for Software Evolution Based on Logical Coupling and Module Coupling.	APSEC	2007	DBLP DOI BibTeX RDF
26	Andrea Gorra, Sanela Lazarevski, Jackie Campbell	An account of the use of synoptic assessment for students in the area of databases at level 2.	ITiCSE	2007	DBLP DOI BibTeX RDF	integrated assessment, synoptic assessment
26	Young-Jun Kim 0002, Taewhan Kim	A HW/SW Partitioner for Multi-Mode Multi-Task Embedded Applications.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	resource allocation/mapping, multi-mode/multi-task applications, HW/SW partitioning
26	John H. Reif, Sam Slee	Asymptotically Optimal Kinodynamic Motion Planning for Self-reconfigurable Robots.	WAFR	2006	DBLP DOI BibTeX RDF
26	Young-Jun Kim 0002, Taewhan Kim	HW/SW partitioning techniques for multi-mode multi-task embedded applications.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	scheduling, allocation, co-design, binding
26	Lukasz Masko	Task Scheduling for Dynamic SMP Clusters with Communication on the Fly for Bounded Number of Resources.	ISPDC	2005	DBLP DOI BibTeX RDF
26	Liguo Yu, Stephen R. Schach, Kai Chen 0010, A. Jefferson Offutt	Categorization of Common Coupling and Its Application to the Maintainability of the Linux Kernel.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	definition-use analysis, kernel-based software, dependencies, Modularity, Linux, open-source software, common coupling
26	Thomas Rauber, Gudula Rünger	Selecting Data Distributions for Unbounded Loops.	IPDPS	2002	DBLP DOI BibTeX RDF	unbounded loops, cost model, data distribution, data redistribution
26	Rowel O. Atienza, Marcelo H. Ang	A Flexible Control Architecture for Mobile Robots: An Application for a Walking Robot.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	flexible control architecture, mobile robots, behavior-based control, walking robots, reactive control, knowledge-based control
26	Atanas Rountev, Barbara G. Ryder	Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries.	CC	2001	DBLP DOI BibTeX RDF
26	Claudio V. Russo	First-Class Structures for Standard ML.	ESOP	2000	DBLP DOI BibTeX RDF
26	Hiroshi Murata, Kunihiro Fujiyoshi, Mineo Kaneko	VLSI/PCB placement with obstacles based on sequence pair.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF