Search results for "module"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Tie Hu, Peter K. Allen, Dennis L. Fowler	In-vivo pan/tilt endoscope with integrated light source.	IROS	2007	DBLP DOI BibTeX RDF
23	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Carolyn L. Talcott	LTL Model Checking.	All About Maude	2007	DBLP DOI BibTeX RDF
23	Wei-Ting Peng, En-Wei Huang, Wei-Lun Chang, Po-Chung Huang, Jun-Ying Bai, Han-Ru Chen, Shao-Yi Chien, Shyh-Kang Jeng, Yi-Ping Hung, Li-Chen Fu, Lin-Shan Lee	Virtual Conduction System with Multi-Resolution Wall Display.	ICME	2007	DBLP DOI BibTeX RDF
23	Zhenjiang Li, Feng He, Qingming Yao, Fei-Yue Wang 0001	Signal Controller Design for Agent-Based Traffic Control System.	ICNSC	2007	DBLP DOI BibTeX RDF
23	Girija Chetty, Michael Wagner 0004	A Robust Speaking Face Modelling Approach Based on Multilevel Fusion.	DICTA	2007	DBLP DOI BibTeX RDF
23	Gunn-Yong Park, Seung-Ik Lee, Woo-Young Kwon, Joong-Bae Kim	Neurocognitive Affective System for an Emotive Robot.	IROS	2006	DBLP DOI BibTeX RDF
23	Jae Sik Lee, Jin Chun Lee	Music for My Mood: A Music Recommendation System Based on Context Reasoning.	EuroSSC	2006	DBLP DOI BibTeX RDF	Data Mining, Context-Awareness, Case-based Reasoning, Music Recommendation System, Context Reasoning
23	Xin Jia, Ranga Vemuri	CAD Tools for a Globally Asynchronous Locally Synchronous FPGA Architecture.	VLSI Design	2006	DBLP DOI BibTeX RDF
23	Jihyun Kim 0001, Sanghyeok Seo, Sung-Shick Kim	Neural Networks Fusion to Overlay Control System for Lithography Process.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Run-to-Run Control, Neural Networks, Lithography
23	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
23	Shigeo Kawata, Hideaki Fuju, Hideaki Sugiura, Yuichi Saitoh, Yoshikazu Hayase, Takayuki Teramoto, Takashi Kikuchi	A Distributed Problem Solving Environment (PSE) for Scientific Computing.	e-Science	2005	DBLP DOI BibTeX RDF
23	Zeljko Obrenovic, Nestor Garay, Juan Miguel López 0001, Inmaculada Fajardo, Idoia Cearreta	An Ontology for Description of Emotional Cues.	ACII	2005	DBLP DOI BibTeX RDF
23	Sung-il Kim, Sung-Hyun Yun, Mi-sun Yoon, Yeon-hee So, Won-Sik Kim, Myung-Jin Lee, Dong-Seong Choi, Hyung-Woo Lee	Design and Implementation of the KORI: Intelligent Teachable Agent and Its Application to Education.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	TA (Teachable Agent), learning by teaching, motivation to learn, knowledge representation, intelligent tutoring system, concept map, inference engine
23	Thomas Kwok, Thao Nguyen	An Automatic Electronic Contract Document Signing System in a Secure Environment.	CEC	2005	DBLP DOI BibTeX RDF
23	Daniel L. Rosenband, Arvind	Modular scheduling of guarded atomic actions.	DAC	2004	DBLP DOI BibTeX RDF	Design, Algorithms, Verification, Languages
23	Pradip A. Thaker, Vishwani D. Agrawal, Mona E. Zaghloul	A test evaluation technique for VLSI circuits using register-transfer level fault modeling.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
23	Jianjun Zhao 0001	Data-Flow-Based Unit Testing of Aspect-Oriented Programs.	COMPSAC	2003	DBLP DOI BibTeX RDF
23	Keiji Yanai	Generic image classification using visual knowledge on the web.	ACM Multimedia	2003	DBLP DOI BibTeX RDF	image gathering, image classification, web image mining
23	Mikhail Kazakov, Habib Abdulrab	A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform.	Metainformatics	2003	DBLP DOI BibTeX RDF
23	Qun Ren, Jie Tian 0001, Yuliang He, Jiangang Cheng	Automatic Fingerprint Identification Using Cluster Algorithm.	ICPR (2)	2002	DBLP DOI BibTeX RDF
23	Wen-Tsong Shiue	Low Power Memory Design.	ASAP	2002	DBLP DOI BibTeX RDF
23	Kuo-Yang Tu	Design and Implementation of a Soccer Robot with Modularized Control Circuits.	RoboCup	2001	DBLP DOI BibTeX RDF
23	Davide Ancona, Elena Zucca	True Modules for Java-like Languages.	ECOOP	2001	DBLP DOI BibTeX RDF
23	Indradeep Ghosh, Niraj K. Jha, Sudipta Bhawmik	A BIST scheme for RTL circuits based on symbolic testabilityanalysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
23	Kenneth Y. Yun, Ayoob E. Dooply	Pausible clocking-based heterogeneous systems.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
23	B. Kanchanam, V. V. S. Sarma	Software Quality Enhancement Through Software Process Optimization Using Taguchi Methods.	ECBS	1999	DBLP DOI BibTeX RDF	design of experiments and Taguchi methods, software quality, software metrics, software process improvement, Quality assurance
23	Giacomo Bucci, Enrico Vicario	Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Time-critical systems, model partitioning, incremental state space enumeration, state space projection, compositional validation, time Petri Nets, finite state models
23	Zhong Shao, Andrew W. Appel	Smartest Recompilation.	POPL	1993	DBLP DOI BibTeX RDF	ML
23	Joylyn Reed, Raymond T. Yeh	Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
23	Michael N. Nelson, Brent B. Welch, John K. Ousterhout	Caching in the Sprite Network File System (Extended Abstract). (long version: ACM Trans. Comput. Syst. 6(1): 134-154(1988))	SOSP	1987	DBLP DOI BibTeX RDF
21	Chun-Chao Yeh, Chun-Hsin Wu	Module Filtering Preprocessing for Module Assignment Problems in Pipelined Computing.	ICPADS	2002	DBLP DOI BibTeX RDF
20	Umar Farooq 0001, K. M. Hasan, Mahmood ul Hasan, Muhammad Usman Asad, Asim Iqbal, M. Khalil Akhtar	Microcontroller Based Low Cost Controlled Rectifiers Training Module for Power Electronics Laboratory.	ICSAP	2010	DBLP DOI BibTeX RDF	power electronics laboratory, controlled rectifiers training module, microcontroller implementation
20	Keizo Sato, Akira Nakanishi, Makoto Nakashima, Tetsuro Ito	A Legwork Mechanism to Assist a Suggesting Module in Finding Worthy Webpages in Search Results.	CISIS	2010	DBLP DOI BibTeX RDF	name-query, topic-query, legwork mechanism, suggesting module, relevance feedback, Web search engine, retrieval effectiveness
20	Meikang Qiu, Meiqin Liu, Fei Hu 0001, Shaobo Liu, Lingfeng Wang	Energy Aware Loop Scheduling for High Performance Multi-Module Memory.	NPC	2009	DBLP DOI BibTeX RDF	multi-module, partition, prefetching, Energy minimization, loop scheduling
20	László Lövei	Automated module interface upgrade.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	interface transformation, module interface change, refactoring, erlang
20	Weixing Ji, Feng Shi 0009, Baojun Qiao	A self-maintained memory module supporting DMM.	CASES	2007	DBLP DOI BibTeX RDF	active memory module, object-based cache, object-oriented programming, dynamic memory management
20	Huilin Yuan, Shuxun Cai	The application of module in Logistics Management Information System (LSMIS).	ICEC	2005	DBLP DOI BibTeX RDF	logistics management, module, JavaBeans
20	James Alfred Walker, Julian Francis Miller	Investigating the performance of module acquisition in cartesian genetic programming.	GECCO	2005	DBLP DOI BibTeX RDF	digital adders, digital comparators, digital multipliers, modularity, cartesian genetic programming, computational effort, module acquisition
20	Usha Santhanam	Automating software module testing for FAA certification.	SIGAda	2001	DBLP DOI BibTeX RDF	FAA Certification, Software Module Test, Structural Test, Test Automation
20	Shinji Sato	Simulated quenching: a new placement method for module generation.	ICCAD	1997	DBLP DOI BibTeX RDF	Placement, Module, LSI
20	Raghava V. Cherabuddi, Magdy A. Bayoumi, H. Krishnamurthy	A low power based system partitioning and binding technique for multi-chip module architectures.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF	binding technique, multi-chip module architectures, high-level synthesis framework, inter-chip buses, stochastic evolution based technique, multichip modules, switching activity, MCM, functional units, system partitioning, benchmark designs
20	Santanu Chattopadhyay, Samir Roy, Parimal Pal Chaudhuri	Technology mapping on a multi-output logic module built around Cellular Automata Array for a new FPGA architecture.	VLSI Design	1995	DBLP DOI BibTeX RDF	multi-output logic module, cellular automata array, design turn-around time, field programmability, rapid circuit realization, logic blocks, AND-XOR based logic, library based technology mapping technique, MCNC benchmarks, field programmable gate arrays, VLSI, cellular automata, logic CAD, testability, technology mapping, multivalued logic circuits, FPGA architecture
20	David Fernández-Baca, A. Medepalli	Parametric Module Allocation on Partial k-Trees.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	module allocation, computational complexity, dynamic programming, graph theory, resource allocation, distributed processing, polynomial time, partial k-trees, communication graph
20	Keumog Ahn, Sartaj Sahni	NP-Hard Module Rotation Problems.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	NP-hard module rotation problems, circuit modules, performance, computational complexity, circuit layout CAD, circuit layout CAD, routability
20	Irith Pomeranz, Zvi Kohavi	Polynomial Complexity Algorithms for Increasing the Testability of Digital Circuits by Testing Module Insertion.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	polynomial complexity algorithms, testing-module insertion, test set merging, fanout free circuits, computational complexity, logic testing, partitioning, combinational circuits, logic CAD, testability, digital circuits, combinatorial circuits, single stuck-at faults, test generation algorithm, placement algorithm
20	Tein-Hsiang Lin, Kang G. Shin	Location of a Faulty Module in a Computing System.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	faulty module, likelihood principle, fault tolerance, fault tolerant computing, probability, error detection, error propagation, computing system, model parameters
20	Catherine E. Houstis	Module Allocation of Real-Time Applications to Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	module allocation, k-processor multiprocessor systems, application-architecture pair, performance evaluation, performance evaluation, distributed systems, real-time systems, parallelism, distributed processing, mapping, multiprocessing systems, real-time applications, performance characteristics
20	Rae-Hong Park, Woo Young Choi	Comments on "A Three-Module Strategy for Edge Detection" (with reply).	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	three-module strategy, edge subspace, pattern recognition, pattern recognition, picture processing, picture processing, edge detection
20	Michitaka Kameyama, Tatsuo Higuchi 0001	Synthesis of Multiple-Valued Logic Networks Based on Tree-Type Universal Logic Module.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF	Compatible set, complex disjunctive decomposition, control variables, residue functions, row multiplicity, ternary T-gate, tree-type universal logic module (T-ULM), true and constant inputs, dependency, expansion
20	Ramachendra P. Batni, Charles R. Kime	A Module-Level Testing Approach for Combinational Networks.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	B-transformation, effective blocking technique, fault detection tests, module-level testing, combinational networks
20	Daniel P. Siewiorek	Reliability Modeling of Compensating Module Failures in Majority Voted Redundancy.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Compensating module failures, mission time improvement, triple modular redundancy (TMR), fault equivalence, fault dominance
20	Eric Martin Heien, Yusuke Takata, Kenichi Hagihara, Adam Kornafeld	PyMW - A Python module for desktop grid and volunteer computing.	IPDPS	2009	DBLP DOI BibTeX RDF
20	Kazuhide Fukushima, Shinsaku Kiyomoto, Toshiaki Tanaka	Obfuscation Mechanism in Conjunction with Tamper-Proof Module.	CSE (2)	2009	DBLP DOI BibTeX RDF
20	Yu-Te Su, Chun-Yang Hu, Tzuu-Hseng S. Li	FPGA-Based Vocabulary Recognition Module for Humanoid Robot.	FIRA	2009	DBLP DOI BibTeX RDF	FPGA-based, humanoid robot
20	Aniello Murano, Margherita Napoli, Mimmo Parente	Program Complexity in Hierarchical Module Checking.	LPAR	2008	DBLP DOI BibTeX RDF
20	Wu Ding, Ching Y. Suen, Adam Krzyzak	A new courtesy amount recognition module of a Check Reading System.	ICPR	2008	DBLP DOI BibTeX RDF
20	Leandro Fiorin, Slobodan Lukovic, Gianluca Palermo	Implementation of a reconfigurable data protection module for NoC-based MPSoCs.	IPDPS	2008	DBLP DOI BibTeX RDF
20	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
20	Paolo A. G. Sivilotti, Stacey A. Laugel	Scratching the surface of advanced topics in software engineering: a workshop module for middle school students.	SIGCSE	2008	DBLP DOI BibTeX RDF	K-12 outreach, specifications, refinement, scratch
20	Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre	µ-calculus Pushdown Module Checking with Imperfect State Information.	IFIP TCS	2008	DBLP DOI BibTeX RDF
20	Anastasia Leontyeva, Ildar Kagirov	The Module of Morphological and Syntactic Analysis SMART.	TSD	2008	DBLP DOI BibTeX RDF	speech decoder, word processing, Morphological analysis, syntactic analysis
20	Matthias Galster, Armin Eberlein, Mahmood Moussavi	A Process Module to Pre-Process Requirements for Architecting.	ECBS	2007	DBLP DOI BibTeX RDF
20	Zhipeng Liu, Jinian Bian, Qiang Zhou 0001, Hui Dai	Interconnect Delay and Power Optimization by Module Duplication for Integration of High Level Synthesis and Floorplan.	ISVLSI	2007	DBLP DOI BibTeX RDF
20	Mustafa Emre Karagozler, Jason Campbell, Gary K. Fedder, Seth Copen Goldstein, Michael Philetus Weller, Byung Woo Yoon	Electrostatic latching for inter-module adhesion, power transfer, and communication in modular robots.	IROS	2007	DBLP DOI BibTeX RDF
20	Mircea Lungu, Michele Lanza	Exploring Inter-Module Relationships in Evolving Software Systems.	CSMR	2007	DBLP DOI BibTeX RDF
20	Yuri Hopteriev	An exercise practicing module on web programming electronic courses.	CompSysTech	2007	DBLP DOI BibTeX RDF	dynamic e-course, online examples testing, e-learning, web based learning, web programming
20	Ziming Zhang, Syin Chan, Liang-Tien Chia	Codebook+: A New Module for Creating Discriminative Codebooks.	ICME	2007	DBLP DOI BibTeX RDF
20	Ki-Uk Kyung, Junseok Park	Ubi-Pen: Development of a Compact Tactile Display Module and Its Application to a Haptic Stylus.	WHC	2007	DBLP DOI BibTeX RDF
20	KyoungHee Ko, Pilyong Kang, Wontae Sim	Design of Hybrid Network Discovery Module for Detecting Client Applications and ActiveX Controls.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	Active Network Discovery, Passive Network Discovery, IT Asset Management, Information Security Management
20	Guanfeng Liu 0001, Yuebin Xu	A New Grid Economy Architecture with Resources Pricing Fluctuation Module.	GCC	2007	DBLP DOI BibTeX RDF
20	Hong Fu, Zheru Chi, David Dagan Feng, Weibao Zou, King Chuen Lo, Xiaoyu Zhao	Pre-classification Module for an All-Season Image Retrieval System.	IJCNN	2007	DBLP DOI BibTeX RDF
20	Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Patranjan	A Generic Module System for Web Rule Languages: Divide and Rule.	RuleML	2007	DBLP DOI BibTeX RDF
20	Teck Hong Koh, M. W. S. Lau, Gerald Seet, Eicher Low	A Control Module Scheme for an Underactuated Underwater Robotic Vehicle.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	underactuated, underwater robotic vehicle, control
20	Wonil Kim, Sangyoon Oh 0001, Sanggil Kang, Dongkyun Kim	Multi-module Image Classification System.	FQAS	2006	DBLP DOI BibTeX RDF
20	Zhiyu Shao, Hanxu Sun, Qingxuan Jia, Ping Ye, Yuesheng Tan	Development of a General 2-DOF Space Module.	IROS	2006	DBLP DOI BibTeX RDF
20	In-Gab Hwang, Jae-Gil Han, Yong-Hoon Cho, Jeong-Hun Choi	Development of a Integrated RF Module for the Terrestrial and the Satellite DMB(Digital Multimedia Broadcasting) Services.	SUTC (2)	2006	DBLP DOI BibTeX RDF
20	Sönke Busch, Björn Muschall, Günther Pernul, Torsten Priebe	Authrule: A Generic Rule-Based Authorization Module. (PDF / PS)	DBSec	2006	DBLP DOI BibTeX RDF
20	George Jie Yuan, Nabil H. Farhat, Jan Van der Spiegel	A CMOS monolithic implementation of a nonlinear interconnection module for a corticonic network.	ISCAS	2006	DBLP DOI BibTeX RDF
20	Se-Jin Ji, Jung-Woo Kwon, Jong-Hee Park	An Elaborated Goal Production Module for Implementing a Virtual Inhabitant.	IEA/AIE	2006	DBLP DOI BibTeX RDF
20	Yohei Yokobayashi, Frances H. Arnold	A Dual Selection Module for Directed Evolution of Genetic Circuits.	Nat. Comput.	2005	DBLP DOI BibTeX RDF	directed evolution, genetic circuits, synthetic gene circuits, selection, synthetic biology, cellular computation
20	Enric Gibert, Jaume Abella 0001, F. Jesús Sánchez, Xavier Vera, Antonio González 0001	Variable-Based Multi-module Data Caches for Clustered VLIW Processors.	IEEE PACT	2005	DBLP DOI BibTeX RDF
20	Laura Bozzelli, Aniello Murano, Adriano Peron	Pushdown Module Checking.	LPAR	2005	DBLP DOI BibTeX RDF
20	Wensheng Xu, David W. Chadwick, Sassa Otenko	Development of a Flexible PERMIS Authorisation Module for Shibboleth and Apache Server.	EuroPKI	2005	DBLP DOI BibTeX RDF
20	Santonu Sarkar, Avinash C. Kak, N. S. Nagaraja	Metrics for Analyzing Module Interactions in Large Software Systems.	APSEC	2005	DBLP DOI BibTeX RDF
20	Ho-cheol Choi, Sang-Yong Han	Korma 2003: Newly Improved Korean Morpheme Analysis Module for Reducing Terminological and Spacing Errors in Document Analysis.	CICLing	2005	DBLP DOI BibTeX RDF
20	Georgios I. Papadimitriou, Amalia N. Miliou, Andreas S. Pomportsis	An Optically Controlled Module for Wavelength Conversion Circuits.	ISCC	2005	DBLP DOI BibTeX RDF
20	Jinkeun Hong	The Fuzzy Engine for Random Number Generator in Crypto Module.	ICN (2)	2005	DBLP DOI BibTeX RDF
20	Mark Harman, Stephen Swift, Kiarash Mahdavi	An empirical study of the robustness of two module clustering fitness functions.	GECCO	2005	DBLP DOI BibTeX RDF	clustering, modularization, fitness functions
20	Xuequn Li, Haleh Vahedi, Radu Muresan, Stefano Gregori	An integrated current flattening module for embedded cryptosystems.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
20	Yukiko Hoshino, Tsuyoshi Takagi, Ugo Di Profio, Masahiro Fujita	Behavior Description and Control using Behavior Module for Personal Robot.	ICRA	2004	DBLP DOI BibTeX RDF
20	Susana López, Borja Fernández, Arkaitz Glz. de Arrieta, José Daniel Gómez de Segura, Alejandro M. García-Alonso	Collision Module Integration in a Specific Graphic Engine for Terrain Visualization.	IV	2004	DBLP DOI BibTeX RDF	graphic engine, visualization, collision detection, terrain
20	Heather D. Pfeiffer	An Exportable CGIF Module from the CP Environment: A Pragmatic Approach.	ICCS	2004	DBLP DOI BibTeX RDF
20	Praveen Madiraju, Sushil K. Prasad, Rajshekhar Sunderraman, Erdogan Dogdu	An Agent Module for a System on Mobile Devices.	AP2PC	2004	DBLP DOI BibTeX RDF	Agent Middleware for Mobile Devices, Agent Based Execution Engine, System on Mobile Devices Middleware, Mobile Agents
20	Martin Pinzger 0001, Michael Fischer 0001, Mehdi Jazayeri, Harald C. Gall	Abstracting Module Views from Source Code.	ICSM	2004	DBLP DOI BibTeX RDF
20	G. G. Amerson, Amy W. Apon	Implementation and design analysis of a network messaging module using virtual interface architecture.	CLUSTER	2004	DBLP DOI BibTeX RDF
20	Wooseok Jun, Dongsoo Han	A Portable Interoperation Module for Workflow System.	IDEAS	2003	DBLP DOI BibTeX RDF
20	Michael V. Boldasov, Elena G. Sokolova	QGen - Generation Module for the Register Restricted InBASE System.	CICLing	2003	DBLP DOI BibTeX RDF
20	Dolores Zage, Wayne Zage	A Stress-Point Resolution System Based on Module Signatures.	SEW	2003	DBLP DOI BibTeX RDF
20	Daniel Jackson 0001	Module Dependences in Software Design.	RISSEF	2002	DBLP DOI BibTeX RDF
20	Michael V. Boldasov, Elena G. Sokolova, Michael G. Malkovsky	User Query Understanding by the InBASE System as a Source for a Multilingual NL Generation Module.	TSD	2002	DBLP DOI BibTeX RDF