Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Michel Habib, Fabien de Montgolfier, Christophe Paul	A Simple Linear-Time Modular Decomposition Algorithm for Graphs, Using Order Extension.	SWAT	2004	DBLP DOI BibTeX RDF
16	Corina Cîrstea, Dirk Pattinson	Modular Construction of Modal Logics.	CONCUR	2004	DBLP DOI BibTeX RDF
16	John A. Crowe, Barrie Hayes-Gill, Mark Sumner, Carl Barratt, Ben Palethorpe, Chris Greenhalgh, Oliver Storz, Adrian Friday, Jan Humble, Chris Setchell, Cliff Randell, Henk L. Muller	Modular Sensor Architecture for Unobtrusive Routine Clinical Diagnosis.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
16	Augusto Ciuffoletti, Tiziana Ferrari	Experiences in Designing a Modular Resource Monitoring System.	WETICE	2004	DBLP DOI BibTeX RDF
16	Hai Zhao 0001, Bao-Liang Lu	A Modular k-Nearest Neighbor Classification Method for Massively Parallel Text Categorization.	CIS	2004	DBLP DOI BibTeX RDF
16	JeongYon Shim	Knowledge Retrieval Using Bayesian Associative Relation in the Three Dimensional Modular System.	APWeb	2004	DBLP DOI BibTeX RDF
16	Daniel L. Rosenband, Arvind	Modular scheduling of guarded atomic actions.	DAC	2004	DBLP DOI BibTeX RDF	Design, Algorithms, Verification, Languages
16	Tyng-Ruey Chuang, Jan-Li Lin	On modular transformation of structural content.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules
16	Jack B. Dennis	Fresh Breeze: a multiprocessor chip architecture guided by modular programming principles.	SIGARCH Comput. Archit. News	2003	DBLP DOI BibTeX RDF
16	Sankar K. Pal, Sushmita Mitra, Pabitra Mitra	Rough-Fuzzy MLP: Modular Evolution, Rule Generation, and Evaluation.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	knowledge-based fuzzy networks, rule extraction/evaluation, genetic algorithms, data mining, pattern recognition, rough sets, knowledge discovery, Soft computing
16	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer	Thread-Modular Abstraction Refinement.	CAV	2003	DBLP DOI BibTeX RDF
16	Constantin B. Zamfirescu, Paul Valckenaers, Karuna Hadeli, Hendrik Van Brussel, Bart Saint Germain	A Case Study for Modular Plant Control.	HoloMAS	2003	DBLP DOI BibTeX RDF
16	Moshe Deutsch, Martin C. Henson, Besnik Kajtazi	Modular refinement in novel schema calculi.	APSEC	2003	DBLP DOI BibTeX RDF
16	Martin Spengler, Bernt Schiele	Multi-object Tracking Based on a Modular Knowledge Hierarchy.	ICVS	2003	DBLP DOI BibTeX RDF
16	Kiran Puttegowda, Peter Athanas	RSA encryption using Extended Modular Arithmetic on the Quicksilver COSM Adaptive Computing Machine.	FCCM	2003	DBLP DOI BibTeX RDF
16	Hyun-Sung Kim, Hee-Joo Park, Sung-Ho Hwang	Parallel Modular Multiplication Algorithm in Residue Number System.	PPAM	2003	DBLP DOI BibTeX RDF
16	Sergey A. Inutin	Parallel Square Modular Computer Algebra.	PPAM	2003	DBLP DOI BibTeX RDF
16	Vasudevan Janarthanan, Purnendu Sinha	Modular Composition and Verification of Transaction Processing Protocols.	ICDCS	2003	DBLP DOI BibTeX RDF
16	Ricardo Staciarini Puttini, Jean-Marc Percher, Ludovic Mé, Olivier Camp, Rafael Timóteo de Sousa Júnior, Cláudia J. Barenco Abbas, L. Javier García-Villalba	A Modular Architecture for Distributed IDS in MANET.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
16	Eddie Cooke, Peter Kauff, Oliver Schreer	A Scalable and Modular Solution for Virtual View Creation in Image-Based Rendering Systems.	VLBV	2003	DBLP DOI BibTeX RDF
16	Márk Jelasity, Alberto Montresor, Özalp Babaoglu	A Modular Paradigm for Building Self-Organizing Peer-to-Peer Applications.	Engineering Self-Organising Systems	2003	DBLP DOI BibTeX RDF
16	Andrey V. Nikitin, Ludmila I. Nikitina	Evolutionary Model of Optimization of Modular Associative Memory for Dataflow Machines Based on Genetic Algorithm.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
16	David Decotigny, Isabelle Puaut	ARTISST: An Extensible and Modular Simulation Tool for Real-Time Systems.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Scheduler, Real-time, Operating System, Discrete Events Simulator, Extensibility
16	Aleksey Nogin	Quotient Types: A Modular Approach.	TPHOLs	2002	DBLP DOI BibTeX RDF
16	Iain Bate, Tim Kelly	Architectural Considerations in the Certification of Modular Systems.	SAFECOMP	2002	DBLP DOI BibTeX RDF
16	Jean Marc Couveignes, Thierry Henocq	Action of Modular Correspondences around CM Points.	ANTS	2002	DBLP DOI BibTeX RDF
16	Weihai Chen, Guilin Yang, Kiah Mok Goh	Kinematic control for fault-tolerant modular robots based on joint angle increment redistribution.	ICARCV	2002	DBLP DOI BibTeX RDF
16	Rajarathinam Arangarasan, George N. Phillips Jr.	Modular Approach of Multimodal Integration in a Virtual Environment.	ICMI	2002	DBLP DOI BibTeX RDF
16	Moira C. Norrie, Alexios Palinginis	A Modelling Approach to the Realisation of Modular Information Spaces.	CAiSE	2002	DBLP DOI BibTeX RDF
16	Natalino G. Busá, Ghiath Alkadi, Michael J. Verberne, Rafael Peset Llopis, Sethuraman Ramanatha	RAPIDO: A Modular, Multi-Board, Heterogeneous Multi-Processor, PCI Bus Based Prototyping Framework for the Validation of SoC VLSI Designs.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
16	Hazem M. El-Bakry	Fast cooperative modular neural nets for human face detection.	ICIP (1)	2001	DBLP DOI BibTeX RDF
16	Hazem M. El-Bakry	Fast Iris Detection for Personal Verification Using Modular Neural Nets.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
16	Tanja Lang, Daniel Floreani	Modular TCP Design and Its Application in Performance Evaluation of Different TCP Versions for Wireless Environments.	ISCC	2001	DBLP DOI BibTeX RDF
16	Kathi Fisler, Shriram Krishnamurthi	Modular verification of collaboration-based software designs.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	model checking, software architecture, aspect-oriented programming, compositional reasoning, computer-aided verification, collaboration-based design
16	Hazem M. El-Bakry	Fast iris detection for personal identification using modular neural networks.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
16	Hazem M. El-Bakry	Human Face Detection Using Fast Co-operative Modular Neural Nets.	AICCSA	2001	DBLP DOI BibTeX RDF
16	Luiz E. Soares de Oliveira, Robert Sabourin, Flávio Bortolozzi, Ching Y. Suen	A Modular System to Recognize Numerical Amounts on Brazilian Bank Checks.	ICDAR	2001	DBLP DOI BibTeX RDF
16	Eddie Kohler, Robert Tappan Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek	The click modular router.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	software router performance, routers, component systems
16	Khaldoun Ateyeh, Jutta A. Mülle, Peter C. Lockemann	Modular Development of Multimedia Courseware.	WISE (2)	2000	DBLP DOI BibTeX RDF	Reusable courseware, courseware development, Hypermedia
16	Rajeev Alur, Radu Grosu	Modular Refinement of Hierarchic Reactive Machines.	POPL	2000	DBLP DOI BibTeX RDF
16	Ben-Chung Cheng, Wen-mei W. Hwu	Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation.	PLDI	2000	DBLP DOI BibTeX RDF
16	Ig-Tae Um, Jong-Jin Won, Moon-Hyun Kim	Text Independent Speaker Verification Using Modular Neural Network.	IJCNN (6)	2000	DBLP DOI BibTeX RDF
16	Hazem M. El-Bakry, M. A. Abo-Elsoud, Mohamed S. Kamel	Fast Modular Neural Nets for Human Face Detection.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
16	Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel	A Theory of Consistency for Modular Synchronous Systems.	FMCAD	2000	DBLP DOI BibTeX RDF
16	Takehiko Kato, Satoru Ito, Jun Anzai, Natsume Matsuzaki	A Design for Modular Exponentiation Coprocessor in Mobile Telecommunication Terminals.	CHES	2000	DBLP DOI BibTeX RDF
16	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
16	Augustin Baziramwabo, Pierre McKenzie, Denis Thérien	Modular Temporal Logic.	LICS	1999	DBLP DOI BibTeX RDF	semigroup theory, temporal logic, finite model theory
16	David Power, Russell J. Bradford	A Library for Parallel Modular Arithmetic.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Todd D. Millstein, Craig Chambers	Modular Statically Typed Multimethods.	ECOOP	1999	DBLP DOI BibTeX RDF
16	Sung-Woo Lee, Hyun-Sung Kim 0001, Jung-Joon Kim, Tae-Geun Kim, Kee-Young Yoo	Efficient Fixed-Size Systolic Arrays for the Modular Multiplication.	COCOON	1999	DBLP DOI BibTeX RDF
16	Lin-Cheng Wang, Syed A. Rizvi, Nasser M. Nasrabadi	A modular neural network vector predictor for predictive image coding.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
16	Omar Cherkaoui, Ylian Saint-Hilaire, Hafedh Mili, Ahmed Serhrouchni	Towards a modular and interoperable SNMPv3.	NOMS	1998	DBLP DOI BibTeX RDF
16	Dan Stoianovici, Louis L. Whitcomb, James H. Anderson, Russell H. Taylor, Louis R. Kavoussi	A Modular Surgical Robotic System for Image Guided Percutaneous Procedures.	MICCAI	1998	DBLP DOI BibTeX RDF
16	Micah Adler, Yair Bartal, John W. Byers, Michael Luby, Danny Raz	A Modular Analysis of Network Transmission Protocols.	ISTCS	1997	DBLP DOI BibTeX RDF
16	Pierre Michel, Virginie Wiels	A Framework for Modular Formal Specification and Verification.	FME	1997	DBLP DOI BibTeX RDF
16	Roberto Di Cosmo, Neil Ghani	On Modular Properties of Higher Order Extensional Lambda Calculi.	ICALP	1997	DBLP DOI BibTeX RDF
16	Bernd Finkbeiner, Zohar Manna, Henny Sipma	Deductive Verification of Modular Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
16	Laura Recalde, Enrique Teruel, Manuel Silva Suárez	{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
16	Sheng Liang, Paul Hudak	Modular Denotational Semantics for Compiler Construction.	ESOP	1996	DBLP DOI BibTeX RDF
16	Michael S. Lew	Information Theoretic View-Based and Modular Face Detection.	FG	1996	DBLP DOI BibTeX RDF
16	Yves Cheneval	Packlib, an Interactive Environment to Develop Modular Software for Data Processing.	IWANN	1995	DBLP DOI BibTeX RDF
16	O. Vermesan	A Modular VLSI Architecture for Neural Networks Implementation.	IWANN	1995	DBLP DOI BibTeX RDF
16	Elias Dahlhaus	Efficient Parallel Modular Decomposition (Extended Abstract).	WG	1995	DBLP DOI BibTeX RDF	Parallel algorithms, graph theory, graph algorithms
16	Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini	Modular Logic Programming.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	metalogic, logic programs, program transformation, modularity, declarative semantics, composition operations
16	Ralph-Johan Back, Kaisa Sere	From Action Systems to Modular Systems.	FME	1994	DBLP DOI BibTeX RDF
16	Hoon Hong, Hans-Wolfgang Loidl	Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine.	CONPAR	1994	DBLP DOI BibTeX RDF
16	Olaf Müller, Franz Weber	Theory and Practice of Minimal Modular Higher-Order E-Unification.	CADE	1994	DBLP DOI BibTeX RDF
16	Alain Cournier, Michel Habib	A New Linear Algorithm for Modular Decomposition.	CAAP	1994	DBLP DOI BibTeX RDF	autonomous subsets, clans, graph decomposition trees, vertex-splitting. cotrees, Graphs, modules, substitution, cographs, prime graphs
16	Mark J. Encarnación	On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields.	ISSAC	1994	DBLP DOI BibTeX RDF
16	A. S. Krishnakumar	Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems.	CAV	1993	DBLP DOI BibTeX RDF
16	Yves Lecourtier, Bernadette Dorizzi, Philippe Sebire, Abdel Ennaji	MLP Modular Versus YPREL Classifiers.	IWANN	1993	DBLP DOI BibTeX RDF
16	Jean Frédéric Myoupo, Anne-Cécile Fabret	Designing Modular Linear Systolic Arrays Using Dependance Graph Regular Partitions.	CONPAR	1992	DBLP DOI BibTeX RDF
16	Szabolcs Ferenczi	Concepts for a Modular and Distributed Prolog Language.	PLILP	1991	DBLP DOI BibTeX RDF
16	Angelo Morzenti, Pierluigi San Pietro	An Object-Oriented Logic Language for Modular System Specification.	ECOOP	1991	DBLP DOI BibTeX RDF
16	Kenneth A. Ross	Modular Stratification and Magic Sets for DATALOG Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
16	Hikaru Morita	A Fast Modular-multiplication Module for Smart Cards.	AUSCRYPT	1990	DBLP DOI BibTeX RDF
16	Shimon Even	Systolic Modular Multiplication.	CRYPTO	1990	DBLP DOI BibTeX RDF
16	John H. Muller, Jeremy P. Spinrad	Incremental modular decomposition.	J. ACM	1989	DBLP DOI BibTeX RDF
16	Shin-ichi Kawamura, Kyoko Hirano	A Fast Modular Arithmetic Algorithm Using a Residue Table (Extended Abstract).	EUROCRYPT	1988	DBLP DOI BibTeX RDF
16	Bernhard Quatember	Modular crossbar switch for large-scale multiprocessor systems: structure and implementation.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
16	Paulo T. de Sousa, Francis P. Mathur	Modular redundancy without voters decreases complexity of restoring organ.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
16	Harold H. Shlevin	An adaptable, modular data - collection system suitable for scientific experimentation: analog to digital transformation, short - term digital storage, formatted digital tape - recording, and computer entry of experimental data.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
15	Faezeh Ensan, Ebrahim Bagheri	A framework for handling revisions in distributed ontologies.	SAC	2010	DBLP DOI BibTeX RDF	modular ontologies, description logic, revision
15	Marc D. Riedel, Soha Hassoun, Ron Weiss, Pamela Silver, J. Christopher Anderson, Richard M. Murray	Joint DAC/IWBDA special session engineering biology: fundamentals and applications.	DAC	2010	DBLP DOI BibTeX RDF	bio-design automation, biological circuits, cellular programming, robustness, control, feedback, computational biology, system biology, modular designs, synthetic biology
15	Christoforos E. Economakos, Fotis N. Koumboulis	Efficient robust supervisors for discrete event systems.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	robust supervisory control, uncertain discrete event systems, modular supervisory control, on-line supervisory controller
15	Bao-Liang Lu, Xiaolin Wang 0002, Masao Utiyama	Incorporating prior knowledge into learning by dividing training data.	Frontiers Comput. Sci. China	2009	DBLP DOI BibTeX RDF	patent classification, min-max modular network, support vector machine, prior knowledge, task decomposition
15	Meiqin Wang, Jorge Nakahara Jr., Yue Sun	Cryptanalysis of the Full MMB Block Cipher.	Selected Areas in Cryptography	2009	DBLP DOI BibTeX RDF	MMB block cipher, square cryptanalysis, differential cryptanalysis, modular multiplication, linear cryptanalysis
15	Angelo Paolo Castellani, Paolo Casari, Michele Zorzi	TinyNET: a tiny network framework for TinyOS.	IWCMC	2009	DBLP DOI BibTeX RDF	modular networking framework, TinyOS, 6LowPAN
15	Jaewan Seo, Moonseong Kim, In Hur, Hyunseung Choo	Delay-based reliable data transmission for lossy wireless sensor networks.	MoMM	2009	DBLP DOI BibTeX RDF	reliable data transmission, wireless sensor networks, protocol, energy-efficiency, modular approach
15	Serguei A. Mokhov, Emil Vassev	Autonomic specification of self-protection for distributed MARF with ASSL.	C3S2E	2009	DBLP DOI BibTeX RDF	autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
15	Laura Cleofas, Rosa Maria Valdovinos, Vicente García 0001, Roberto Alejo	Use of Ensemble Based on GA for Imbalance Problem.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Genetic Algorithm, Modular Neural Network, Nearest Neighbor Rule, Imbalance
15	Luca Sterpone	Timing Driven Placement for Fault Tolerant Circuits Implemented on SRAM-Based FPGAs.	ARC	2009	DBLP DOI BibTeX RDF	fault tolerance, FPGA, Single Event Upset, Triple Modular Redundancy, Timing-driven Placement
15	Luigi Nardi, Charles Sorror, Fouad Badran, Sylvie Thiria	YAO: A Software for Variational Data Assimilation Using Numerical Models.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	modular graph, backpropagation, automatic differentiation, Data assimilation, numerical model, adjoint model
15	Phokion G. Kolaitis, Swastik Kopparty	Random graphs and the parity quantifier.	STOC	2009	DBLP DOI BibTeX RDF	0-1 law, AC0, modular convergence, first-order logic
15	Jing Zhu, Xiang Li 0070, Lin Du	Spatio-temporal Model Based on Back Propagation Neural Network for Regional Data in GIS.	ISICA	2009	DBLP DOI BibTeX RDF	Regional data, Modular BP network, Regional spatio-temporal neural network model (RSTN model), Spatio-temporal analysis
15	Philip M. Wells, Koushik Chakraborty, Gurindar S. Sohi	Mixed-mode multicore reliability.	ASPLOS	2009	DBLP DOI BibTeX RDF	dual-modular redundancy, multicore
15	David Fick, Andrew DeOrio, Jin Hu, Valeria Bertacco, David T. Blaauw, Dennis Sylvester	Vicis: a reliable network for unreliable silicon.	DAC	2009	DBLP DOI BibTeX RDF	hard faults, fault tolerance, built-in-self-test, Network-on-Chip, reconfiguration, torus, N-modular redundancy
15	Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki	WWW Business Applications Based on the Cellular Model.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	incrementally modular abstraction hierarchy, formula expression, adjunction space, presentation level, topological space, cellular space, cyberworlds
15	Jinguo Liu, Shugen Ma, Yuechao Wang, Bin Li 0001	Network-based reconfiguration routes for a self-reconfigurable robot.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	reconfiguration route, network-based reconfiguration, configuration network, modular robot, self-reconfigurable robot
15	Rajab Ali Borzooei, Mahmood Bakhshi, Mashaallah Mashinchi	Lattice structure on some fuzzy algebraic systems.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Distributive (Modular) lattice, (BCC) BCK-algebra, Fuzzy (normal) subgroup, G-fuzzy subgroup, Fuzzy hyperideal