Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Luisa Mich, Mariangela Franch, Umberto Martini	A Modular Approach to Quality Evaluation of Tourist Destination Web Sites: The Quality Model Factory.	ENTER	2005	DBLP DOI BibTeX RDF	tourist destinations, 7Loci, Web site, quality model, modular approach
22	Tim Gorton, Bakhtiar Mikhak	A tangible architecture for creating modular, subsumption-based robot control systems.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	interactive system for children, modular robot controllers, tangible programming, toy, subsumption architecture
22	Abdel Ennaji, Arnaud Ribert, Yves Lecourtier	From data topology to a modular classifier.	Int. J. Document Anal. Recognit.	2003	DBLP DOI BibTeX RDF	Distributed and modular classification systems, Clustering, Neural networks, Pattern recognition, Learning
22	Maria-Cristina V. Marinescu, Martin C. Rinard	A Formal Framework for Modular Synchronous System Design.	FME	2003	DBLP DOI BibTeX RDF	modular, system design, asynchronous, formal
22	Robby, Matthew B. Dwyer, John Hatcliff	Bogor: an extensible and highly-modular software model checking framework.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	modular, extensible, domain-specific, model checker
22	Pabitra Mitra, Sushmita Mitra, Sankar K. Pal	Evolutionary Modular MLP with Rough Sets and ID3 Algorithm for Staging of Cervical Cancer.	Neural Comput. Appl.	2001	DBLP DOI BibTeX RDF	Cervical cancer, Genetic algorithms, Classification, Knowledge-based systems, Rule extraction, Modular neural networks
22	Jürgen Gerhard	Fast Modular Algorithms for Squarefree Factorization and Hermite Integration.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Chinese Remainder Algorithm, Computing time analysis, Hermite integration, Rational reconstruction, Squarefree factorization, Fast algorithms, Modular algorithms, Symbolic integration
22	Alexandre F. Tenca, Georgi Todorov, Çetin Kaya Koç	High-Radix Design of a Scalable Modular Multiplier.	CHES	2001	DBLP DOI BibTeX RDF	modular multiplier, montgomery multiplier, high-radix, scalable architecture
22	Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca	Generation of Execution Sequences for Modular Time Critical Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing
22	Subhasish Mitra, Edward J. McCluskey	Word Voter: A New Voter Design for Triple Modular Redundant Systems.	VTS	2000	DBLP DOI BibTeX RDF	Word-Voter, TMR-Simplex, data integrity, Triple Modular redundancy (TMR), Voter
22	Vincenzo Piuri, Earl E. Swartzlander Jr.	Time-Shared Modular Redundancy for Fault-Tolerant FFT Processors.	DFT	1999	DBLP DOI BibTeX RDF	Time-Shared Modular Redundancy, FFT, Concurrent Error Detection, On-Line Testing, Concurrent Error Correction
22	Injong Rhee	A Modular Algorithm for Resource Allocation.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Modular construction, Message passing distributed systems, Concurrency, Resource allocation, Dining philosophers
22	Jean-Claude Bajard, Laurent-Stéphane Didier, Peter Kornerup	An IWS Montgomery Modular Multiplication Algorithm.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	RNS Montgomery modular multiplication algorithm, very large operands, mixed radix, processor ring, redundant high-radix implementation, residue number systems, residue number system, computation time, table look-up
22	M. Sultan Alam, Rami G. Melhem	Routing in Modular Fault-Tolerant Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Sparing, modular multiprocessors, mesh connected processors, fault-tolerant routing, hypercube multicomputers
22	Gosta Pada Biswas, Idranil Sen Gupta	Generalized modular design of testable m-out-of-n code checker.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	testable m-out-of-n code checker, combinational logic port, combinational logic cells, unidirectional faults, complementary outputs, VLSI, fault diagnosis, logic testing, cellular automata, combinational circuits, fault location, stuck-at faults, logic arrays, cellular automaton, modular design, iterative array, initial state
22	Çetin Kaya Koç, Ching Yu Hung	Bit-level systolic arrays for modular multiplication.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF	sign estimation, scheduling, systolic array, modular multiplication, carry save adders
22	S. S. Reddi	A Modular Computer With Petri Net Array Control.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Modular computers, Petri nets, Reconfigurable computers, Parallel computer architecture
21	Jie Bao 0001, Vasant G. Honavar	Divide and Conquer Semantic Web with Modular Ontologies - A Brief Review of Modular Ontology Language Formalisms.	WoMO	2006	DBLP BibTeX RDF
21	K. John Gough, Diane Corney	Leveraging Managed Frameworks from Modular Languages.	JMLC	2003	DBLP DOI BibTeX RDF
21	Tomasz Praczyk	Hill Climb Modular Assembler Encoding: Evolving Modular Neural Networks of fixed modular architecture.	Knowl. Based Syst.	2021	DBLP DOI BibTeX RDF
21	Klaus Ostermann	Reasoning about aspects with common sense.	AOSD	2008	DBLP DOI BibTeX RDF
21	Benjamin Arazi	Communication-Computation Trade-off in Executing ECDSA in a Contactless Smartcard.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	access control, elliptic curve cryptography, smartcards, ECDSA
21	Nadia Nedjah, Luiza de Macedo Mourelle	Evolutionary RSA-Based Cryptographic Hardware Using the Co-Design Methodology.	IEA/AIE	2004	DBLP DOI BibTeX RDF
21	Vince Grolmusz, Gábor Tardos	Lower Bounds for (MOD p - MOD m) Circuits.	FOCS	1998	DBLP DOI BibTeX RDF
21	Amos Fiat	Batch RSA.	CRYPTO	1989	DBLP DOI BibTeX RDF
21	G. Octo Barnett	History of the development of medical information systems at the Laboratory of Computer Science at Massachusetts General Hospital.	History of Medical Informatics	1987	DBLP DOI BibTeX RDF
21	Fang Bian, David Kempe 0001, Ramesh Govindan	Utility based sensor selection.	IPSN	2006	DBLP DOI BibTeX RDF	sub-modular, super-modular, sensor networks, complexity, utility, sensor selection
21	José Luis Sierra, Antonio Navarro 0001, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor	Incremental definition and operationalization of domain-specific markup languages in ADDS.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	domain-specific markup languages, modular document grammars, modular language processors, software development approach, XML
21	Sung-Ming Yen, Chi-Sung Laih	Improved Digital Signature Algorithm.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Digital Signature Algorithm (DSA), Data integrity, digital signature, public-key cryptography, modular exponentiation, modular inverse
21	Peter Kornerup	A Systolic, Linear-Array Multiplier for a Class of Right-Shift Algorithms.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	systolic linear-array multiplier, right-shift algorithms, multiplier cell, digit-product terms, least significant digit first, active elements, module-multiplier, Montgomery module-reduction, RSA encryption, modular division, cryptography, logic design, systolic arrays, systolic array, digital arithmetic, multiplying circuits, latches, modular inverses, Hensel codes, digit-serial multiplier
21	G. R. Blakley	A Computer Algorithm for Calculating the Product AB Modulo M.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	seminumerical algorithms, products in Galois fields, Algorithms, products, modular multiplication, modular arithmetic, integer arithmetic, multiple precision arithmetic
21	Daniel Davies, John F. Wakerly	Synchronization and Matching in Redundant Systems.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	N-modular redundancy (NMR), signal selection, synchronization, fault-tolerant computing, clocks, triple modular redundancy (TMR), microcomputers, Asynchronous networks, voters
21	C. V. Ramamoorthy, Yih-Wu Han	Reliability Analysis of Systems with Concurrent Error Detection.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	critical reliability of detector, detector redundant system, hybrid (N, S), N-tuple modular redundant system, reconfiguration switch, validating gate, Availability, subsystem, triple modular redundant system
20	Jessica F. Burkhart, Neil J. Calkin, Shuhong Gao, Justine C. Hyde-Volpe, Kevin James, Hiren Maharaj, Shelly Manber, Jared Ruiz, Ethan Smith	Finite field elements of high order arising from modular curves.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 11T71, 11T55
20	Weigang Wu, Jiannong Cao 0001, Michel Raynal	Eventual Clusterer: A Modular Approach to Designing Hierarchical Consensus Protocols in MANETs.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
20	Mirko Bordignon, Kasper Støy, Ulrik Pagh Schultz	A virtual machine-based approach for fast and flexible reprogramming of modular robots.	ICRA	2009	DBLP DOI BibTeX RDF
20	Ricardo Franco Mendoza Garcia, Ulrik Pagh Schultz, Kasper Støy	On the efficiency of local and global communication in modular robots.	IROS	2009	DBLP DOI BibTeX RDF
20	Roberto Lublinerman, Christian Szegedy, Stavros Tripakis	Modular code generation from synchronous block diagrams: modularity vs. code size.	POPL	2009	DBLP DOI BibTeX RDF	clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams
20	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
20	Kristoffer Arnsfelt Hansen	Depth Reduction for Circuits with a Single Layer of Modular Counting Gates.	CSR	2009	DBLP DOI BibTeX RDF
20	Felix Schernhammer, Bernhard Gramlich	VMTL-A Modular Termination Laboratory.	RTA	2009	DBLP DOI BibTeX RDF
20	Denisse Hidalgo, Oscar Castillo 0001, Patricia Melin	Type-1 and Type-2 Fuzzy Inference Systems as Integration Methods in Modular Neural Networks for Multimodal Biometry and Its Optimization with Genetic Algorithms.	Soft Computing for Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF
20	Isolde Dressler, Anders Robertsson, Rolf Johansson 0001	Automatic kinematic calibration of a modular Gantry-Tau parallel robot from a kinematics point of view.	ICRA	2008	DBLP DOI BibTeX RDF
20	Shuhei Miyashita, Max Kessler, Marco Lungarella	How morphology affects self-assembly in a stochastic modular robot.	ICRA	2008	DBLP DOI BibTeX RDF
20	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
20	Ho Seok Ahn, Young Min Baek, Inkyu Sa, Woo-Sung Kang, Jin Hee Na, Jin Young Choi 0002	Design of reconfigurable heterogeneous modular architecture for service robots.	IROS	2008	DBLP DOI BibTeX RDF
20	Carlo A. Furia, Paola Spoletini	Practical Efficient Modular Linear-Time Model-Checking.	ATVA	2008	DBLP DOI BibTeX RDF
20	Christopher Vermillion, Jing Sun 0003, Kenneth R. Butts	Performance enhancement of modular control systems using µ synthesis.	CDC	2008	DBLP DOI BibTeX RDF
20	Hyun-Sung Kim 0001, Sung-Woon Lee	Semi-systolic Modular Multiplier over GF(2m).	ICCSA (2)	2008	DBLP DOI BibTeX RDF
20	Denisse Hidalgo, Oscar Castillo 0001, Patricia Melin	Optimization with genetic algorithms of modular neural networks using interval type-2 fuzzy logic for response integration: The case of multimodal biometry.	IJCNN	2008	DBLP DOI BibTeX RDF
20	Yannick Moy	Sufficient Preconditions for Modular Assertion Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
20	Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino	Modular Neural Networks for Model-Free Behavioral Learning.	ICANN (1)	2008	DBLP DOI BibTeX RDF	Partially observable environment, Reinforcement learning, On-line learning
20	Takashi Kitamura 0001, Huimin Lin	Specifying Properties for Modular Pi-Calculus.	TASE	2008	DBLP DOI BibTeX RDF	Model checking, process algebra, Modal Logics
20	Patricia Melin, Melchor Carranza, Pedro Antonio Salazar-Tejeda, Rene Nuñez	Pattern Recognition Using Modular Neural Networks and Fuzzy Integral as Method for Response Integration.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
20	Junfeng Fan, Kazuo Sakiyama, Ingrid Verbauwhede	Montgomery Modular Multiplication Algorithm on Multi-Core Systems.	SiPS	2007	DBLP DOI BibTeX RDF
20	Janusz T. Starczewski, Rafal Scherer, Marcin Korytkowski, Robert Nowicki	Modular Type-2 Neuro-fuzzy Systems.	PPAM	2007	DBLP DOI BibTeX RDF
20	Kais Klai, Laure Petrucci, Michel A. Reniers	An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.	FORTE	2007	DBLP DOI BibTeX RDF
20	Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino	Modular Neural Networks for Reinforcement Learning with Temporal Intrinsic Rewards.	IJCNN	2007	DBLP DOI BibTeX RDF
20	Ulrik Pagh Schultz	Distributed control diffusion: towards a flexible programming paradigm for modular robots.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
20	Youngshik Kim, Mark A. Minor	Decentralized Kinematic Motion Control for Multiple Axle Compliant Framed Modular Wheeled Mobile Robots.	IROS	2006	DBLP DOI BibTeX RDF
20	Haibin Shen, Yier Jin, Rongquan You	Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
20	Franco Fummi, Giovanni Perbellini, Mirko Loghi, Massimo Poncino	ISS-centric modular HW/SW co-simulation.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	systemc, co-simulation, instruction set simulator
20	Rui Gong, Wei Chen 0009, Fang Liu 0002, Kui Dai, Zhiying Wang 0003	Modified Triple Modular Redundancy Structure based on Asynchronous Circuit Technique.	DFT	2006	DBLP DOI BibTeX RDF
20	Shaowen Wang, Eric Shook, Anand Padmanabhan, Ransom Briggs, Laura Pearlman	Developing the Modular Information Provider (MIP) to Support Interoperable Grid Information Services.	GCC	2006	DBLP DOI BibTeX RDF
20	Peter Fine, Ezequiel A. Di Paolo, Andrew Philippides	Spatially Constrained Networks and the Evolution of Modular Control Systems.	SAB	2006	DBLP DOI BibTeX RDF
20	Ken Chen, Bao-Liang Lu, James T. Kwok	Efficient Classification of Multi-label and Imbalanced Data using Min-Max Modular Classifiers.	IJCNN	2006	DBLP DOI BibTeX RDF
20	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies.	Web Intelligence	2006	DBLP DOI BibTeX RDF
20	Jian Wang, Anping Jiang	An Area-Efficient Design for Modular Inversion in GF(2m).	APCCAS	2006	DBLP DOI BibTeX RDF
20	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
20	Mehmet Kaya, Reda Alhajj	Fuzzy OLAP association rules mining-based modular reinforcement learning approach for multiagent systems.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
20	Qiang Xu 0001, Nicola Nicolici	Modular SOC testing with reduced wrapper count.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
20	Brendan O'Flynn, Stephen J. Bellis, Kieran Delaney, John Barton, S. Cian O'Mathuna, André M. Barroso, Jonathan P. Benson, Utz Roedig, Cormac J. Sreenan	The development of a novel minaturized modular platform for wireless sensor networks.	IPSN	2005	DBLP DOI BibTeX RDF
20	Ross M. McConnell, Fabien de Montgolfier	Algebraic Operations on PQ Trees and Modular Decomposition Trees.	WG	2005	DBLP DOI BibTeX RDF
20	Yangmin Li 0001, Yugang Liu	Obstacle Avoidance for Redundant Nonholonomic Mobile Modular Manipulators via Neural Fuzzy Approaches.	ICNC (3)	2005	DBLP DOI BibTeX RDF
20	Yi Wang 0016, Jussipekka Leiwo, Thambipillai Srikanthan	Efficient high radix modular multiplication for high-speed computing in re-configurable hardware [cryptographic applications].	ISCAS (2)	2005	DBLP DOI BibTeX RDF
20	Erik Meer	A BDD-Based Interactive Configurator for Modular Systems.	CP	2005	DBLP DOI BibTeX RDF
20	Muriel Visani, Christophe Garcia, Jean-Michel Jolion	Face Recognition Using Modular Bilinear Discriminant Analysis.	VISUAL	2005	DBLP DOI BibTeX RDF
20	Yong Ou, Joanne Bechta Dugan	Modular solution of dynamic multi-phase systems.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
20	Jae Kwon Kim, Byung Kook Kim	Probabilistic Schedulability Analysis of Harmonic Multi-Task Systems with Dual-Modular Temporal Redundancy.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	DMTR, DMTR-HP, probabilistic schedulability, optimal number of subslots, fault tolerance
20	Rajeev Alur, Radu Grosu	Modular refinement of hierarchic reactive machines.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	refinement, compositional semantics, assume-guarantee reasoning, Hierarchical state machines
20	Jean-Claude Bajard, Laurent Imbert, Thomas Plantard	Modular Number Systems: Beyond the Mersenne Family.	Selected Areas in Cryptography	2004	DBLP DOI BibTeX RDF	Generalized Mersenne numbers, Elliptic curve cryptography, Montgomery multiplication
20	Timo Latvala, Marko Mäkelä	LTL Model Checking for Modular Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
20	Guerric Meurice de Dormale, Philippe Bulens, Jean-Jacques Quisquater	Efficient Modular Division Implementation: ECC over GF(p) Affine Coordinates Application.	FPL	2004	DBLP DOI BibTeX RDF
20	Nadia Nedjah, Luiza de Macedo Mourelle	Towards Very Fast Modular Exponentiations Using Ant Colony.	WSC	2004	DBLP DOI BibTeX RDF
20	Patricia Melin, Claudia I. González, Diana Bravo, Felma Gonzalez, Gabriela E. Martinez	Modular Neural Networks and Fuzzy Sugeno Integral for Face and Fingerprint Recognition.	WSC	2004	DBLP DOI BibTeX RDF
20	An Zeng, Qi Lun Zheng, Dan Pan 0001, Hong Peng	Utilizing modular neural networks to predict MHC class II-binding peptides.	SMC (5)	2004	DBLP DOI BibTeX RDF
20	Lo'ai Ali Tawalbeh, Alexandre F. Tenca	An Algorithm and Hardware Architecture for Integrated Modular Division and Multiplication in GF(p) and GF(2n).	ASAP	2004	DBLP DOI BibTeX RDF
20	Ruisong Ye, Yuru Zou, Jian Lu 0002	Fractal Tiling with the Extended Modular Group.	CIS	2004	DBLP DOI BibTeX RDF
20	Praveen Sankaran, Vijayan K. Asari	A Multi-View Approach on Modular PCA for Illumination and Pose Invariant Face Recognition.	AIPR	2004	DBLP DOI BibTeX RDF
20	Marijn Janssen, René W. Wagenaar	From Legacy to Modularity: A Roadmap Towards Modular Architectures Using Web Services Technology.	EGOV	2003	DBLP DOI BibTeX RDF
20	Ozlem O. Garibay, Ivan I. Garibay, Annie S. Wu	The Modular Genetic Algorithm: Exploiting Regularities in the Problem Space.	ISCIS	2003	DBLP DOI BibTeX RDF
20	Nadia Nedjah, Luiza de Macedo Mourelle	Fast Hardware of Booth-Barrett?s Modular Multiplication for Efficient Cryptosystems.	ISCIS	2003	DBLP DOI BibTeX RDF
20	Yunhui Liu, Siwei Luo, Aijun Li, Hua Huang 0005, Jinwei Wen	Information Geometry on Modular and Hierarchical Neural Network.	APPT	2003	DBLP DOI BibTeX RDF
20	Marcelo N. Kapp, Cinthia Obladen de Almendra Freitas, Júlio C. Nievola, Robert Sabourin	Evaluating the Conventional and Class-Modular Architectures Feedforward Neural Network for Handwritten Word Recognition.	SIBGRAPI	2003	DBLP DOI BibTeX RDF
20	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Modular Strategies for Recursive Game Graphs.	TACAS	2003	DBLP DOI BibTeX RDF
20	Tilo Böhmann, Markus Junginger, Helmut Krcmar	Modular Service Architectures: A Concept and Method for Engineering IT Services.	HICSS	2003	DBLP DOI BibTeX RDF
20	Ayman M. El-Khashab, Earl E. Swartzlander Jr.	An Architecture for a Radix-4 Modular Pipeline Fast Fourier Transform.	ASAP	2003	DBLP DOI BibTeX RDF
20	Nadia Nedjah, Luiza de Macedo Mourelle	Three Hardware Implementations for the Binary Modular Exponentiation: Sequential, Parallel and Systolic.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
20	Jean-Philippe Draye, Jack M. Winters, Guy Cheron	Self-selected modular recurrent neural networks with postural and inertial subnetworks applied to complex movements.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
20	John Yiannis Cotronis, Zacharias Tsiatsoulis	Modular MPI and PVM Components.	PVM/MPI	2002	DBLP DOI BibTeX RDF