Search results for "module"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	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
15	Yong Liu 0012, Masaya Iwata, Tetsuya Higuchi, Didier Keymeulen	An Integrated On-Line Learning System for Evolving Programmable Logic Array Controllers.	PPSN	2000	DBLP DOI BibTeX RDF
15	Reinder J. Bril, Loe M. G. Feijs, André Glas, René L. Krikhaar, Thijs Winter	Hiding Expressed Using Relation Algebra with Multi-Relations - Oblique Lifting and Lowering for Unbalanced Systems.	CSMR	2000	DBLP DOI BibTeX RDF	architecture verification, software architecture, formal specification, reverse engineering, software visualization, relation algebra, architectural analysis
15	Yohei Hori, Minenobu Seki, Reijer Grimbergen, Tsutomu Maruyama, Tsutomu Hoshino	A Shogi Processor with a Field Programmable Gate Array.	Computers and Games	2000	DBLP DOI BibTeX RDF	FPGA, Reconfigurable hardware, Shogi
15	Glen Becker, Peter Bock	Shape Classification Using a Radial Feature Token.	AIPR	2000	DBLP DOI BibTeX RDF
15	Bernd Hildebrandt, Alois C. Knoll, Christian Scheering, Jianwei Zhang 0001	Ein Situierter Künstlicher Kommunikator für Konstruktionsaufgaben.	Kognitionswissenschaft	1999	DBLP DOI BibTeX RDF
15	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer	Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.	AGTIVE	1999	DBLP DOI BibTeX RDF
15	Jong-Sheng Cherng, Sao-Jie Chen, Chia-Chun Tsai, Jan-Ming Ho	An Efficient Two-Level Partitioning Algorithm for VLSI Circuits.	ASP-DAC	1999	DBLP DOI BibTeX RDF
15	Silvia Coradeschi, Lars Karlsson, Klas Nordberg	Integration of Vision and Decision-Making in an Autonomous Airborne Vehicle for Traffic Surveillance.	ICVS	1999	DBLP DOI BibTeX RDF
15	Kathleen Fisher, John H. Reppy	The Design of a Class Mechanism for Moby.	PLDI	1999	DBLP DOI BibTeX RDF	ML
15	Chih-Shun Ding, Cheng-Ta Hsieh, Massoud Pedram	Improving sampling efficiency for system level power estimation.	ISLPED	1998	DBLP DOI BibTeX RDF
15	Michel Renovell, Jean-Michel Portal, Joan Figueras, Yervant Zorian	SRAM-based FPGA's: testing the LUT/RAM modules.	ITC	1998	DBLP DOI BibTeX RDF
15	Rogardt Heldal, John Hughes 0001	Partial Evaluation and Separate Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	partial evaluation, modules, separate compilation
15	Sudhir Borra, Sudeep Sarkar	Experimental Performance Evaluation of Feature Grouping Modules.	CVPR	1997	DBLP DOI BibTeX RDF	Figure Ground Segmentation, Performance Evaluation, Grouping, Perceptual Organization
15	Bernd Finkbeiner, Zohar Manna, Henny Sipma	Deductive Verification of Modular Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
15	Jaushin Lee, Janak H. Patel	Hierarchical test generation under architectural level functional constraints.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
15	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
15	Giovanni Seni, Rohini K. Srihari, Nasser M. Nasrabadi	Large Vocabulary Recognition of On-Line Handwritten Cursive Words.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	on-line cursive handwriting recognition, document processing, pen-based systems, neural network applications, Handwritten text recognition
15	Michael Gagliardi, Ragunathan Rajkumar, Lui Sha	Designing for evolvability: building blocks for evolvable real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
15	M. Agarwala, Poras T. Balsara	An architecture for a DSP field-programmable gate array.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
15	T. W. Her, Ting-Chi Wang, Martin D. F. Wong	Performance-driven channel pin assignment algorithms.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
15	Nikola K. Kasabov, S. J. Sinclair, Richard Kilgour, Catherine I. Watson, Mark R. Laws, Diana Kassabova	Intelligent human computer interfaces and the case study of building English-to-Maori talking dictionary.	ANNES	1995	DBLP DOI BibTeX RDF
15	Xavier Leroy	Manifest Types, Modules, and Separate Compilation.	POPL	1994	DBLP DOI BibTeX RDF
15	Harley Davis, Pierre Parquier, Nitsan Séniak	Talking About Modules and Delivery.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	LISP
15	John D. Calhoun, Franc Brglez	A framework and method for hierarchical test generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
15	Diederik Verkest, Luc J. M. Claesen, Hugo De Man	Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment.	EURO-DAC	1990	DBLP DOI BibTeX RDF
15	Kayhan Küçükçakar, Alice C. Parker	Data Path Tradeoffs Using MABAL.	DAC	1990	DBLP DOI BibTeX RDF
15	Nazim H. Madhavji, Jules Desharnais, Luc Pinsonneault, Kamel Toubache	Adapting modules to an integrated programming environment.	ICCL	1988	DBLP DOI BibTeX RDF
15	Thomas R. Leap	Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Modula-2
15	Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural optimization: eliminating unnecessary recompilation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
15	Luca Simoncini, Arthur D. Friedman	Incomplete Fault Coverage In Modular Miltiprocessor Systems.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF
15	Patrica H. Baucom	Software Blueprints.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Chapin charts, Nassi-Shneiderman charts, Program design language, Structured code, Structured flowcharts, Structured programming team, Structured walkthrough, Software design, Structured programming, Stepwise refinement, Structured design, Iterative refinement
15	Abraham Waksman	A comparison between two paradigms of intelligent systems: an example.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
12	Zigang Xiao, Evangeline F. Y. Young	Droplet-routing-aware module placement for cross-referencing biochips.	ISPD	2010	DBLP DOI BibTeX RDF	cross-referencing, dmfb, synthesis, placement, microfluidics, biochip
12	Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath	Comprehending module dependencies and sharing.	ICSE (2)	2010	DBLP DOI BibTeX RDF	visualization, dependency graph, shared library
12		Module.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
12	Laurent Sauvage, Sylvain Guilley, Yves Mathieu	Electromagnetic Radiations of FPGAs: High Spatial Resolution Cartography and Attack on a Cryptographic Module.	ACM Trans. Reconfigurable Technol. Syst.	2009	DBLP DOI BibTeX RDF	EMA, security, FPGA, DPA, SCA, cartography
12	Carl Eastlund, Matthias Felleisen	Toward a Practical Module System for ACL2.	PADL	2009	DBLP DOI BibTeX RDF
12	Andreas Klenk, Holger Kinkelin, Christoph Eunicke, Georg Carle	Preventing identity theft with electronic identity cards and the trusted platform module.	EUROSEC	2009	DBLP DOI BibTeX RDF	authentication with TPM, electronic ID, identity system
12	Yong Sun, Yu (David) Shi, Fang Chen 0001, Vera Yuk Ying Chung	Building a Practical Multimodal System with a Multimodal Fusion Module.	HCI (2)	2009	DBLP DOI BibTeX RDF	Multimodal system design, practical multimodal system, multimodal input fusion
12	Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim	Risky Module Estimation in Safety-Critical Software.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
12	Wei Chu, Seung-Taek Park, Todd Beaupre, Nitin Motgi, Amit Phadke, Seinjuti Chakraborty, Joe Zachariah	A case study of behavior-driven conjoint analysis on Yahoo!: front page today module.	KDD	2009	DBLP DOI BibTeX RDF	clustering, classification, segmentation, logistic regression, tensor product, conjoint analysis
12	Jeffrey Allred, Jack Coyne, William Lynch, Vincent Natoli, Joseph Grecco, Joel Morrissette	Smith-Waterman implementation on a FSB-FPGA module using the Intel Accelerator Abstraction Layer.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar	Transactifying Apache's cache module.	SYSTOR	2009	DBLP DOI BibTeX RDF	software transactional memory
12	Gul N. Khan, Anika Awwal	Codesign of Embedded Systems with Process/Module Level Real-Time Deadlines.	CSE (2)	2009	DBLP DOI BibTeX RDF
12	Wu-Ja Lin, Chih-Wei Ho	A Fast Backlight Module Luminance Inspection Method.	CSE (1)	2009	DBLP DOI BibTeX RDF
12	Daniel Xiaodan Zhou, Paul Resnick	Assessment of conversation co-mentions as a resource for software module recommendation.	RecSys	2009	DBLP DOI BibTeX RDF	conversation double pivot, item-item recommender, evaluation, Drupal
12	Sangseung Kang, Jaehong Kim 0001, Jaeyeon Lee 0001	Intuitive control using a mediated interface module.	Advances in Computer Entertainment Technology	2009	DBLP DOI BibTeX RDF	glove device, mediated interface, robot control, hand gesture
12	Masayuki Noro	Modular Algorithms for Computing a Generating Set of the Syzygy Module.	CASC	2009	DBLP DOI BibTeX RDF
12	Sándor P. Fekete, Jan van der Veen, Ali Ahmadinia, Diana Göhringer, Mateusz Majer, Jürgen Teich	Offline and Online Aspects of Defragmenting the Module Layout of a Partially Reconfigurable Device.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
12	Najwa Aaraj, Anand Raghunathan, Niraj K. Jha	Analysis and design of a hardware/software trusted platform module for embedded systems.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	embedded systems, multiprocessor systems, Custom instructions
12	Fabio Boschetti	A local linear embedding module for evolutionary computation optimization.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Optimization, Evolutionary computation, Locally linear embedding
12	Hugo de Garis	Artificial Brains: An Evolved Neural Net Module Approach.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
12	Olivia Mendoza, Patricia Melin, Guillermo Licea	Interval Type-2 Fuzzy Logic for Module Relevance Estimation in Sugeno Integration of Modular Neural Networks.	Soft Computing for Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF
12	Sang-Wook Shin, Chang-Heon Lee, Hyen-O Oh, Hong-Goo Kang	Designing a unified speech/audio codec by adopting a single channel harmonic source separation module.	ICASSP	2008	DBLP DOI BibTeX RDF
12	Ross Zilligen, Adi Hidayat	A misconception module to a database courseware.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
12	Shann-Chiuen Wu, Yung-Chung Ku, Tzao-Lin Lee	Zero-Configuration Security Module for LAMP Application System.	APSCC	2008	DBLP DOI BibTeX RDF
12	Benjamin Berghaus, Thomas Mandl 0001, Christa Womser-Hacker, Michael Kluck	An Entry Vocabulary Module for a Political Science Test Collection.	BIS	2008	DBLP DOI BibTeX RDF	evaluation issues, entry vocabulary, test collections, Domain specific, query analysis
12	Boontawee Suntisrivaraporn	Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies.	ESWC	2008	DBLP DOI BibTeX RDF
12	Martin Pinzger 0001, Nachiappan Nagappan, Brendan Murphy	Can developer-module networks predict failures?	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	developer contribution network, network centrality measures, social network analysis, failure prediction
12	Liang Li, Jun Han 0003, Xiaoyang Zeng, Jia Zhao	A full-custom design of AES SubByte module with signal independent power consumption.	ISCAS	2008	DBLP DOI BibTeX RDF
12	Yuki Watanabe, Naofumi Homma, Takafumi Aoki, Tatsuo Higuchi 0001	Arithmetic module generator with algorithm optimization capability.	ISCAS	2008	DBLP DOI BibTeX RDF
12	Tian Shen, Yaoyao Zhu, Xiaolei Huang 0001, Junzhou Huang, Dimitris N. Metaxas, Leon Axel	Active Volume Models with Probabilistic Object Boundary Prediction Module.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
12	Mirjam Palosaari Eladhari, Michael Sellers 0001	Good moods: outlook, affect and mood in dynemotion and the mind module.	Future Play	2008	DBLP DOI BibTeX RDF	personality, affect, character, mood, trait, multiplayer
12	Mike Wald	Design of a 10 Credit Masters Level Assistive Technologies and Universal Design Module.	ICCHP	2008	DBLP DOI BibTeX RDF
12	Nanjun Li, Werner Zorn	Introducing Gateway Timeout control in wireless TCP module.	COMSWARE	2008	DBLP DOI BibTeX RDF
12	Olivia Mendoza, Patricia Melin, Guillermo Licea	Estimating module relevance with Sugeno integration of modular neural networks using Interval Type-2 Fuzzy logic.	IJCNN	2008	DBLP DOI BibTeX RDF
12	László Lövei, Csaba Hoch, Hanna Köllö, Tamás Nagy, Anikó Nagyné Víg, Dániel Horpácsi, Róbert Kitlei, Roland Király	Refactoring module structure.	Erlang Workshop	2008	DBLP DOI BibTeX RDF	clustering modules, refactoring, erlang
12	Andrey Somov, Vinay Sachidananda, Roberto Passerone	A Self-powered Module with Localization and Tracking System for Paintball.	IWSOS	2008	DBLP DOI BibTeX RDF
12	Paloma Moreda, Hector Llorens, Estela Saquete, Manuel Palomar	Automatic Generalization of a QA Answer Extraction Module Based on Semantic Roles.	IBERAMIA	2008	DBLP DOI BibTeX RDF	Semantic Roles, Internet Search Engines, Question Answering, Semantic Rules, Semantic Patterns
12	Mark Po-Hung Lin, Shyh-Chang Lin	Analog placement based on hierarchical module clustering.	DAC	2008	DBLP DOI BibTeX RDF	analog placement, floorplanning
12	Liang-Jie Zhang, Jia Zhang 0001, Abdul Allam	A Method and Case Study of Designing Presentation Module in an SOA-based Solution Using Configurable Architectural Building Blocks (ABBs).	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF
12	Welson Sun, Michael J. Wirthlin, Stephen Neuendorffer	FPGA Pipeline Synthesis Design Exploration Using Module Selection and Resource Sharing.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
12	Hsun-Cheng Lee, Yao-Wen Chang, Hannah Honghua Yang	MBast-Tree: A Multilevel Floorplanner for Large-Scale Building-Module Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
12	Davide Balzarotti, Marco Cova, Viktoria Felmetsger, Giovanni Vigna	Multi-module vulnerability analysis of web-based applications.	CCS	2007	DBLP DOI BibTeX RDF	multi-step attacks, static analysis, web applications, dynamic analysis, vulnerability analysis
12	Gi-Hun Yang, Tae-Heon Yang, Seung-Chan Kim, Dong-Soo Kwon, Sungchul Kang	Compact Tactile Display for Fingertips with Multiple Vibrotactile Actuator and Thermoelectric Module.	ICRA	2007	DBLP DOI BibTeX RDF
12	Walter Driesen, Amar Rida, Jean-Marc Breguet, Reymond Clavel	Friction based locomotion module for mobile MEMS robots.	IROS	2007	DBLP DOI BibTeX RDF
12	Najwa Aaraj, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha	Energy and execution time analysis of a software-based trusted platform module.	DATE	2007	DBLP DOI BibTeX RDF
12	Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt	Cluster Grid based Response-time analysis module for the PIPE Tool.	QEST	2007	DBLP DOI BibTeX RDF
12	Fiona Browne, Haiying Wang 0001, Huiru Zheng, Francisco Azuaje	Supervised Statistical and Machine Learning Approaches to Inferring Pairwise and Module-Based Protein Interaction Networks.	BIBE	2007	DBLP DOI BibTeX RDF
12	Doug Wampler, James Graham	A Method for Detecting Linux Kernel Module Rootkits. (PDF / PS)	IFIP Int. Conf. Digital Forensics	2007	DBLP DOI BibTeX RDF	Linux forensics, outlier analysis, rootkit detection
12	Jixiang Zhu, Yuanxiang Li 0001, Guoliang He, Xuewen Xia	An Intrinsic Evolvable Hardware Based on Multiplexer Module Array.	ICES	2007	DBLP DOI BibTeX RDF	intrinsic, FPGA, digital, multiplexer
12	Rainer Scholz	Adapting and Automating XILINX's Partial Reconfiguration Flow for Multiple Module Implementations.	ARC	2007	DBLP DOI BibTeX RDF
12	James Lu, Heinz W. Engl, Rainer Machné, Peter Schuster 0002	Inverse Bifurcation Analysis of a Model for the Mammalian G 1/ S Regulatory Module.	BIRD	2007	DBLP DOI BibTeX RDF
12	Ioannis N. Athanasiadis, Sander Janssen, David Huber 0001, Andrea Emilio Rizzoli, Martin K. van Ittersum	Semantic Modeling in Farming Systems Research - The Case of the Agricultural Management Definition Module.	ITEE	2007	DBLP DOI BibTeX RDF
12	Seung-Hak Rhee, Jong-An Park, Jong-Hun Chun	Sensitivity Improvement of the Receiver Module in the Passive Tag Based RFID Reader.	UIC	2007	DBLP DOI BibTeX RDF
12	Dong Liu 0022, Weiyan Xing, Rui Li 0051, Chunyuan Zhang, Haiyan Li	A Fault-Tolerant Real-Time Scheduling Algorithm in Software Fault-Tolerant Module.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	real-time system, scheduling algorithm, software fault-tolerance
12	Tae-Heon Yang, Gi-Hun Yang, Dong-Soo Kwon, Sungchul Kang	Implementing Compact Tactile Display for Fingertips with Multiple Vibrotactile Actuator and Thermoelectric Module.	WHC	2007	DBLP DOI BibTeX RDF
12	Pablo Gainza, Héctor Cancela 0001, Eduardo Grampín, María E. Urquhart	Design and implementation of a scalable constraint-based routing module for QoS path computation.	LANC	2007	DBLP DOI BibTeX RDF	protocols and routing, optical networks
12	Zhaohui Cai, Jianzhong Hao, Shiro Takahashi, Jun Hong Ng, Yongdong Gong, Paulose Varghese	Simultaneous Measurement of Temperature and Lateral Force Using an Arc-Shaped FBG Sensor Module.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Carmel McNaught, Paul Lam, Shirley Leung, Kin-Fai Cheng	Evaluating an Online Module on Copyright Law and Intellectual Property.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF	Specific facts, schematic knowledge, knowledge retention, e-learning, intellectual property, schema theory, copyright laws
12	Lin-hui Zhao, Yumin Wang, Jing Xiao, Ya-Ping Dai, Fang-yan Dong, Hai-le Liu	A Three-Level-Module Adaptive Intrusion Detection System.	ICNSC	2007	DBLP DOI BibTeX RDF
12	Igor V. Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov	Hybrid Multi-module Security Policy Verification.	POLICY	2007	DBLP DOI BibTeX RDF
12	Eric Wong 0002, Jacob R. Minz, Sung Kyu Lim	Multi-Objective Module Placement For 3-D System-On-Package.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
12	Yan Feng, Dinesh P. Mehta	Module relocation to obtain feasible constrained floorplans.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
12	Deming Chen, Jason Cong, Junjuan Xu	Optimal simultaneous module and multivoltage assignment for low power.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Data path generation, functional unit binding, level conversion, scheduling, high-level synthesis, low power design, power optimization, multiple voltage
12	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
12	Michael Calonder, Stefan Bleuler, Eckart Zitzler	Module Identification from Heterogeneous Biological Data Using Multiobjective Evolutionary Algorithms.	PPSN	2006	DBLP DOI BibTeX RDF
12	Liang Cheng, Xin Zhang, Anu G. Bourgeois	IEEE 802.15.4 Simulation Module in Network Simulator GTNetS.	VTC Spring	2006	DBLP DOI BibTeX RDF
12	Khaled A. Ali, Hossam S. Hassanein, Abd-Elhamid M. Taha, Hussein T. Mouftah	Directional cell breathing: a module for congestion control and load balancing in WCDMA networks.	IWCMC	2006	DBLP DOI BibTeX RDF	cell breathing, interference, capacity, directional antennas, WCDMA