Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
11	Vinod K. Valsalam, Risto Miikkulainen	Evolving symmetric and modular neural networks for distributed control.	GECCO	2009	DBLP DOI BibTeX RDF	multilegged robots, controllers, modularity, symmetry, group theory, indirect encoding
11	Danniel C. Lopes, Rafael Marrocos Magalhães, Jorge Dantas de Melo, Adrião Duarte Dória Neto	Implementation and Evaluation of Modular Neural Networks in a Multiple Processor System on Chip to Classify Electric Disturbance.	CSE (1)	2009	DBLP DOI BibTeX RDF
11	Kai Brünnler, Lutz Straßburger	Modular Sequent Systems for Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
11	Pilsung Kang 0002, Naresh K. C. Selvarasu, Naren Ramakrishnan, Calvin J. Ribbens, Danesh K. Tafti, Srinidhi Varadarajan	Modular, Fine-Grained Adaptation of Parallel Programs.	ICCS (1)	2009	DBLP DOI BibTeX RDF
11	Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte	VCC: Contract-based modular verification of concurrent C.	ICSE Companion	2009	DBLP DOI BibTeX RDF
11	Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby	Modular string-sensitive permission analysis with demand-driven precision.	ICSE	2009	DBLP DOI BibTeX RDF
11	Masayuki Noro	Modular Algorithms for Computing a Generating Set of the Syzygy Module.	CASC	2009	DBLP DOI BibTeX RDF
11	Leonardo Gualano, Paul Young	A Modular Distributed Decision Support System with Data Mining Capabilities.	HAIS	2009	DBLP DOI BibTeX RDF	Decision Support Systems, Evolutionary Techniques, Distributed Knowledge
11	Seong-Joo Han, Se-Young Oh	An optimized modular neural network controller based on environment classification and selective sensor usage for mobile robot reactive navigation.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	Environment classification, Cooperative coordination, Evolutionary robotics, Neurocontroller, Reactive navigation
11	Sana Belmokhtar	Optimization of modular machining lines.	4OR	2008	DBLP DOI BibTeX RDF	MSC classification (2000) 90C27, 90C90, 90C10, 90C05, 90C35
11	Vince Grolmusz	Modular Representations of Polynomials: Hyperdense Coding and Fast Matrix Multiplication.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
11	Mo Chen, Temujin Gautama, Danilo P. Mandic	An Assessment of Qualitative Performance of Machine Learning Architectures: Modular Feedback Networks.	IEEE Trans. Neural Networks	2008	DBLP DOI BibTeX RDF
11	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
11	Christof Lutteroth, Gerald Weber	Modular Specification of GUI Layout Using Constraints.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	user interfaces, constraints, modularity, layout
11	Guanyong Wu, Jie Zhu	Modular BDPCA based visual feature representation for lip-reading.	ICIP	2008	DBLP DOI BibTeX RDF
11	David Johan Christensen, Jason Campbell	Anatomy-based organization of modular robots.	ICRA	2008	DBLP DOI BibTeX RDF
11	Sajan Abdul, Guangjun Liu	Decentralised fault tolerance and fault detection of modular and reconfigurable robots with joint torque sensing.	ICRA	2008	DBLP DOI BibTeX RDF
11	Guangjun Liu, Xiaojia He, Jing Yuan, Sajan Abdul, Andrew A. Goldenberg	Development of modular and reconfigurable robot with multiple working modes.	ICRA	2008	DBLP DOI BibTeX RDF
11	Björn Hein, Martin Hensel, Heinz Wörn	Intuitive and model-based on-line programming of industrial robots: A modular on-line programming environment.	ICRA	2008	DBLP DOI BibTeX RDF
11	Seth White, Alexandre Alves, David Rorke	WebLogic event server: a lightweight, modular application server for event processing.	DEBS	2008	DBLP DOI BibTeX RDF	Spring, Java, OSGi, stream processing, complex event processing, application server
11	Sasu Tarkoma	Fuego toolkit: a modular framework for content-based routing.	DEBS	2008	DBLP DOI BibTeX RDF	publish/subscribe, content-based routing
11	Ryo Kikuuwe, Motoji Yamamoto	A modular software architecture for simulating mechanical systems involving Coulomb friction integrable by the Runge-Kutta method.	IROS	2008	DBLP DOI BibTeX RDF
11	Youngshik Kim, Mark A. Minor	Coordinated kinematic motion control of Compliant Framed wheeled Modular Mobile Robots.	IROS	2008	DBLP DOI BibTeX RDF
11	Daniele Calisi, Andrea Censi, Luca Iocchi, Daniele Nardi	OpenRDK: A modular framework for robotic software development.	IROS	2008	DBLP DOI BibTeX RDF
11	Marc Freixas, Robert Joan-Arinyo, Antoni Soto-Riera	Elements for a modular dynamic geometry system.	SAC	2008	DBLP DOI BibTeX RDF	dynamic mechanisms, geometric constraint solving, dynamic geometry
11	Simon Richard Kaegi, Dwight Deugo	Modular Java web applications.	SAC	2008	DBLP DOI BibTeX RDF	server-side, web applications, eclipse, OSGi, java EE
11	François Charot, Christophe Wolinski, Nicolas Fau, François Hamon	A Parallel and Modular Architecture for 802.16e LDPC Codes.	DSD	2008	DBLP DOI BibTeX RDF
11	Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin	Enhancing modular OO verification with separation logic.	POPL	2008	DBLP DOI BibTeX RDF	enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
11	Ki-Hyeon Park, Hong-Yeop Song	A Probabilistic Approach on Estimating the Number of Modular Sonar Sequences.	SETA	2008	DBLP DOI BibTeX RDF
11	Shijun Yu, Stefano Spaccapietra	A Modular Data Infrastructure for Location-Based Services.	ER Workshops	2008	DBLP DOI BibTeX RDF
11	Ivan Damgård, Lars R. Knudsen, Søren S. Thomsen	Dakota- Hashing from a Combination of Modular Arithmetic and Symmetric Cryptography.	ACNS	2008	DBLP DOI BibTeX RDF
11	Yonghui Hu, Wei Zhao 0007, Long Wang 0001, Yingmin Jia	Neural-based control of modular robotic fish with multiple propulsors.	CDC	2008	DBLP DOI BibTeX RDF
11	Conrado Pilotto, José Rodrigo Azambuja, Fernanda Lima Kastensmidt	Synchronizing triple modular redundant designs in dynamic partial reconfiguration applications.	SBCCI	2008	DBLP DOI BibTeX RDF	fault tolerance, FPGA, TMR, dynamic partial reconfiguration
11	Miroslaw Truszczynski, Stefan Woltran	Relativized Hyperequivalence of Logic Programs for Modular Programming.	ICLP	2008	DBLP DOI BibTeX RDF
11	Osama M. Mohsen, Paul J. Knytl, Basel Abdulaal, Jacek Olearczyk, Mohamed Al-Hussein	Simulation of modular building construction.	WSC	2008	DBLP DOI BibTeX RDF
11	Marcin Korytkowski, Marcin Gabryel, Leszek Rutkowski, Stanislaw Drozda	Evolutionary Methods to Create Interpretable Modular System.	ICAISC	2008	DBLP DOI BibTeX RDF
11	Bengt Jonsson 0001, Simon Perathoner, Lothar Thiele, Wang Yi 0001	Cyclic dependencies in modular performance analysis.	EMSOFT	2008	DBLP DOI BibTeX RDF	fixpoint iteration, performance analysis, real-time calculus
11	Stefan Groesbrink, Timo Kerstan	Modular paging with dynamic TLB partitioning for embedded real-time systems.	SIES	2008	DBLP DOI BibTeX RDF
11	Zhong-Qiu Zhao, Hervé Glotin	Enhancing Visual Concept Detection by a Novel Matrix Modular Scheme on SVM.	CLEF	2008	DBLP DOI BibTeX RDF
11	Ralph Feenstra, Marijn Janssen	Service portfolios for managing modular networks.	DG.O	2008	DBLP BibTeX RDF	application portfolio, service portfolio, service-oriented government, service-oriented architectures, service composition, building blocks
11	Ravi Kumar Satzoda, Ramya Muralidharan, Chip-Hong Chang	Programmable LSB-first and MSB-first modular multipliers for ECC in GF(2m).	ISCAS	2008	DBLP DOI BibTeX RDF
11	Gernot Kronreif, Paul Panek, Alexander Hüntemann, Ger Cremers, Andreas Hochgatterer, Martin Fürst, Peter Mayer 0002, Gert Jan Gelderblom	MOVEMENT - A Modular and Versatile Mobility Enhancement System.	ICCHP	2008	DBLP DOI BibTeX RDF	mobility aids, accessibility, assistive robotics, independent living
11	Timothy J. Dysart, Peter M. Kogge	System Reliabilities When Using Triple Modular Redundancy in Quantum-Dot Cellular Automata.	DFT	2008	DBLP DOI BibTeX RDF
11	Xiao-Lei Chu, Chao Ma, Jing Li, Bao-Liang Lu, Masao Utiyama, Hitoshi Isahara	Large-scale patent classification with min-max modular support vector machines.	IJCNN	2008	DBLP DOI BibTeX RDF
11	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
11	Giovanni Frattini, Federico Ceccarini, Fabio Corvino, Ivano De Furio, Francesco Gaudino, Pierpaolo Petriccione, Roberto Russo, Vladimiro Scotto di Carlo, Gianluca Supino	A New Approach Toward a Modular Multimodal Interface for PDAs and Smartphones.	VISUAL	2008	DBLP DOI BibTeX RDF
11	María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda	A Modular Equational Generalization Algorithm.	LOPSTR	2008	DBLP DOI BibTeX RDF
11	Bianca Innocenti, Beatriz López 0001, Joaquim Salvi	Design Patterns for Combining Social and Individual Intelligences on Modular-Based Agents.	HAIS	2008	DBLP DOI BibTeX RDF	agent design pattern, integrated intelligence, multi-agent system, mobile robotics
11	Guénaël Renault, Kazuhiro Yokoyama	Multi-modular algorithm for computing the splitting field of a polynomial.	ISSAC	2008	DBLP DOI BibTeX RDF	splitting field, galois theory
11	Takumi Kamioka, Eiji Uchibe, Kenji Doya	NeuroEvolution Based on Reusable and Hierarchical Modular Representation.	ICONIP (1)	2008	DBLP DOI BibTeX RDF
11	Johane Takeuchi, Osamu Shouno, Hiroshi Tsujino	Self-Referential Event Lists for Self-Organizing Modular Reinforcement Learning.	ICONIP (2)	2008	DBLP DOI BibTeX RDF
11	Benoit Gaudin, Hervé Marchand	An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Supervisory control problem, Concurrent finite state machines, Partial controllability, Discrete event systems
11	Christian Herrmann, Anvar M. Nurakunov	On Locally Finite Modular Lattice Varieties of Finite Height.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06C05
11	Ilham Chakir, Maurice Pouzet	The Length of Chains in Modular Algebraic Lattices.	Order	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06A12, 06B35
11	Kazuo Sakiyama, Lejla Batina, Bart Preneel, Ingrid Verbauwhede	Multicore Curve-Based Cryptoprocessor with Reconfigurable Modular Arithmetic Logic Units over GF(2n).	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	arithmetic and logic units, Multiprocessor systems, public key cryptosystems, reconfigurable hardware, processor architectures
11	Ling Zhuo, Viktor K. Prasanna	Scalable and Modular Algorithms for Floating-Point Matrix Multiplication on Reconfigurable Computing Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	computations on matrices, field-programmable gate arrays, parallel algorithms, Scientific computing, reconfigurable hardware
11	Xiaorui Zhu, Youngshik Kim, Roy Merrell, Mark A. Minor	Cooperative Motion Control and Sensing Architecture in Compliant Framed Modular Mobile Robots.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
11	Charles Lakos, Laure Petrucci	Modular state space exploration for timed petri nets.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
11	Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier	Unifying Two Graph Decompositions with Modular Decomposition.	ISAAC	2007	DBLP DOI BibTeX RDF
11	Holger Flatt, Sebastian Hesselbarth, Sebastian Flügel, Peter Pirsch	A Modular Coprocessor Architecture for Embedded Real-Time Image and Video Signal Processing.	SAMOS	2007	DBLP DOI BibTeX RDF
11	Ruben E. Brown	AWE: improving software analysis through modular integration of static and dynamic analyses.	PASTE	2007	DBLP DOI BibTeX RDF	malicious software analysis, static analysis, dynamic analysis
11	Benjamin D. Rister, Jason Campbell, Padmanabhan Pillai, Todd C. Mowry	Integrated Debugging of Large Modular Robot Ensembles.	ICRA	2007	DBLP DOI BibTeX RDF
11	Peter Mayer 0002, Georg Edelmayer, Gert Jan Gelderblom, Markus Vincze, Peter Einramhof, Marnix Nuttin, Thomas Fuxreiter, Gernot Kronreif	MOVEMENT -Modular Versatile Mobility Enhancement System.	ICRA	2007	DBLP DOI BibTeX RDF
11	Hannes Högni Vilhjálmsson, Chirag Merchant, Prasan Samtani	Social Puppets: Towards Modular Social Animation for Agents and Avatars.	HCI (15)	2007	DBLP DOI BibTeX RDF
11	Kevin Bierhoff, Jonathan Aldrich	Modular typestate checking of aliased objects.	OOPSLA	2007	DBLP DOI BibTeX RDF	linear logic, aliasing, permissions, typestates, behavioral subtyping
11	Mustafa Emre Karagozler, Jason Campbell, Gary K. Fedder, Seth Copen Goldstein, Michael Philetus Weller, Byung Woo Yoon	Electrostatic latching for inter-module adhesion, power transfer, and communication in modular robots.	IROS	2007	DBLP DOI BibTeX RDF
11	Cornell Wright III, Aaron M. Johnson, Aaron Peck, Zachary McCord, Allison Naaktgeboren, Philip Gianfortoni, Manuel Gonzalez-Rivero, Ross L. Hatton, Howie Choset	Design of a modular snake robot.	IROS	2007	DBLP DOI BibTeX RDF
11	Giuseppe Casalino, Alessio Turetta, Andrea Sorbara	Distributed kinematic inversion technique for modular robotic systems.	IROS	2007	DBLP DOI BibTeX RDF
11	Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.	Modular multiple dispatch with multiple inheritance.	SAC	2007	DBLP DOI BibTeX RDF	modularity, overloading, multiple inheritance, multiple dispatch
11	Manish Paliwal, D. Gordon Allan, Peter Filip	Retrieval Analysis of a Cementless Modular Total Hip Arthroplasty Prosthesis.	BIBE	2007	DBLP DOI BibTeX RDF
11	Matthew D. Handier, Gregory S. Hornby	Evolving Quadruped Gaits with a Heterogeneous Modular Robotic System.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Zhong-Qiu Zhao, De-Shuang Huang	An evolutionary modular neural network for unbalanced pattern classifications.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	C. M. Jayalath, R. U. Fernando	A Modular Architecture for Secure and Reliable Distributed Communication.	ARES	2007	DBLP DOI BibTeX RDF
11	Lutz Schröder, Dirk Pattinson	Modular Algorithms for Heterogeneous Modal Logics.	ICALP	2007	DBLP DOI BibTeX RDF
11	Claude Marché	Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
11	Serguei A. Mokhov	Introducing MARF: a Modular Audio Recognition Framework and its Applications for Scientific and Software Engineering Research.	SCSS (1)	2007	DBLP DOI BibTeX RDF
11	Choon Hui Teo, Alexander J. Smola, S. V. N. Vishwanathan, Quoc V. Le	A scalable modular convex solver for regularized risk minimization.	KDD	2007	DBLP DOI BibTeX RDF	optimization, algorithms, convexity
11	Vítor Nogueira, Salvador Abreu	Integrating Temporal Annotations in a Modular Logic Language.	INAP/WLP	2007	DBLP DOI BibTeX RDF
11	Nicola Baldo, Federico Maguolo, Marco Miozzo, Michele Rossi, Michele Zorzi	ns2-MIRACLE: a modular framework for multi-technology and cross-layer support in network simulator 2.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	dynamic libraries, multi-technology, heterogeneous networks, cross-layer, ambient networks
11	Macneil Shonle, William G. Griswold, Sorin Lerner	Beyond refactoring: a framework for modular maintenance of crosscutting design idioms.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	design patterns, refactoring
11	Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv	Thread-modular shape analysis.	PLDI	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, concurrent programming, shape analysis
11	Joo Yeon Cho, Josef Pieprzyk	Multiple Modular Additions and Crossword Puzzle Attack on NLSv2.	ISC	2007	DBLP DOI BibTeX RDF	Crossword Puzzle Attack, NLSv2, Stream Ciphers, Distinguishing Attacks, eSTREAM, NLS
11	Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis	Modular Safety Checking for Fine-Grained Concurrency.	SAS	2007	DBLP DOI BibTeX RDF
11	Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster	Modular information hiding and type-safe linking for C.	TLDI	2007	DBLP DOI BibTeX RDF	C, information hiding, type-safety, module systems
11	Koen V. Hindriks	Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.	PROMAS	2007	DBLP DOI BibTeX RDF
11	Atanas Dobrinov, Volkmar Eichhorn	A Modular Software Haptic Interface for Teleoperated Nanomanipulation and AFM Probe Based Characterization of Carbon Nanotubes.	WHC	2007	DBLP DOI BibTeX RDF
11	Athon Zanikopoulos, Pieter Harpe, Hans Hegt, Arthur H. M. van Roermund	Design of the Basic Building Block of a High-Speed Flexible and Modular Pipelined ADC.	ISCAS	2007	DBLP DOI BibTeX RDF
11	Vincent Brost, Fan Yang 0019, Michel Paindavoine	A modular VLIW Processor.	ISCAS	2007	DBLP DOI BibTeX RDF
11	R. Frost, D. Rudolph, Christian Galke, René Kothe, Heinrich Theodor Vierhaus	A Configurable Modular Test Processor and Scan Controller Architecture.	IOLTS	2007	DBLP DOI BibTeX RDF
11	Nele Mentens, Kazuo Sakiyama, Bart Preneel, Ingrid Verbauwhede	Efficient pipelining for modular multiplication architectures in prime fields.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	public key coprocessor, FPGA, cryptography, montgomery multiplication
11	Daqi Gao, Wei Wang, Jianliang Gao	Class-modular multi-layer perceptions, task decomposition and virtually balanced training subsets.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Arash Andalib	Competitive Decomposition of Input Space in a Competitive Modular Multinet System.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Olivia Mendoza, Patricia Melin, Guillermo Licea	Type-2 Fuzzy Systems for Improving Training Data and Decision Making in Modular Neural Networks for Image Recognition.	IJCNN	2007	DBLP DOI BibTeX RDF
11	Julián Grigera, Andres Fortier, Gustavo Rossi, Silvia E. Gordillo	A Modular Architecture for Context Sensing.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
11	Francesco Logozzo	Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.	VMCAI	2007	DBLP DOI BibTeX RDF
11	Alexandros Agapitos, Simon M. Lucas	Evolving Modular Recursive Sorting Algorithms.	EuroGP	2007	DBLP DOI BibTeX RDF
11	Amos Brocco, Béat Hirsbrunner, Michèle Courant	A modular middleware for high-level dynamic network management.	MAI	2007	DBLP DOI BibTeX RDF	intelligent middleware, network management, swarm intelligence, ant algorithms
11	Jeremy S. Archuleta, Eli Tilevich, Wu-chun Feng	A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search.	ICSM	2007	DBLP DOI BibTeX RDF
11	Gayathri Nadarajan, Arnaud Renouf	A Modular Approach for Automating Video Analysis.	CAIP	2007	DBLP DOI BibTeX RDF	Knowledge-Based Vision, Automatic Video Analysis, Ontology-Based Systems, Ontological Engineering