Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Kisung Seo, Zhun Fan, Jianjun Hu, Erik D. Goodman, Ronald C. Rosenberg	Dense and Switched Modular Primitives for Bond Graph Model Design.	GECCO	2003	DBLP DOI BibTeX RDF
11	Giorgio Calarco, Carla Raffaelli	An Open Modular Router with QoS Capabilities.	HSNMC	2003	DBLP DOI BibTeX RDF
11	Frédéric Besson, Thomas P. Jensen	Modular Class Analysis with DATALOG.	SAS	2003	DBLP DOI BibTeX RDF
11	Francesco Logozzo	Class-Level Modular Analysis for Object Oriented Languages.	SAS	2003	DBLP DOI BibTeX RDF
11	Jesung Kim, Insup Lee 0001	Modular Code Generation from Hybrid Automata based on Data Dependency.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF
11	Massimo Conti, Paolo Crippa, Francesco Fedecostunte, Simone Orcioni, F. Ricciardi, Claudio Turchetti, Loris Vendrame	A modular test structure for CMOS mismatch characterization.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
11	Zeynep Toprak Deniz, Yusuf Leblebici	Design and realization of a modular 200 MSample/s 12-bit pipelined A/D converter block using deep-submicron digital CMOS technology.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
11	Andrew Mason, Navid Yazdi, J. Zhang, Z. Sainudeen	A modular sensor microsystem utilizing a universal interface circuit.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
11	P. V. Ananda Mohan	Fast implementations of Montgomery's modular multiplication algorithm.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
11	Josep Pegueroles, Wang Bin, Miguel Soriano, Francisco Rico-Novella	Group Rekeying Algorithm Using Pseudo-random Functions and Modular Reduction.	GCC (1)	2003	DBLP DOI BibTeX RDF
11	Deepak Kapur, Paliath Narendran, Lida Wang	An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.	RTA	2003	DBLP DOI BibTeX RDF
11	Qiang Xu 0001, Nicola Nicolici	On Reducing Wrapper Boundary Register Cells in Modular SOC Testing.	ITC	2003	DBLP DOI BibTeX RDF
11	Bernhard Reus	Modular Semantics and Logics of Classes.	CSL	2003	DBLP DOI BibTeX RDF
11	Katsuhiko Takahashi, Daisuke Nishiwaki	A class-modular GLVQ ensemble with outlier learning for handwritten digit recognition.	ICDAR	2003	DBLP DOI BibTeX RDF
11	G. Shukovich	Application of Genetic Algorithms and Systems of Generating Graphs for Creation of Modular Neural Networks.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
11	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	A Versatile and Modular Consensus Protoco.	DSN	2002	DBLP DOI BibTeX RDF
11	Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia	A Modular Checker for Multithreaded Programs.	CAV	2002	DBLP DOI BibTeX RDF
11	John Yiannis Cotronis	Modular MPI Components and the Composition of Grid Applications.	PDP	2002	DBLP DOI BibTeX RDF
11	Joanna Bryson	The Behavior-Oriented Design of Modular Agent Intelligence.	Agent Technologies, Infrastructures, Tools, and Applications for E-Services	2002	DBLP DOI BibTeX RDF
11	Ludger Fiege, Gero Mühl, Felix C. Gärtner	A modular approach to build structured event-based systems.	SAC	2002	DBLP DOI BibTeX RDF	event-based cooperation, formal specification, publish-subscribe, notification services
11	Jochen Wickel, Pablo Alvarado, Peter Dörfler, Thomas Krüger, Karl-Friedrich Kraiss	Axiom - A Modular Visual Object Retrieval System.	KI	2002	DBLP DOI BibTeX RDF
11	Takashi Fukuda, Keiichi Komatsu	An Application of Siegel Modular Functions to Kronecker's Limit Formula.	ANTS	2002	DBLP DOI BibTeX RDF
11	Haruhisa Kurokawa, Akiya Kamimura, Eiichi Yoshida, Kohji Tomita, Satoshi Murata, Shigeru Kokaji	Self-reconfigurable modular robot (M-TRAN) and its motion design.	ICARCV	2002	DBLP DOI BibTeX RDF
11	Guilin Yang, Weihai Chen, Edwin Hui Leong Ho	Design and kinematic analysis of a modular hybrid parallel-serial manipulator.	ICARCV	2002	DBLP DOI BibTeX RDF
11	Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski	Forwarding in Attribute Grammars for Modular Language Design.	CC	2002	DBLP DOI BibTeX RDF
11	Patrick Cousot, Radhia Cousot	Modular Static Program Analysis.	CC	2002	DBLP DOI BibTeX RDF
11	David Wangerin, Chris DeCoro, Luís Miguel Campos, Hugo Coyote, Isaac D. Scherson	A Modular Client-Server Discrete Event Simulator for Networked Computer.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
11	Aneesh Koorapaty, Lawrence T. Pileggi	Modular, Fabric-Specific Synthesis for Programmable Architectures.	FPL	2002	DBLP DOI BibTeX RDF
11	Jean-Paul Boufflet, Piotr Breitkopf, Alain Rassineux, Pierre Villon	A Modular Design for a Parallel Multifrontal Mesh Generator.	Euro-Par	2002	DBLP DOI BibTeX RDF
11	Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu	Optimal Allocation of Testing Resources for Modular Software Systems.	ISSRE	2002	DBLP DOI BibTeX RDF
11	Sacki Agelis, Sofia Jacobsson, Magnus Jonsson, Arne Alping, Per Ligander	Modular Interconnection System for Optical PCB and Backplane Communication.	IPDPS	2002	DBLP DOI BibTeX RDF
11	Zack J. Butler, Robert Fitch, Daniela Rus	Experiments in Distributed Control for Modular Robots.	ISER	2002	DBLP DOI BibTeX RDF
11	Ying Zhang, Kimon Roufas, Craig Eldershaw, Mark Yim, David Duff	Sensor Computations in Modular Self Reconfigurable Robots.	ISER	2002	DBLP DOI BibTeX RDF
11	Wei-Ngan Chin, Zhenjiang Hu	Towards a Modular Program Derivation via Fusion and Tupling.	GPCE	2002	DBLP DOI BibTeX RDF
11	Feliciano Manzano Casas, Luis A. García	OCOA: An Open, Modular, Ontology Based Autonomous Robotic Agent Architecture.	AIMSA	2002	DBLP DOI BibTeX RDF
11	Sanghee Lee, Myungjin Kim, Keun-Bae Kim	Modular and efficient architecture for H.263 video codec VLSI.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
11	Jean-Claude Bajard, Laurent Imbert, Christophe Nègre	Modular Multiplication in GF(pk) Using Lagrange Representation.	INDOCRYPT	2002	DBLP DOI BibTeX RDF	cryptography, Finite fields, multiplication, fast implementation
11	Erik Jan Marinissen, Vikram Iyengar, Krishnendu Chakrabarty	A Set of Benchmarks fo Modular Testing of SOCs.	ITC	2002	DBLP DOI BibTeX RDF
11	Irfan Gültekin, Ahmet Arslan	Modular-Fuzzy Cooperation Algorithm for Multi-agent Systems.	ADVIS	2002	DBLP DOI BibTeX RDF
11	Simon J. E. Taylor, Rajeev Sudra	Modular HLA RTI Services: The GRIDS Approach.	DS-RT	2002	DBLP DOI BibTeX RDF
11	Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses	Mapping Modular SOS to Rewriting Logic.	LOPSTR	2002	DBLP DOI BibTeX RDF
11	Michael Marte	A Modular Approach to Proving Confluence.	FroCoS	2002	DBLP DOI BibTeX RDF
11	Susanne Boll	Modular Content Personalization Service Architecture for E-Commerce Applications.	WECWIS	2002	DBLP DOI BibTeX RDF
11	Eddie Kohler, Robert Tappan Morris, Benjie Chen	Programming language optimizations for modular router configurations.	ASPLOS	2002	DBLP DOI BibTeX RDF
11	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
11	Michael H. Freedman	Quantum Computation and the Localization of Modular Functors.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF	AMS Classification, Primary 57R56, Secondary 68Q05, 81Q70, 82B10, 94B99, 20F36
11	Mohammad A. Al-Hashimi, Huay-min H. Pu, Nohpill Park, Fabrizio Lombardi	Dependability under Malicious Agreement in N-modular Redundancy-on-Demand Systems.	NCA	2001	DBLP DOI BibTeX RDF
11	Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo	A New Kernel Approach for Modular Real-Time Systems Development.	ECRTS	2001	DBLP DOI BibTeX RDF
11	Antonio S. Cofiño, José Manuel Gutiérrez	Optimal Modular Feedforward Neural Nets Based on Functional Network Architectures.	IWANN (1)	2001	DBLP DOI BibTeX RDF
11	Alexandre R. J. François, Gérard G. Medioni	A Modular Software Architecture for Real-Time Video Processing.	ICVS	2001	DBLP DOI BibTeX RDF
11	Ewgenij Gawrilow, Michael Joswig	Polymake: an approach to modular software design in computational geometry.	SCG	2001	DBLP DOI BibTeX RDF
11	Jean-Claude Bajard, Laurent-Stéphane Didier, Peter Kornerup	Modular Multiplication and Base Extensions in Residue Number Systems.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF
11	Scott Lenser, James Bruce, Manuela M. Veloso	A Modular Hierarchical Behavior-Based Architecture.	RoboCup	2001	DBLP DOI BibTeX RDF
11	Horst F. Wedde, Mario Lischka	Modular authorization.	SACMAT	2001	DBLP DOI BibTeX RDF	modularity, authorization, role-based access control, conflicts, composability, violations
11	Jun Rekimoto, Brygg Ullmer, Haruo Oba	DataTiles: a modular platform for mixed physical and graphical interactions.	CHI	2001	DBLP DOI BibTeX RDF	graphical user interfaces, interaction techniques, tangible user interfaces, visual language, radio-frequency identification tags
11	Uwe Egly, Stephan Schmitt	Deriving Modular Programs from Short Proofs.	IJCAR	2001	DBLP DOI BibTeX RDF
11	Wenting Tang, Ludmila Cherkasova, Lance Russell, Matt W. Mutka	Modular TCP Handoff Design in STREAMS-Based TCP/IP Implementation.	ICN (2)	2001	DBLP DOI BibTeX RDF
11	Rainer Steinwandt	Loopholes in Two Public Key Cryptosystems Using the Modular Group.	Public Key Cryptography	2001	DBLP DOI BibTeX RDF
11	Klaus Hering, Gudula Rünger, Sven Trautmann	Modular Construction of Model Partitioning Processes for Parallel Logic Simulation.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
11	Mototsugu Nishioka, Hisayoshi Satoh, Kouichi Sakurai	Design and Analysis of Fast Provably Secure Public-Key Cryptosystems Based on a Modular Squaring.	ICISC	2001	DBLP DOI BibTeX RDF
11	Bok-Min Goi, M. U. Siddiqi, Hean-Teik Chuah	Incremental Hash Function Based on Pair Chaining & Modular Arithmetic Combining.	INDOCRYPT	2001	DBLP DOI BibTeX RDF	Incremental Cryptography, Cryptography, Hash Function
11	Randal P. Goldberg, Dumitru Mazilu, Russell H. Taylor, Dan Stoianovici	A Modular Robotic System for Ultrasound Image Acquisition.	MICCAI	2001	DBLP DOI BibTeX RDF
11	Noam D. Elkies	Excellent codes from modular curves.	STOC	2001	DBLP DOI BibTeX RDF
11	Fabrizio Lombardi, Nohpill Park, Mohammad A. Al-Hashimi, Huay-min H. Pu	Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement.	PRDC	2001	DBLP DOI BibTeX RDF
11	Qing Ma, Bao-Liang Lu, Masaki Murata, Michinori Ichikawa, Hitoshi Isahara	On-Line Error Detection of Annotated Corpus Using Modular Neural Networks.	ICANN	2001	DBLP DOI BibTeX RDF
11	Bao-Liang Lu, Jonghan Shin, Michinori Ichikawa	Massively Parallel Classification of EEG Signals Using Min-Max Modular Neural Networks.	ICANN	2001	DBLP DOI BibTeX RDF
11	Gabriel de Dietrich	A Modular Algorithm for Automatic Slice Positioning in Tubular Organs.	MIAR	2001	DBLP DOI BibTeX RDF
11	Santanu Chattopadhyay, Shelly Adhikari, Sabyasachi Sengupta, Mahua Pal	Highly regular, modular, and cascadable design of cellular automata-based pattern classifier.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
11	Fabian Wagmister	Modular visions: Referents, context and strategies for database open media works.	AI Soc.	2000	DBLP DOI BibTeX RDF	Aleatory uncertainties, Communication and politics, Digital media art, Ernesto Che Guevara, Multimedia search engines, Revolutions in art, Aesthetics, Database design, Latin America
11	Philip W. L. Fong, Robert D. Cameron	Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
11	Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy	Resource Scheduling in Dependable Integrated Modular Avionics.	DSN	2000	DBLP DOI BibTeX RDF
11	Roberto Baldoni, Jean-Michel Hélary, Michel Raynal	From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach.	DSN	2000	DBLP DOI BibTeX RDF	Arbitrary Failures, Fault Tolerance, Asynchronous Systems, Consensus Problem
11	Wim Vanhoof	Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.	LPAR	2000	DBLP DOI BibTeX RDF
11	Heinrich Hußmann, Birgit Demuth, Frank Finger	Modular Architecture for a Toolset Supporting OCL.	UML	2000	DBLP DOI BibTeX RDF
11	Hyunjung Shin, Hyoungjoo Lee, Sungzoon Cho	Observational Learning with Modular Networks.	IDEAL	2000	DBLP DOI BibTeX RDF
11	Jean-Michel Raczinski, Stéphane Sladek	The Modular Architecture of SYNTHUP, FPFA Based PCI Board for Real-Time Sound Synthesis and Digital Signal Processing.	FPL	2000	DBLP DOI BibTeX RDF
11	Alexandre R. J. François, Gérard G. Medioni	A modular middleware flow scheduling framework (poster session).	ACM Multimedia	2000	DBLP DOI BibTeX RDF	multimedia middleware, synchronization, dataflow programming
11	Florian Kammüller	Modular Reasoning in Isabelle.	CADE	2000	DBLP DOI BibTeX RDF
11	Christos Andrea Antoniou, T. Jeff Reynolds	Modular neural networks exploit multiple front-ends to improve speech recognition systems.	KES	2000	DBLP DOI BibTeX RDF
11	Robin Green	What you installed is what you see: help navigation in modular software products.	SIGDOC	2000	DBLP BibTeX RDF
11	Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim 0001	An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF
11	Gasser Auda, Mohamed S. Kamel	A Modular Neural Network for Vague Classification.	Rough Sets and Current Trends in Computing	2000	DBLP DOI BibTeX RDF
11	Catarina Silva 0001, Manuel M. Crisóstomo, Bernardete Ribeiro	MONODA: A Neural Modular Architecture for Obstacle Avoidance without Knowledge of the Environment.	IJCNN (6)	2000	DBLP DOI BibTeX RDF	Neural networks, mobile robotics, modularity
11	Marcelino Lázaro, Ignacio Santamaría, Carlos Pantaleón, Cesar Navarro, Antonio Tazón, Tomás Fernández Ibáñez	A Modular Neural Network for Global Modeling of Microwave Transistors.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
11	Pentti O. A. Haikonen	A Modular Neural System for Machine Cognition.	IJCNN (1)	2000	DBLP DOI BibTeX RDF
11	Karl J. Lieberherr, David H. Lorenz, Mira Mezini	Building modular object-oriented systems with reusable collaborations (tutorial session).	ICSE	2000	DBLP DOI BibTeX RDF
11	Gurdip Singh, Jun Wu	Modular Object-Oriented Design of Distributed Protocols.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Distributed systems, Protocols, Synchronization, Composition
11	Ken Mai, Tim Paaske, Nuwan Jayasena, Ron Ho, William J. Dally, Mark Horowitz	Smart Memories: a modular reconfigurable architecture.	ISCA	2000	DBLP DOI BibTeX RDF
11	Agathe Merceron, G. Michele Pinna	Refinement and Modular Verification with Observers.	APAQS	2000	DBLP DOI BibTeX RDF
11	Bao-Liang Lu, Masami Ito	Task decomposition and module combination based on class relations: a modular neural network for pattern classification.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
11	Claudio de la Riva, Javier Tuya, José Ramón de Diego	Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
11	William Power, Ray J. Frank, John Done, Neil Davey	A Modular Attractor Model of Semantic Access.	IWANN (1)	1999	DBLP DOI BibTeX RDF
11	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
11	Tom Pfeifer, Radu Popescu-Zeletin	A Modular Location-Aware Service and Application Platform.	ISCC	1999	DBLP DOI BibTeX RDF
11	Robert Tappan Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek	The Click modular router.	SOSP	1999	DBLP DOI BibTeX RDF
11	Andreas Rauber, Philipp Tomsich	An Architecture for Modular On-Line Analytical Processing Systems: Supporting Distributed and Parallel Query Processing Using Cooperating CORBA Objects.	DEXA Workshops	1999	DBLP DOI BibTeX RDF
11	Pascal Paillier	Low-Cost Double-Size Modular Exponentiation or How to Stretch Your Cryptoprocessor.	Public Key Cryptography	1999	DBLP DOI BibTeX RDF
11	Che-Han Wu, Ming-Der Shieh, Chien-Hsing Wu 0002, Ming-Hwa Sheu, Jia-Lin Sheu	A VLSI architecture of fast high-radix modular multiplication for RSA cryptosystem.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
11	Billy K. H. Wong, Henry Shu-Hung Chung	Modular graphing technique for small-signal low-frequency characterizations of PWM DC/DC regulators.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
11	Andrea Alimonda, Salvatore Carta, Luigi Raffo	A modular digital VLSI architecture for stereo depth estimation in industrial applications.	ISCAS (6)	1999	DBLP DOI BibTeX RDF