Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Gemma Bel Enguix, María Dolores Jiménez-López	A BioInspired Model for Parsing of Natural Languages.	NICSO	2007	DBLP DOI BibTeX RDF
13	Leif Uhsadel, Axel Poschmann, Christof Paar	Enabling Full-Size Public-Key Algorithms on 8-Bit Sensor Nodes.	ESAS	2007	DBLP DOI BibTeX RDF	8-bit micro controller, secp160r1, wireless sensor network, elliptic curve cryptography, Micaz
13	John H. Reppy, Yingqi Xiao	Specialization of CML message-passing primitives.	POPL	2007	DBLP DOI BibTeX RDF	static analysis, message passing, ML, concurrent languages
13	Erik Hemberg, Conor Gilligan, Michael O'Neill 0001, Anthony Brabazon	A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms.	EuroGP	2007	DBLP DOI BibTeX RDF
13	Alex Arenas, Alberto Fernández 0003, Sergio Gómez	A Complex Network Approach to the Determination of Functional Groups in the Neural System of C. Elegans.	BIOWIRE	2007	DBLP DOI BibTeX RDF
13	Mark Braverman, Raghav Kulkarni, Sambuddha Roy	Parity Problems in Planar Graphs.	CCC	2007	DBLP DOI BibTeX RDF
13	Jae-Yoon Jung, James A. Reggia	Evolutionary Design of Neural Network Architectures Using a Descriptive Encoding Language.	IEEE Trans. Evol. Comput.	2006	DBLP DOI BibTeX RDF
13	Sridhar Srinivasan	Modulo transforms - an alternative to lifting.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
13	Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers	MultiJava: Design rationale, compiler implementation, and applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
13	Vineet R. Khare, Bernhard Sendhoff, Xin Yao 0001	Environments Conducive to Evolution of Modularity.	PPSN	2006	DBLP DOI BibTeX RDF
13	X. H. Gao, Ming-He Jin, Zongwu Xie, Li Jiang 0001, Fenglei Ni, Shicai Shi, Ran Wei, Hegao Cai	Development of the Chinese Intelligent Space Robotic System.	IROS	2006	DBLP DOI BibTeX RDF
13	Ivan Kurtev, Klaas van den Berg, Frédéric Jouault	Evaluation of rule-based modularization in model transformation languages illustrated with ATL.	SAC	2006	DBLP DOI BibTeX RDF	adaptability, modularity, model transformations, reusability, ATL, transformation languages
13	Jacques J. A. Fournier, Simon W. Moore	Hardware-Software Codesign of a Vector Co-processor for Public Key Cryptography.	DSD	2006	DBLP DOI BibTeX RDF
13	Zhongjie Li, Wee Ser	A blind cascade structure interference cancellation RAKE receiver for CDMA communications.	IWCMC	2006	DBLP DOI BibTeX RDF	minimum variance distortionless response (MVDR), code division multiple access (CDMA), interference suppression, RAKE receiver, blind detection
13	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
13	Stefan Enderle	The Robotics and Mechatronics Kit "qfix".	RoboCup	2006	DBLP DOI BibTeX RDF
13	Jaakko Järvi, Douglas P. Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek	Algorithm specialization in generic programming: challenges of constrained generics in C++.	PLDI	2006	DBLP DOI BibTeX RDF	constrained generics, generic programming, concepts, specialization, parametric polymorphism
13	Matthieu Manceny, Franck Delaplace	Elementary Modules in Games Networks.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
13	Andreas Herzig, Ivan José Varzinczak	A Modularity Approach for a Fragment of ALC.	JELIA	2006	DBLP DOI BibTeX RDF	Knowledge representation, modularity, description logics
13	Seungwon Lee, Yookun Cho	Efficient Batch Verification for RSA-Type Digital Signatures in a Ubiquitous Environment.	EUC	2006	DBLP DOI BibTeX RDF
13	Alain Darte, Robert Schreiber, Gilles Villard	Lattice-Based Memory Allocation.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	memory size reduction, admissible lattice, successive minima, Program transformation
13	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
13	Iain Bate, Philippa Conmy	Safe Composition of Real Time Software.	HASE	2005	DBLP DOI BibTeX RDF
13	Dejan Desovski, Yan Liu 0003, Bojan Cukic	Linear Randomized Voting Algorithm for Fault Tolerant Sensor Fusion and the Corresponding Reliability Model.	HASE	2005	DBLP DOI BibTeX RDF
13	Kathi Fisler, Shriram Krishnamurthi	Decomposing Verification Around End-User Features.	VSTTE	2005	DBLP DOI BibTeX RDF
13	Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu	Incrementalization across object abstraction.	OOPSLA	2005	DBLP DOI BibTeX RDF	design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization
13	Alessandro Cilardo, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano	A Novel Unified Architecture for Public-Key Cryptography.	DATE	2005	DBLP DOI BibTeX RDF
13	Susan Hohenberger, Anna Lysyanskaya	How to Securely Outsource Cryptographic Computations.	TCC	2005	DBLP DOI BibTeX RDF
13	Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han	A Path Sensitive Type System for Resource Usage Verification of C Like Languages.	APLAS	2005	DBLP DOI BibTeX RDF
13	Guomin Yang, Duncan S. Wong, Xiaotie Deng	Efficient Anonymous Roaming and Its Security Analysis.	ACNS	2005	DBLP DOI BibTeX RDF	Anonymous Roaming, Authenticated Key Exchange
13	Apostolos P. Fournaris, Odysseas G. Koufopavlou	A new RSA encryption architecture and hardware implementation based on optimized Montgomery multiplication.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
13	Souradyuti Paul, Bart Preneel	Near Optimal Algorithms for Solving Differential Equations of Addition with Batch Queries.	INDOCRYPT	2005	DBLP DOI BibTeX RDF
13	Cristina Videira Lopes, Sushil Krishna Bajracharya	An analysis of modularity in aspect oriented design.	AOSD	2005	DBLP DOI BibTeX RDF	aspect oriented programming and design, design space matrix, net options value, modularity
13	Fotis Foukalas, Yiorgos Ntarladimas, Aristotelis Glentis, Zachos Boufidis	Protocol Reconfiguration Using Component-Based Design.	DAIS	2005	DBLP DOI BibTeX RDF
13	Seungwon Lee, Seongje Cho, Jongmoo Choi, Yookun Cho	Batch Verification with DSA-Type Digital Signatures for Ubiquitous Computing.	CIS (2)	2005	DBLP DOI BibTeX RDF
13	Nareli Cruz Cortés, Francisco Rodríguez-Henríquez, Raúl Juárez-Morales, Carlos A. Coello Coello	Finding Optimal Addition Chains Using a Genetic Algorithm Approach.	CIS (1)	2005	DBLP DOI BibTeX RDF
13	Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura	Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
13	Nguyen Truong Thang, Takuya Katayama	Handling Consistency of Software Evolution in an Efficient Way.	IWPSE	2004	DBLP DOI BibTeX RDF
13	Patrik Kenger	Benefits of Modularity and Module Level Tests.	BASYS	2004	DBLP DOI BibTeX RDF
13	Ubaldo Aleriano Sanchez, Tilo Pfeifer	Optical metrology aimed for process quality-control-loops (QCL) in production-modules for micro-technology.	SMC (6)	2004	DBLP DOI BibTeX RDF
13	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	Secure protocol composition.	FMSE	2003	DBLP DOI BibTeX RDF	logic, security protocols, invariants, protocol composition
13	Jacques Stern, Julien P. Stern	Cryptanalysis of the OTM Signature Scheme from FC'02.	Financial Cryptography	2003	DBLP DOI BibTeX RDF
13	Takeshi Okamoto, Hirofumi Katsuno, Eiji Okamoto	A Fast Signature Scheme Based on New On-line Computation.	ISC	2003	DBLP DOI BibTeX RDF
13	Kyo-Min Ku, Kyeoung Ju Ha, Kee-Young Yoo	Fast Exponentiaion over GF(2) Based on Cellular Automata.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
13	Kyo-Min Ku, Kyeoung Ju Ha, Kee-Young Yoo	Time-Space Efficient Exponentiation over GF(2m).	ICCSA (1)	2003	DBLP DOI BibTeX RDF
13	Whitney J. Townsend, Jacob A. Abraham, Earl E. Swartzlander Jr.	Quadruple Time Redundancy Adders.	DFT	2003	DBLP DOI BibTeX RDF
13	Shailesh Kumar, Joydeep Ghosh, Melba M. Crawford	Hierarchical Fusion of Multiple Classifiers for Hyperspectral Data Analysis.	Pattern Anal. Appl.	2002	DBLP DOI BibTeX RDF	Binary hierarchical classifier, Fisher discriminant, Hyperspectral feature extraction, Output space decompo-sition, Pattern recognition, Remote sensing, Hyperspectral data
13	Hyun-Sung Kim 0001, Kee-Young Yoo	Bit-Serial AOP Arithmetic Architectures over GF (2m).	InfraSec	2002	DBLP DOI BibTeX RDF
13	Amanda J. C. Sharkey	Types of Multinet System.	Multiple Classifier Systems	2002	DBLP DOI BibTeX RDF
13	Yvonne Coady, Gregor Kiczales, Joon Suan Ong, Andrew Warfield, Michael J. Feeley	Brittle systems will break - not bend: can aspect-oriented programming help?	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
13	Lisa K. Ferrett, Jeff Offutt	An Empirical Comparison of Modularity of Procedural and Object-oriented Software.	ICECCS	2002	DBLP DOI BibTeX RDF
13	Cormac Flanagan, K. Rustan M. Leino	Houdini, an Annotation Assistant for ESC/Java.	FME	2001	DBLP DOI BibTeX RDF
13	Lawrence W. Barsalou	The human conceptual system.	FOIS	2001	DBLP DOI BibTeX RDF
13	Jan Jürjens	Composability of Secrecy.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
13	Kostas Magoutis, José Carlos Brustoloni, Eran Gabber, Wee Teck Ng, Abraham Silberschatz	Building appliances out of components using Pebble.	ACM SIGOPS European Workshop	2000	DBLP DOI BibTeX RDF
13	Rajeev Alur	Exploiting Hierarchical Structure for Efficient Formal Verification.	CONCUR	2000	DBLP DOI BibTeX RDF
13	Chih-Yuang Su, Shih-Am Hwang, Po-Song Chen, Cheng-Wen Wu	An improved Montgomery's algorithm for high-speed RSA public-key cryptosystem.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
13	Dick de Ridder, Robert P. W. Duin, Piet W. Verbeek	The Applicability of Neural Networks to Non-linear Image Processing.	Pattern Anal. Appl.	1999	DBLP DOI BibTeX RDF	Edge preserving smoothing, Quantitative performance measures, Image processing, Neural network architectures, Non-linear filtering
13	Mihir Bellare, Juan A. Garay, Tal Rabin	Batch Verification with Applications to Cryptography and Checking.	LATIN	1998	DBLP DOI BibTeX RDF
13	Jia Liang Han	Program Partition and Logic Program Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	logic programming, query optimization, program verifications, deductive databases, semantic analysis, Declarative programming, program partitions
13	Paola Bonizzoni	A Tight Lower Bound for Primitivity in k-Structures.	ICALP	1994	DBLP DOI BibTeX RDF
13	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
13	Zhaohui Luo	Program Specification and Data Refinement in Type Theory.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
13	Kenneth J. Goldman	A Compositional Model for Layered Distributed Systems.	CONCUR	1991	DBLP DOI BibTeX RDF
13	Gary A. Wicklund, Roberta M. Roth	Expert Systems in Insurance Underwriting: Model Development and Application.	SIGBDP-SIGCPR	1987	DBLP DOI BibTeX RDF
11	Jonathan M. Johnson, Michael J. Wirthlin	Voter insertion algorithms for FPGA designs using triple modular redundancy.	FPGA	2010	DBLP DOI BibTeX RDF	scc, tmr, voter insertion, fpga, algorithm, reliability, synchronization
11	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
11	Stephanie Balzer, Thomas R. Gross	Modular reasoning about invariants over shared state with interposed data members.	PLPV	2010	DBLP DOI BibTeX RDF	ownership type systems, invariants
11	Brandon Heller, David Erickson, Nick McKeown, Rean Griffith, Igor Ganichev, Scott Whyte, Kyriakos Zarifis, Daekyeong Moon, Scott Shenker, Stephen Stuart	Ripcord: a modular platform for data center networking.	SIGCOMM	2010	DBLP DOI BibTeX RDF	ripcord, openflow, data center network
11	Nathan Farrington, George Porter, Sivasankar Radhakrishnan, Hamid Hajabdolali Bazzaz, Vikram Subramanya, Yeshaiahu Fainman, George Papen, Amin Vahdat	Helios: a hybrid electrical/optical switch architecture for modular data centers.	SIGCOMM	2010	DBLP DOI BibTeX RDF	optical networks, data center networks
11	Iris Adä, Michael R. Berthold	The new iris data: modular data generators.	KDD	2010	DBLP DOI BibTeX RDF	artificial data, pipeline tool, data generation
11	Michal Ficek, Tomás Pop, Petr Vlácil, Katerina Dufková, Lukas Kencl, Martin Tomek	Performance study of active tracking in a cellular network using a modular signaling platform.	MobiSys	2010	DBLP DOI BibTeX RDF	mobility, cellular network, GSM, SS7, active tracking
11	Sriranjan Rasakatla, K. Madhava Krishna, Bipin Indurkhya	"Mod-Leg" a modular legged robotic system.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
11	Juan Alberto Rivera-Bautista, Ana Cristina Ramirez-Hernandez, Virginia A. Garcia-Vega, Antonio Marín-Hernández	Modular control for human motion analysis and classification in human-robot interaction.	HRI	2010	DBLP DOI BibTeX RDF	attitude interpretation, human walking gestures, human-robot interaction, sensor fusion
11	Hung-Hsuan Huang, Aleksandra Cerekovic, Igor S. Pandzic, Yukiko I. Nakano, Toyoaki Nishida	Toward a multi-culture adaptive virtual tour guide agent with a modular approach.	AI Soc.	2009	DBLP DOI BibTeX RDF
11	Young Ho Park 0001	Modular independence and generator matrices for codes over \mathbb Zm{\mathbb {Z}_m}.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 94B05, 94A60
11	Erik Jan Marinissen, Yervant Zorian	IEEE Std 1500 Enables Modular SoC Testing.	IEEE Des. Test Comput.	2009	DBLP DOI BibTeX RDF
11	Jiri Halak, Sven Ubik	MTPP - Modular Traffic Processing Platform.	DDECS	2009	DBLP DOI BibTeX RDF
11	Christophe Desmouliers, Erdal Oruklu, Jafar Saniie	FPGA-based design of a high-performance and modular video processing platform.	EIT	2009	DBLP DOI BibTeX RDF
11	Shahar Dobzinski, Noam Nisan	A Modular Approach to Roberts' Theorem.	SAGT	2009	DBLP DOI BibTeX RDF
11	Shu Yan Chan, Ian X. Y. Leung, Pietro Liò	Fast centrality approximation in modular networks.	CIKM-CNIKM	2009	DBLP DOI BibTeX RDF	modularity, complex network, centrality, community detection
11	Federico Tarri, Marco Fontana, Fabio Salsedo, Simone Marcheschi, Massimo Bergamasco	Modular weight-balanced mechanical tracker for portable haptics.	ICRA	2009	DBLP DOI BibTeX RDF
11	Ricardo Franco Mendoza Garcia, Andreas Lyder, David Johan Christensen, Kasper Støy	Reusable electronics and adaptable communication as implemented in the odin modular robot.	ICRA	2009	DBLP DOI BibTeX RDF
11	Alexander Spröwitz, Aude Billard, Pierre Dillenbourg, Auke Jan Ijspeert	Roombots-mechanical design of self-reconfiguring modular robots for adaptive furniture.	ICRA	2009	DBLP DOI BibTeX RDF
11	Jueyao Wang, Xiaorui Zhu, Fude Tie, Tao Zhao, Xu Xu	Design of a modular robotic system for archaeological exploration.	ICRA	2009	DBLP DOI BibTeX RDF
11	Lee W. Sciarini, Denise M. Nicholson	Assessing Cognitive State with Multiple Physiological Measures: A Modular Approach.	HCI (16)	2009	DBLP DOI BibTeX RDF	Augmented Cognition, Physiological Measures, Neuroergonomics
11	Nels E. Beckman	Modular typestate checking in concurrent Java programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	Java, concurrency, static analysis, typestate
11	Erik Solum, Carl Hauser, Rasika Chakravarthy, David E. Bakken	Modular over-the-wire configurable security for long-lived critical infrastructure monitoring systems.	DEBS	2009	DBLP DOI BibTeX RDF
11	Michael DeRosa, Seth Copen Goldstein, Peter Lee 0001, Padmanabhan Pillai, Jason Campbell	A tale of two planners: Modular robotic planning with LDP.	IROS	2009	DBLP DOI BibTeX RDF
11	Thomas W. Mather, Mark Yim	Modular configuration design for a controlled fall.	IROS	2009	DBLP DOI BibTeX RDF
11	Andreas Lyder, Henrik Gordon Petersen, Kasper Støy	Representation and shape estimation of Odin, a parallel under-actuated modular robot.	IROS	2009	DBLP DOI BibTeX RDF
11	Guangjun Liu, Saleh Ahmad, Lu Ren	Hybrid control of door-opening by modular re-configurable Robots.	IROS	2009	DBLP DOI BibTeX RDF
11	Wei Wang 0034, Houxiang Zhang, Jianwei Zhang 0001	Crawling Locomotion of Modular Climbing Caterpillar Robot with Changing Kinematic Chain.	IROS	2009	DBLP DOI BibTeX RDF
11	Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu	Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects.	FM	2009	DBLP DOI BibTeX RDF
11	Hritam Dutta, Frank Hannig, Jürgen Teich	Performance Matching of Hardware Acceleration Engines for Heterogeneous MPSoC Using Modular Performance Analysis.	ARCS	2009	DBLP DOI BibTeX RDF
11	Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung	Modular argumentation for modelling legal doctrines of performance relief.	ICAIL	2009	DBLP DOI BibTeX RDF	legal doctrines, argumentation, frustration, impossibility
11	Minh Dao-Tran, Thomas Eiter, Michael Fink 0001, Thomas Krennwallner	Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
11	Xiaodong Li, Shumin Fei, Tao Zhang	Face Recognition Based on Histogram of Modular Gabor Feature and Support Vector Machines.	ISNN (3)	2009	DBLP DOI BibTeX RDF	histogram sequence, support vector machines (SVM), face recognition, Gabor wavelet
11	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
11	Anja Lehmann, Stefano Tessaro	A Modular Design for Hash Functions: Towards Making the Mix-Compress-Mix Approach Practical.	ASIACRYPT	2009	DBLP DOI BibTeX RDF