Search results for "modules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
4	Ronald Brown, Ilhan Içen	Homotopies and Automorphisms of Crossed Modules of Groupoids.	Applied Categorical Structures	2003	DBLP DOI BibTeX RDF	crossed modules, groupoids, 2-crossed modules, actors, automorphisms
4	Hany H. Ammar, AbdulMobeen Mohammad, Osama Abdalla, Kankanahalli Srinivas	Process-Centered Environments for Web-Based Instructional Modules. (PDF / PS)	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
4	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
4	Kai-Yuan Chao, D. F. Wong	Thermal placement for high-performance multichip modules. (PDF / PS)	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
3	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
3	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
3	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
3	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
3	Ting Gong, Jianhua Xuan, Li Chen, 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
3	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
3	Hans-Martin Pohl, Patrycja Tulinska, Jan-Torsten Milde	Efficient Creation of Multi Media eLearning Modules.	HCI	2007	DBLP DOI BibTeX RDF	SCORM 2004, creation of content, transformation, modules, XSLT, eLearning, user friendly, LOM, style sheet, lesson
3	Derek Dreyer	A type system for recursive modules.	ICFP	2007	DBLP DOI BibTeX RDF	type systems, recursion, abstract data types, modules
3	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
3	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
3	Keiko Nakata, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
3	Yanqiong Fei, Xifang Zhao	Modules Classification and Automatic Generation of Kinematics on Self-reconfigurable Modular Machines.	Journal of Intelligent and Robotic Systems	2005	DBLP DOI BibTeX RDF	modules, kinematics, self-reconfigurable
3	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
3	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
3	Taghi M. Khoshgoftaar, Edward B. Allen	Ordering Fault-Prone Software Modules.	Software Quality Journal	2003	DBLP DOI BibTeX RDF	module-order model, software reliability, software quality models, fault-prone modules, multiple linear regression
3	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
3	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
3	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
3	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
3	Taghi M. Khoshgoftaar, Edward B. Allen	Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	embedded systems, software metrics, software reliability, classification trees, CART, fault-prone modules, high assurance
3	Kazumi Hatayama, Kazunori Hikone, T. Miyazaki, H. 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
3	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
3	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
3	Martin Verlage	Towards software process modules. (PDF / PS)	ISPW	1996	DBLP DOI BibTeX RDF	software process modules, software process model reuse, software process engineering, software reusability, roles, views, software project
3	Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead, Gary P. Trio	A tree-based classification model for analysis of a military software system. (PDF / PS)	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
3	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
3	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
3	Taghi M. Khoshgoftaar, Robert M. Szabo, Jeffrey M. Voas	Detecting program modules with low testability. (PDF / PS)	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
3	Yao-Wen Chang, D. F. Wong, C. K. Wong	Design and analysis of FPGA/FPIC switch modules. (PDF / PS)	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
3	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
3	Sheng-Yih Guan, Avi Bleiweiss, Richard Lipes	Parallel implementation of volume rendering on Denali graphics systems. (PDF / PS)	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
3	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
3	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
3	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
3	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
3	Zohel Khalil, Guennadi Falin, Tao Yang	Some analytical results for congestion in subscriber line modules.	Queueing Syst.	1992	DBLP DOI BibTeX RDF	Subscriber Line Modules, iterative algorithms, retrial queues, diffusion approximations, Asymptotic behaviours
3	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
2	Kasper Vilstrup Roldsgaard, Sead Bajrovic	Business Model Renewal: How SMS Modules Can Deliver and Capture Value in a Creative Enterprise Design - An Embedded Case Study Approach.	ICMB	2011	DBLP DOI BibTeX RDF	Creative Enterprise Design, SMS Modules, Business Model Renewal, Value Creation
2	Alexander Heinecke, Carsten Trinitis, Josef Weidendorfer	Porting existing cache-oblivious linear algebra HPC modules to larrabee architecture.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	accelerator space-filling curve, openmp, matrix multiplication, cache-oblivious, lu decomposition, manycore
2	Akif Günes Koru, Dongsong Zhang, Khaled El Emam, Hongfang Liu	An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
2	Feng Feng, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
2	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
2	Werner M. Seiler	A combinatorial approach to involution and delta-regularity II: structure analysis of polynomial modules with pommaret bases.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF
2	Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler	Extracting Modules from Ontologies: A Logic-Based Approach.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
2	Zeeshan Ali Rana, Mian M. Awais, Shafay Shamail	An FIS for Early Detection of Defect Prone Modules.	ICIC	2009	DBLP DOI BibTeX RDF
2	Cagatay Catal, Ugur Sevim, Banu Diri	Clustering and Metrics Thresholds Based Software Fault Prediction of Unlabeled Program Modules.	ITNG	2009	DBLP DOI BibTeX RDF	unlabeled program modules, metrics thresholds, clustering, unsupervised learning, software fault prediction
2	Noritaka Shigei, Hiromi Miyajima, Shinya Nagamine	A Proposal of Fuzzy Inference Model Composed of Small-Number-of-Input Rule Modules.	ISNN	2009	DBLP DOI BibTeX RDF	Fuzzy reasoning model, Single-input rule module, Small-number-of-input rule module, A large number of input variables
2	Krzysztof Goczyla, Aleksander Waloszek, Wojciech Waloszek	Algebra of Ontology Modules for Semantic Agents.	ICCCI	2009	DBLP DOI BibTeX RDF
2	Jochen Strunk, Toni Volkmer, Klaus Stephan, Wolfgang Rehm, Heiko Schick	Impact of run-time reconfiguration on design and speed - A case study based on a grid of run-time reconfigurable modules inside a FPGA.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Delphine Boucher, Felix Ulmer	Codes as Modules over Skew Polynomial Rings.	IMA Int. Conf.	2009	DBLP DOI BibTeX RDF
2	Frédéric Chazal, David Cohen-Steiner, Marc Glisse, Leonidas J. Guibas, Steve Oudot	Proximity of persistence modules and their diagrams.	Symposium on Computational Geometry	2009	DBLP DOI BibTeX RDF	persistence diagram, topological data analysis, topological persistence, stability, discretization
2	Michael Philetus Weller, Brian T. Kirby, H. Benjamin Brown, Mark D. Gross, Seth Copen Goldstein	Design of prismatic cube modules for convex corner traversal in 3D.	IROS	2009	DBLP DOI BibTeX RDF
2	Masoud Asadpour, Mohammad Hassan Zokaei Ashtiani, Alexander Spröwitz, Auke Jan Ijspeert	Graph signature for self-reconfiguration planning of modules with symmetry.	IROS	2009	DBLP DOI BibTeX RDF
2	Masahiro Shimizu, Kenji Suzuki	A self-repairing structure for modules and its control by vibrating actuation mechanisms.	ICRA	2009	DBLP DOI BibTeX RDF
2	Kanako Harada, Ekawahyu Susilo, Arianna Menciassi, Paolo Dario	Wireless reconfigurable modules for robotic endoluminal surgery.	ICRA	2009	DBLP DOI BibTeX RDF
2	Benedikt Deicke, Jan-Torsten Milde, Hans-Martin Pohl	A Web-Based, Interactive Annotation Editor for the eCampus Development Environment for SCORM Compliant E-Learning Modules.	HCI	2009	DBLP DOI BibTeX RDF	eCampus, OpenOffice, E-Learning, Web, annotation, transformation, JavaScript, SCORM, Ruby, user friendly, Ruby on Rails
2	Lorenzo De Carli, Yi Pan, Amit Kumar, Cristian Estan, Karthikeyan Sankaralingam	PLUG: flexible lookup modules for rapid deployment of new protocols in high-speed routers.	SIGCOMM	2009	DBLP DOI BibTeX RDF	high-speed routers, flexibility, dataflow, forwarding, lookup, tiled architectures
2	Stephen Kell	The mythical matched modules: overcoming the tyranny of inflexible software construction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	integration, reuse, modularity, flexibility, coupling
2	Min Li, Jianxin Wang, Jianer Chen, Yi Pan	Hierarchical Organization of Functional Modules in Weighted Protein Interaction Networks Using Clustering Coefficient.	ISBRA	2009	DBLP DOI BibTeX RDF	clustering, Protein interaction network, functional module
2	Hao Jia, Fengdi Shu, Ye Yang, Qing Wang	Predicting Fault-Prone Modules: A Comparative Study.	SEAFOOD	2009	DBLP DOI BibTeX RDF
2	Corban G. Rivera, T. M. Murali	Identifying Evolutionarily Conserved Protein Interaction Modules Using GraphHopper.	BICoB	2009	DBLP DOI BibTeX RDF
2	Martin Kuhlemann, Don S. Batory, Sven Apel	Refactoring Feature Modules.	ICSR	2009	DBLP DOI BibTeX RDF
2	Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha	Safe open-nested transactions through ownership.	PPOPP	2009	DBLP DOI BibTeX RDF	abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types
2	Hans-Martin Pohl, Benedikt Deicke, Jan-Torsten Milde	From Paper to Module - An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements.	HCI	2009	DBLP DOI BibTeX RDF	SCORM 2004, creation of content, E-Learning, transformation, modules, XSLT, LMS, moodle, user friendly, LOM, style sheet, lesson
2	Francisco-Javier Lopez, Carlos Cano, Fernando Garcia-Alcalde, Armando Blanco	A Fuzzy Approach for Studying Combinatorial Regulatory Actions of Transcription Factors in Yeast.	IDEAL	2009	DBLP DOI BibTeX RDF	Fuzzy itemsets, regulatory modules, transcription factors, yeast
2	Sven Apel, Thomas Leich, Gunter Saake	Aspectual Feature Modules.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Design, Design Tools and Techniques, Language Constructs and Features
2	Muhammet Mustafa Ozdal, Martin D. F. Wong, Philip S. Honsinger	Optimal routing algorithms for rectilinear pin clusters in high-density multichip modules.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	multi-chip modules, network flow, Escape routing
2	Hirosato Seki, Hiroaki Ishii, Masaharu Mizumoto	On the Generalization of Single Input Rule Modules Connected Type Fuzzy Reasoning Method.	IEEE T. Fuzzy Systems	2008	DBLP DOI BibTeX RDF
2	Lars Kadison	Anchor Maps and Stable Modules in Depth Two.	Applied Categorical Structures	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30
2	Qunyi Zhou, Wenxin Wang	The Automatic Inference of Arden Medical Logic Modules.	BMEI	2008	DBLP DOI BibTeX RDF	Arden, Inference, Clinical Decision Support System
2	Min Li, Jianxin Wang, Jianer Chen	A Fast Agglomerate Algorithm for Mining Functional Modules in Protein Interaction Networks.	BMEI	2008	DBLP DOI BibTeX RDF
2	Paul Kaufmann, Marco Platzner	Advanced techniques for the creation and propagation of modules in cartesian genetic programming.	GECCO	2008	DBLP DOI BibTeX RDF	automatically defined functions (adfs), cartesian genetic programming (cgp), embedded cartesian genetic programming (ecgp), crossover operator, module acquisition
2	Chuanyu Xu	Intuitionistic Fuzzy Modules and Their Structures.	ICIC	2008	DBLP DOI BibTeX RDF
2	Yoshiki Higo, Kenji Murao, Shinji Kusumoto, Katsuro Inoue	Predicting fault-prone modules based on metrics transitions.	DEFECTS	2008	DBLP DOI BibTeX RDF
2	Nicolas Tsiftes, Adam Dunkels, Thiemo Voigt	Efficient Sensor Network Reprogramming through Compression of Executable Modules.	SECON	2008	DBLP DOI BibTeX RDF
2	Andreas Lagemann, Jörg Nolte	CsharpSimpleModule: writing OMNeT++ modules with C# and mono.	SimuTools	2008	DBLP DOI BibTeX RDF
2	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
2	Jeongmin Park, Joonhoon Lee, Eunseok Lee	Goal graph based performance improvement for self-adaptive modules.	ICUIMC	2008	DBLP DOI BibTeX RDF	activation switch, goal graph, self-adaptive module
2	Paul Doran, Valentina A. M. Tamma, Ignazio Palmisano, Terry R. Payne, Luigi Iannone	Evaluating Ontology Modules Using an Entropy Inspired Metric.	Web Intelligence	2008	DBLP DOI BibTeX RDF
2	Túlio Cicero Salvaro de Souza, Jean Everson Martina, Ricardo Felipe Custódio	Audit and backup procedures for hardware security modules.	IDtrust	2008	DBLP DOI BibTeX RDF	PKI ceremony, embedded cryptographic hardware, hardware security module, key life-cycle, key management, public key infrastructure
2	Stefan Wehr, Manuel M. T. Chakravarty	ML Modules and Haskell Type Classes: A Constructive Comparison.	APLAS	2008	DBLP DOI BibTeX RDF
2	Ellen Francine Barbosa, José Carlos Maldonado	Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules.	ISoLA	2008	DBLP DOI BibTeX RDF
2	Min Li, Jianxin Wang, 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
2	Tze Ying Sim, Fang Li, Birgit Vogel-Heuser	Modules, version and variability management in automation engineering of machine and plant manufacturing.	ETFA	2008	DBLP DOI BibTeX RDF
2	Ou He, Sheqin Dong, Jinian Bian, Satoshi Goto, Chung-Kuan Cheng	A novel fixed-outline floorplanner with zero deadspace for hierarchical design.	ICCAD	2008	DBLP DOI BibTeX RDF	floorplanner, soft modules, zero deadspace, fixed-outline
2	Viktor Levandovskyy, Jorge Martín-Morales	Computational D-module theory with singular, comparison with other systems and two new algorithms.	ISSAC	2008	DBLP DOI BibTeX RDF	bernstein-sato polynomial, intersection with subalgebra, non-commutative groebner bases, preimage of ideal, annihilator, groebner bases, D-modules
2	Hideaki Hata, Osamu Mizuno, Tohru Kikuno	An extension of fault-prone filtering using precise training and a dynamic threshold.	MSR	2008	DBLP DOI BibTeX RDF	text mining, spam filter, fault-prone modules
2	Kunal Agrawal, I.-Ting Angelina Lee, Jim Sukha	Safe open-nested transactions through ownership.	SPAA	2008	DBLP DOI BibTeX RDF	abstract serializability, open-nested transactions, ownership-aware transactions, serializability by levels, serializability by modules, xmodules, transactional memory, ownership types
2	Venera Arnaoudova, Constantinos Constantinides	Adaptation of Refactoring Strategies to Multiple Axes of Modularity: Characteristics and Criteria.	SERA	2008	DBLP DOI BibTeX RDF	refactoring, maintenance, modules, aspects
2	Catherine Hu, Kinsun Tung, Lawrence Lau	Music Wall: A Tangible User Interface Using Tapping as an Interactive Technique.	APCHI	2008	DBLP DOI BibTeX RDF	Acoustic sensing modules, Tangible user interface, Interactive surfaces, Input/output device, Interaction method
2	Rafael Caballero, Narciso Martí-Oliet, Adrián Riesco, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
2	Michael Pedersen, Gordon D. Plotkin	A Language for Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF	parametrised modules, subtyping, coloured Petri nets, Large-scale
2	Michael Baake, Peter A. B. Pleasants, Ulf Rehmann	Coincidence Site Modules in 3-Space.	Discrete & Computational Geometry	2007	DBLP DOI BibTeX RDF
2	Naeem Seliya, Taghi M. Khoshgoftaar	Software Quality Analysis of Unlabeled Program Modules With Semisupervised Clustering.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2007	DBLP DOI BibTeX RDF