Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Hui-Cheng Lian	A Max Modular Support Vector Machine and Its Variations for Pattern Classification.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
24	Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio	A Formal Theory for Modular ERDF Ontologies.	RR	2009	DBLP DOI BibTeX RDF
24	Alexander Spröwitz, Masoud Asadpour, Yvan Bourquin, Auke Jan Ijspeert	An active connection mechanism for modular self-reconfigurable robotic systems based on physical latching.	ICRA	2008	DBLP DOI BibTeX RDF
24	Chih-Han Yu, Kristina Haller, Donald E. Ingber, Radhika Nagpal	Morpho: A self-deformable modular robot inspired by cellular structure.	IROS	2008	DBLP DOI BibTeX RDF
24	Feili Hou, Nadeesha Ranasinghe, Behnam Salemi, Wei-Min Shen	Wheeled locomotion for payload carrying with modular robot.	IROS	2008	DBLP DOI BibTeX RDF
24	Nadia Nedjah, Luiza de Macedo Mourelle	Efficient Hardware for Modular Exponentiation using the Sliding-Window Method with Variable-Length Partitioning.	ICYCS	2008	DBLP DOI BibTeX RDF
24	Yi Sun, Xiaolin Hu	Partial-modular DEVS for improving performance of cellular space wildfire spread simulation.	WSC	2008	DBLP DOI BibTeX RDF
24	Faezeh Ensan, Weichang Du	Aspects of Inconsistency Resolution in Modular Ontologies.	Canadian AI	2008	DBLP DOI BibTeX RDF
24	Dirk Frettlöh, Bernd Sing	Computing Modular Coincidences for Substitution Tilings and Point Sets.	Discret. Comput. Geom.	2007	DBLP DOI BibTeX RDF
24	Jérica Urías, Denisse Hidalgo, Patricia Melin, Oscar Castillo 0001	A Method for Response Integration in Modular Neural Networks with Type-2 Fuzzy Logic for Biometric Systems.	Analysis and Design of Intelligent Systems using Soft Computing Techniques	2007	DBLP DOI BibTeX RDF
24	Wen-Hong Zhu, Tom Lamarche	Modular Robot Manipulators Based on Virtual Decomposition Control.	ICRA	2007	DBLP DOI BibTeX RDF
24	Chiheb Ameur Abid, Belhassen Zouari	A distributed verification approach for modular Petri nets.	SCSC	2007	DBLP BibTeX RDF	verification, Petri net, distributed, analysis
24	Jérica Urías, Patricia Melin, Oscar Castillo 0001	A Method for Response Integration in Modular Neural Networks using Interval Type-2 Fuzzy Logic.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
24	Wei Li 0131, Zibin Dai, Tao Chen 0047, Tao Meng, Xuan S. Yang	Design and Implementation of a High-Speed Reconfigurable Modular Arithmetic Unit.	APPT	2007	DBLP DOI BibTeX RDF
24	Dirk Missal, Hans-Michael Hanisch	Modular plant modelling for distributed control.	SMC	2007	DBLP DOI BibTeX RDF
24	Tom Lamarche, Wen-Hong Zhu	A virtual decomposition control based communication network for modular robots applications.	ICCCN	2007	DBLP DOI BibTeX RDF
24	Chong Hee Kim, Jong Hoon Shin, Jean-Jacques Quisquater, Pil Joong Lee	Safe-Error Attack on SPA-FA Resistant Exponentiations Using a HW Modular Multiplier.	ICISC	2007	DBLP DOI BibTeX RDF
24	Nadia Nedjah, Luiza de Macedo Mourelle	Efficient Hardware for Modular Exponentiation Using the Sliding-Window Method with Variable-Length Partitioning.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
24	Jérica Urías, Denisse Hidalgo, Patricia Melin, Oscar Castillo 0001	A New Method for Response Integration in Modular Neural Networks using Type-2 Fuzzy Logic for Biometric Systems.	IJCNN	2007	DBLP DOI BibTeX RDF
24	Daisuke Suzuki	How to Maximize the Potential of FPGA Resources for Modular Exponentiation.	CHES	2007	DBLP DOI BibTeX RDF
24	Phan Cong Vinh, Jonathan P. Bowen	A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.	TASE	2007	DBLP DOI BibTeX RDF
24	Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis	Diagnosability of Discrete Event Systems with Modular Structure.	Discret. Event Dyn. Syst.	2006	DBLP DOI BibTeX RDF	Common events, Distributed systems, Modularity, Diagnosability
24	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	Context-Sensitive Multivariant Assertion Checking in Modular Programs.	LPAR	2006	DBLP DOI BibTeX RDF
24	Agata Ciabattoni, Kazushige Terui	Modular Cut-Elimination: Finding Proofs or Counterexamples.	LPAR	2006	DBLP DOI BibTeX RDF
24	Gaoliang Peng, Wenjian Liu	A Novel Modular Fixture Design and Assembly System Based on VR.	IROS	2006	DBLP DOI BibTeX RDF
24	Bow-Yaw Wang	On the Satisfiability of Modular Arithmetic Formulae.	ATVA	2006	DBLP DOI BibTeX RDF
24	Nadia Nedjah, Luiza de Macedo Mourelle	Four Hardware Implementations for the M-ary Modular Exponentiation.	ITNG	2006	DBLP DOI BibTeX RDF
24	Hyun-Sung Kim 0001, Sung-Woon Lee	Low Complexity Systolic Architecture for Modular Multiplication over GF(2m).	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF
24	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	Modular Ontologies - A Formal Investigation of Semantics and Expressivity.	ASWC	2006	DBLP DOI BibTeX RDF
24	Jan Komenda, Jan H. van Schuppen	Control of Modular and Distributed Discrete-Event Systems.	FMCO	2005	DBLP DOI BibTeX RDF
24	Michael Olsen Darter, V. Scott Gordon 0001	Vehicle steering control using modular neural networks.	IRI	2005	DBLP DOI BibTeX RDF
24	Luiza de Macedo Mourelle, Nadia Nedjah	Reconfigurable Hardware for Addition Chains Based Modular Exponentiation.	ITCC (1)	2005	DBLP DOI BibTeX RDF
24	Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno	Experiments in Context-Sensitive Analysis of Modular Programs.	LOPSTR	2005	DBLP DOI BibTeX RDF
24	Seong-ho Kang, Mitchell W. Pryor, Delbert Tesar	Kinematic Model and Metrology System for Modular Robot Calibration.	ICRA	2004	DBLP DOI BibTeX RDF
24	Luiza de Macedo Mourelle, Nadia Nedjah	Fast Reconfigurable Hardware for the M-ary Modular Exponentiation.	DSD	2004	DBLP DOI BibTeX RDF
24	Luiza de Macedo Mourelle, Nadia Nedjah	Hardware for Modular Exponentiation Suitable for Smart Cards.	ICESS	2004	DBLP DOI BibTeX RDF
24	Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang	Modular Monadic Program Slicing.	COMPSAC	2004	DBLP DOI BibTeX RDF	program slicing, formal semantics, monads, monad transformers
24	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
24	Benoît Chevallier-Mames, Marc Joye, Pascal Paillier	Faster Double-Size Modular Multiplication from Euclidean Multipliers.	CHES	2003	DBLP DOI BibTeX RDF
24	Nadia Nedjah, Luiza de Macedo Mourelle	Reconfigurable Hardware Implementation of Montgomery Modular Multiplication and Parallel Binary Exponentiation.	DSD	2002	DBLP DOI BibTeX RDF
24	Peter D. Mosses	Pragmatics of Modular SOS.	AMAST	2002	DBLP DOI BibTeX RDF
24	Nadia Nedjah, Luiza de Macedo Mourelle	Efficient Hardware Implementation of Modular Multiplication and Exponentiation for Public-Key Cryptography.	VECPAR	2002	DBLP DOI BibTeX RDF
24	Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon	A Modular Approach to the Specification and Validation of an Electrical Flight Control System.	FME	2001	DBLP DOI BibTeX RDF	Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification
24	Mihir Bellare, Juan A. Garay, Tal Rabin	Fast Batch Verification for Modular Exponentiation and Digital Signatures.	EUROCRYPT	1998	DBLP DOI BibTeX RDF
24	Christoph Meinel, Stephan Waack	The "log Rank" Conjecture for Modular Communication Complexity.	STACS	1996	DBLP DOI BibTeX RDF
24	Orna Kupferman, Moshe Y. Vardi	On the Complexity of Branching Modular Model Checking (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
24	Christian S. Collberg	Distributed High-Level Module Binding for Flexible Encapsulation and Fast Inter-Modular Optimization.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
24	Ralph-Johan Back, Heikki Mannila	Locality in Modular Systems.	ICALP	1982	DBLP DOI BibTeX RDF
23	Riyaz A. Patel, Mohammed Benaissa, Said Boussakta	Fast Modulo 2n - (2n-2+1) Addition: A New Class of Adder for RNS.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	modular adder, VLSI, Computer arithmetic, residue number system, parallel-prefix adder
23	Thomas Cleenewerck, Ivan Kurtev	Separation of concerns in translational semantics for DSLs in model engineering.	SAC	2007	DBLP DOI BibTeX RDF	model-based DSLs, modular translational semantics, model transformations, separation of concerns, model engineering
23	Alessandro Warth, Milan Stanojevic, Todd D. Millstein	Statically scoped object adaptation with expanders.	OOPSLA	2006	DBLP DOI BibTeX RDF	object adaptation, expanders, modular typechecking
23	Toru Akishita, Tsuyoshi Takagi	Power Analysis to ECC Using Differential Power Between Multiplication and Squaring.	CARDIS	2006	DBLP DOI BibTeX RDF	Smart cards, DPA, elliptic curve cryptosystems, power analysis, modular multiplication
23	Stavros D. Nikolopoulos, Leonidas Palios, Charis Papadopoulos	A Fully Dynamic Algorithm for the Recognition of P4-Sparse Graphs.	WG	2006	DBLP DOI BibTeX RDF	fully dynamic algorithms, P4-sparse graphs, recognition, modular decomposition
23	Colin D. Walter	Simple Power Analysis of Unified Code for ECC Double and Add.	CHES	2004	DBLP DOI BibTeX RDF	unified code, elliptic curve cryptography, ECC, simple power analysis, SPA, Side channel leakage, Montgomery modular multiplication
23	Mark van Hoeij, Michael B. Monagan	Algorithms for polynomial GCD computation over algebraic function fields.	ISSAC	2004	DBLP DOI BibTeX RDF	modular algorithms
23	Romina Torres, Rodrigo Salas 0001, Héctor Allende, Claudio Moraga	Robust Expectation Maximization Learning Algorithm for Mixture of Experts.	IWANN (1)	2003	DBLP DOI BibTeX RDF	Robust Learning Algorithm, Expectation Maximization, Modular Neural Networks, Mixtures of Experts
23	Hisayoshi Sato, Tsuyoshi Takagi, Satoru Tezuka, Kazuo Takaragi	Generalized Powering Functions and Their Application to Digital Signatures.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	modular powering function, digital signature, RSA, factoring
23	Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi	Customizing AOSE methodologies by reusing AOSE features.	AAMAS	2003	DBLP DOI BibTeX RDF	AOSE features, modular methodology, agent oriented software engineering
23	Johannes Wolkerstorfer	Dual-Field Arithmetic Unit for GF(p) and GF(2m).	CHES	2002	DBLP DOI BibTeX RDF	multiplication, hardware implementation, inversion, Finite field arithmetic, redundant number representation, modular reduction
23	Lejla Batina, Geeke Muurling	Another Way of Doing RSA Cryptography in Hardware.	IMACC	2001	DBLP DOI BibTeX RDF	MultiPrime, scalability, performance model, systolic array, Chinese Remainder Theorem, Montgomery multiplication, modular exponentiation
23	Akihiro Yamamura	A Functional Cryptosystem Using a Group Action.	ACISP	1999	DBLP DOI BibTeX RDF	functional cryptosystem, backward deterministic system, modular group, amalgamated free product, public-key cryptosystem
23	Jean Frédéric Myoupo	A Fully-Pipelined Solutions Constructor for Dynamic Programming Problems.	ICCI	1991	DBLP DOI BibTeX RDF	Modular Arrays, Parallel Algorithms, Complexity, Dynamic Programming, Design of Algorithms, Linear Systolic Arrays
23	Alexandre Bergel, Stéphane Ducasse, Roel Wuyts	Classboxes: A Minimal Module Model Supporting Local Rebinding.	JMLC	2003	DBLP DOI BibTeX RDF	method lookup, class extension, selector namespace, smalltalk, modules, language design
22	Nesrine Ben Mustapha, Hajer Baazaoui Zghal, Marie-Aude Aufaure, Henda Hajjami Ben Ghézala	Enhancing semantic search using case-based modular ontology.	SAC	2010	DBLP DOI BibTeX RDF	modular ontology, ontology, information retrieval, semantic web, case-based reasoning, semantic search
22	Hervé Glotin, Zhong-Qiu Zhao, Jun Gao 0006, Xindong Wu 0001	A matrix modular SVM robust to imbalanced data for efficient visual concept detection.	Multimedia Information Retrieval	2010	DBLP DOI BibTeX RDF	modular classification, image retrieval, imbalanced data, svm
22	Gábor Czédli, Miklós Maróti	Two Notes on the Variety Generated by Planar Modular Lattices.	Order	2009	DBLP DOI BibTeX RDF	Lattice variety, Subvariety, Planar, Modular lattice
22	Christoph Schroth, Beat F. Schmid, Willy Müller	Designing Modular Architectures for Cross-Organizational Electronic Interaction.	UNISCON	2009	DBLP DOI BibTeX RDF	Cross-Organizational Electronic Interaction, Modular Architectures
22	Pilsung Kang 0002, Yang Cao 0001, Naren Ramakrishnan, Calvin J. Ribbens, Srinidhi Varadarajan	Modular implementation of adaptive decisions in stochastic simulations.	SAC	2009	DBLP DOI BibTeX RDF	function call interception, modular composition, stochastic simulation, program modification
22	Chulho Choi, Eulsik Oh, Byungnam Kahng, Doochul Kim	Modular Synchronization in Complex Network with a Gauge Kuramoto Model.	Complex (1)	2009	DBLP DOI BibTeX RDF	module identification, modular complex network, Kuramoto model, synchronization
22	Chuanxiong Guo, Guohan Lu, Dan Li 0001, Haitao Wu, Xuan Zhang, Yunfeng Shi, Chen Tian 0001, Yongguang Zhang, Songwu Lu	BCube: a high performance, server-centric network architecture for modular data centers.	SIGCOMM	2009	DBLP DOI BibTeX RDF	modular data center, server-centric network, multi-path
22	Mike Mammarella, Shant Hovsepian, Eddie Kohler	Modular data storage with Anvil.	SOSP	2009	DBLP DOI BibTeX RDF	software architecture, databases, modular design
22	Ji Zhang, Heather Goldsby, Betty H. C. Cheng	Modular verification of dynamically adaptive systems.	AOSD	2009	DBLP DOI BibTeX RDF	global invariants, modular model checking, reliability, verification, formal specification, autonomic computing, dynamic adaptation
22	Parikshit Gopalan, Venkatesan Guruswami, Richard J. Lipton	Algorithms for Modular Counting of Roots of Multivariate Polynomials.	Algorithmica	2008	DBLP DOI BibTeX RDF	Modular counting, Polynomials, Reed-Solomon codes
22	Ke Wu, Bao-Liang Lu, Masao Utiyama, Hitoshi Isahara	An empirical comparison of min-max-modular k -NN with different voting methods to large-scale text categorization.	Soft Comput.	2008	DBLP DOI BibTeX RDF	k-NN algorithm, Min-max-modular k-NN, Parallel computing, Text categorization
22	Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo	A practical type analysis for verification of modular prolog programs.	PEPM	2008	DBLP DOI BibTeX RDF	modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types
22	Alexander May 0001, Maike Ritzenhofen	Solving Systems of Modular Equations in One Variable: How Many RSA-Encrypted Messages Does Eve Need to Know?	Public Key Cryptography	2008	DBLP DOI BibTeX RDF	Chinese Remaindering, Coppersmith’s method, Håstad’s attack, systems of univariate modular polynomials
22	Gabriel H. Loh	A modular 3d processor for flexible product design and technology migration.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	modular, superscalar, 3d-integration
22	Shu-Fen Tu, Ching-Sheng Hsu	An Imperceptible Watermarking Scheme Using Variation and Modular Operations.	MUE	2008	DBLP DOI BibTeX RDF	modular operations, digital watermark, variation, imperceptibility
22	Susana Borromeo, M. C. Rodriguez-Sánchez, Juan Antonio Hernández Tamames	A Modular Architecture for Navigation Applications Based on Differential GPS.	DCAI	2008	DBLP DOI BibTeX RDF	Differential GPS, Modular Software, Ubiquitous Computing, Context-Aware Computing
22	Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki, Akashi Satoh, Adi Shamir	Collision-Based Power Analysis of Modular Exponentiation Using Chosen-Message Pairs.	CHES	2008	DBLP DOI BibTeX RDF	waveform matching, RSA, side-channel attacks, modular exponentiation, power-analysis attacks
22	Richard J. Duro, Manuel Graña, Javier de Lope Asiaín	On the Need of Hybrid Intelligent Systems in Modular and Multi Robotics.	HAIS	2008	DBLP DOI BibTeX RDF	multi-robot systems, Intelligent robotics, modular robotics
22	Jean-Pierre David, Kassem Kalach, Nicolas Tittley	Hardware Complexity of Modular Multiplication and Exponentiation.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Cryptography, Multiplication, Modular Arithmetic, Hardware Complexity
22	M. Sudhakar, Ramachandruni Venkata Kamala, M. B. Srinivas	New and Improved Architectures for Montgomery Modular Multiplication.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	reconfigurable multiplier, scalable multiplier, RSA, ECC, carry save adders, Montgomery modular multiplication
22	Markus Müller-Olm, Helmut Seidl	Analysis of modular arithmetic.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	affine relation, Program analysis, abstract interpretation, interprocedural analysis, modular arithmetic
22	Yoshinori Hamahata	A Note on Modular Forms on Finite Upper Half Planes.	WAIFI	2007	DBLP DOI BibTeX RDF	Finite upper half planes, modular forms
22	Dimitrios Lymberopoulos, Nissanka Bodhi Priyantha, Feng Zhao 0001	mPlatform: a reconfigurable architecture and efficient data sharing mechanism for modular sensor nodes.	IPSN	2007	DBLP DOI BibTeX RDF	high speed data bus, reconfigurable sensor node, CPLD, modular architecture
22	Frederic I. Parke	Lower Cost Modular Spatially Immersive Visualization.	HCI (14)	2007	DBLP DOI BibTeX RDF	spatially immersive visualization, modular visualization systems, lower cost visualization, graphics computing clusters
22	Alexey Alexeev	Concept for reconstruction of MUS portal into UESIE via creation of New University hardware modular integral system.	CompSysTech	2007	DBLP DOI BibTeX RDF	bi-functional module, hardware distributed database, mono-block type, university modular system, medical education
22	Graham Hughes, Tevfik Bultan	Interface grammars for modular software model checking.	ISSTA	2007	DBLP DOI BibTeX RDF	interface grammars, model checking, modular verification
22	Eva Volná	Designing Modular Artificial Neural Network Through Evolution.	ICANN (1)	2007	DBLP DOI BibTeX RDF	modular neural network architecture, probability vector, Adaptation, evolutionary algorithms
22	Yosuke Kurata, Masayuki Noro	Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation.	ISSAC	2007	DBLP DOI BibTeX RDF	comprehensive gröbner bases, comprehensive gröbner systems, discrete comprehensive gröbner bases, dynamic evaluation, modular dynamic evaluation, von neumann regular rings
22	Patricia Hersh, John Shareshian	Chains of Modular Elements and Lattice Connectivity.	Order	2006	DBLP DOI BibTeX RDF	modular element, topological connectivity, lattice
22	Tosiyasu L. Kunii, Kenji Ohmori	Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology
22	Pål Nilsson, Michal Pióro	Max-Min Fair Distribution of Modular Network Flows on Fixed Paths.	Networking	2006	DBLP DOI BibTeX RDF	Modular flows, Network optimization, Max-min fairness
22	Philippe Meunier, Robert Bruce Findler, Matthias Felleisen	Modular set-based analysis from contracts.	POPL	2006	DBLP DOI BibTeX RDF	modular analysis, runtime contracts, static debugging, set-based analysis
22	Zhe Zhang, Daxin Liu 0001, Zhengxian Wei, Changsong Sun	Research on Triple Modular Redundancy Dynamic Fault-Tolerant System Model.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF	Dynamic fault-tolerant, Triple-Modular, Model, Reliability
22	Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang 0001	Modular checking for buffer overflows in the large.	ICSE	2006	DBLP DOI BibTeX RDF	annotation design, annotation inference, modular analysis, buffer overflows
22	Kenji Ohmori, Tosiyasu L. Kunii	An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology.	CW	2006	DBLP DOI BibTeX RDF	incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds
22	Marco Mamei, Franco Zambonelli	Programming modular robots with the TOTA middleware.	AAMAS	2006	DBLP DOI BibTeX RDF	TOTA middleware, coordination, modular robots
22	Sunil Pranit Lal, Koji Yamada, Satoshi Endo	Studies on Motion Control of a Modular Robot Using Cellular Automata.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	cellular automata and evolutionary algorithm, control system, modular robot