Search results for "modular"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte	A programming model for concurrent object-oriented programs.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning
15	Andreas Brandstädt, Tilo Klembt, Vadim V. Lozin, Raffaele Mosca	Independent Sets of Maximum Weight in Apple-Free Graphs.	ISAAC	2008	DBLP DOI BibTeX RDF	clique separators, apple-free graphs, polynomial-time algorithm, Maximum independent set, modular decomposition, claw-free graphs
15	Serguei A. Mokhov	Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL.	COMPSAC	2008	DBLP DOI BibTeX RDF	MARFL, Modular Audio Recognition Framework (MARF), higher-order contexts, context hierarchies, pattern recognition, multimedia processing, context-oriented programming, General Intensional Programming System (GIPSY)
15	Serguei A. Mokhov	Study of best algorithm combinations for speech processing tasks in machine learning using median vs. mean clusters in MARF.	C3S2E	2008	DBLP DOI BibTeX RDF	gender identification, mean vs. median feature vector clusters, modular audio recognition framework (MARF), spoken accent identification, classification, pattern recognition, speaker identification
15	Francisco José Romero-Campero, Hongqing Cao, Miguel Cámara, Natalio Krasnogor	Structure and parameter estimation for cell systems biology models.	GECCO	2008	DBLP DOI BibTeX RDF	modular biology, genetic algorithms, memetic algorithm, systems biology, p systems, synthetic biology
15	Frédéric Amiel, Benoit Feix	On the BRIP Algorithms Security for RSA.	WISTP	2008	DBLP DOI BibTeX RDF	BRIP, modular multiplication and exponentiation, RSA, Power analysis, collision attacks
15	Marija Mitrovic, Bosiljka Tadic	Search of Weighted Subgraphs on Complex Networks with Maximum Likelihood Methods.	ICCS (2)	2008	DBLP DOI BibTeX RDF	modular networks, subgraphs, maximum likelihood method
15	David Vigilant	RSA with CRT: A New Cost-Effective Solution to Thwart Fault Attacks.	CHES	2008	DBLP DOI BibTeX RDF	Software countermeasure, RSA, Chinese Remainder Theorem, Fault attacks, Modular exponentiation, Bellcore attack
15	Christine Choppy, Laure Petrucci, Gianna Reggio	A Modelling Approach with Coloured Petri Nets.	Ada-Europe	2008	DBLP DOI BibTeX RDF	coloured Petri nets, modular design, modelling method, specification method
15	Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente	A New Approach to Memory Partitioning in On-Board Spacecraft Software.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity
15	Muhammad Aziz Muslim, Masumi Ishikawa, Tetsuo Furukawa	Task segmentation in a mobile robot by mnSOM: a new approach to training expert modules.	Neural Comput. Appl.	2007	DBLP DOI BibTeX RDF	Task segmentation, Modular network SOM, Mobile robot, Subsequence
15	Selçuk Baktir, Sandeep S. Kumar, Christof Paar, Berk Sunar	A State-of-the-art Elliptic Curve Cryptographic Processor Operating in the Frequency Domain.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	discrete Fourier domain, finite fields, elliptic curve cryptography (ECC), modular multiplication
15	Arndt von Twickel, Frank Pasemann	Reflex-oscillations in evolved single leg neurocontrollers for walking machines.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	modular locomotion control, neurodynamics, reflex-oscillators, walking machines, neural control, artificial evolution
15	Olivier Rütti, Sergio Mena, Richard Ekwall, André Schiper	On the Cost of Modularity in Atomic Broadcast.	DSN	2007	DBLP DOI BibTeX RDF	microprotocols, performance cost, experimental evaluation, modular design, atomic broadcast
15	Cati Vaucelle, Yasmine Abbas	Touch: sensitive apparel.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	apparel, fashion design, massage therapy, sensory interface, haptic, wearable, modular design
15	Hongxu Cai, Zhong Shao, Alexander Vaynberg	Certified self-modifying code.	PLDI	2007	DBLP DOI BibTeX RDF	assembly code verification, runtime code manipulation, self-modifying code, hoare logic, modular verification
15	Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río	A monadic program slicer.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	modular monadic semantics, program slicer, monad, monad transformer
15	Wei-Min Shen, Maks Krivokon, Harris Chi Ho Chiu, Jacob Everist, Michael Rubenstein, Jagadesh Venkatesh	Multimode locomotion via SuperBot reconfigurable robots.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Multifunctional and Self-reconfigurable robots, Multimode gaits, Modular, Space robots
15	Hugh Thomas	An Analogue of Distributivity for Ungraded Lattices.	Order	2006	DBLP DOI BibTeX RDF	left modular lattice, extremal lattice, supersolvable lattice, Tamari lattice, Cambrian lattice
15	Jung Hee Cheon, Dong Hoon Lee 0002	Use of Sparse and/or Complex Exponents in Batch Verification of Exponentiations.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	sparse exponent, modular exponentiation, Batch verification, Frobenius map
15	Wei Zhao 0003, Ying Liu 0045, Jun Zhu, Hui Su	Towards Facilitating Development of SOA Application with Design Metrics.	ICSOC	2006	DBLP DOI BibTeX RDF	service design measurement, SOA, metrics, modular design
15	Christian Prehofer	Semantic reasoning about feature composition via multiple aspect-weavings.	GPCE	2006	DBLP DOI BibTeX RDF	feature composition, semantic reasoning and refinement, aspect-oriented programming, feature interaction, feature-oriented programming, modular reasoning, aspect weaving
15	Hayes Raffle, Amanda J. Parkes, Hiroshi Ishii 0001, Joshua Lifton	Beyond record and play: backpacks: tangible modulators for kinetic behavior.	CHI	2006	DBLP DOI BibTeX RDF	learning, education, children, tangible interface, programming by demonstration, toy, modular robotics, digital manipulative
15	Kaisa Nyberg, Johan Wallén	Improved Linear Distinguishers for SNOW 2.0.	FSE	2006	DBLP DOI BibTeX RDF	SNOW 2.0, linear masking method, Stream cipher, modular addition
15	Joo Yeon Cho, Josef Pieprzyk	Distinguishing Attack on SOBER-128 with Linear Masking.	ACISP	2006	DBLP DOI BibTeX RDF	Linear masking, SOBER-128, Stream ciphers, Distinguishing attack, Modular addition
15	Cheng-Yuan Liou	Backbone Structure of Hairy Memory.	ICANN (1)	2006	DBLP DOI BibTeX RDF	hairy model, modular biology, neural network, associative memory, Hopfield network
15	Sara Khodadad, Michael B. Monagan	Fast rational function reconstruction.	ISSAC	2006	DBLP DOI BibTeX RDF	fast Euclidean algorithm, rational reconstruction, modular algorithms
15	Jie Han 0001, Jianbo Gao, Yan Qi 0003, Pieter Jonker, José A. B. Fortes	Toward Hardware-Redundant, Fault-Tolerant Logic for Nanoelectronics.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	N-tuple modular redundancy (NMR), interwoven redundant logic, random interwoven redundancy, fault-tolerance, Markov chain, nanotechnology, multiplexing, error bounds, nanoelectronics, bifurcation analysis
15	Burak Aksak, Preethi Srinivas Bhat, Jason Campbell, Michael DeRosa, Stanislav Funiak, Phillip B. Gibbons, Seth Copen Goldstein, Carlos Guestrin, Ashish Gupta 0003, Casey Helfrich, James F. Hoburg, Brian T. Kirby, James Kuffner, Peter Lee 0001, Todd C. Mowry, Padmanabhan Pillai, Ram Ravichandran, Benjamin D. Rister, Srinivasan Seshan, Metin Sitti, Haifeng Yu	Claytronics: highly scalable communications, sensing, and actuation networks.	SenSys	2005	DBLP DOI BibTeX RDF	collective actuation, distributed planning and coordination, distributed sensor fusion, dynamic physical rendering, modular reconfigurable robotics, programmable matter, telepresence
15	David Jao, Stephen D. Miller, Ramarathnam Venkatesan	Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log?	ASIACRYPT	2005	DBLP DOI BibTeX RDF	random reducibility, modular forms, L-functions, generalized Riemann hypothesis, elliptic curves, expanders, Ramanujan graphs, isogenies, rapid mixing, discrete log
15	Jacques J. A. Fournier, Simon W. Moore	A Vector Approach to Cryptography Implementation.	DRMTICS	2005	DBLP DOI BibTeX RDF	Cryptography, AES, RSA, vector architecture, Montgomery Modular Multiplication
15	Mary A. Keeler, Heather D. Pfeiffer	Collaboratory testbed partnerships as a knowledge capture challenge.	K-CAP	2005	DBLP DOI BibTeX RDF	collabortories, games, integration, modular, testbeds, hypotheses
15	Laszlo Hars	Fast Truncated Multiplication for Cryptographic Applications.	CHES	2005	DBLP DOI BibTeX RDF	Short product, Truncated product, Karatsuba multiplication, Barrett multiplication, Optimization, Cryptography, Computer Arithmetic, Montgomery multiplication, Modular multiplication, RSA cryptosystem
15	R. Padmanabhan, P. Penner	Semilattice Operations Generated by Lattice Terms.	Order	2004	DBLP DOI BibTeX RDF	quasilattice, compatible orders, subdirectly irreducible, distributive multisemilattice, pseudomedian algebras, lattice, semilattice, modular lattice
15	Paul D. Ezhilchelvan, Francisco V. Brasileiro, Neil A. Speirs	A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	process replication, physical and logical clocks, fault tolerance, agreement, Byzantine failures, Triple Modular Redundancy (TMR), message ordering
15	Todd D. Millstein	Practical predicate dispatch.	OOPSLA	2004	DBLP DOI BibTeX RDF	dynamic dispatch, predicate dispatch, modular typechecking
15	Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg 0002	Verifying aspect advice modularly.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	aspect-oriented software, model checking, modular verification
15	Joo Yeon Cho, Josef Pieprzyk	Algebraic Attacks on SOBER-t32 and SOBER-t16 without Stuttering.	FSE	2004	DBLP DOI BibTeX RDF	SOBER-t32, SOBER-t16, stream ciphers, linearization, Algebraic attack, NESSIE, modular addition, multivariate equations
15	Sung-Ming Yen, Chien-Ning Chen, Sang-Jae Moon, JaeCheol Ha	Improvement on Ha-Moon Randomized Exponentiation Algorithm.	ICISC	2004	DBLP DOI BibTeX RDF	Randomized recoding, Signed-digit recoding, Side-channel attack, Differential power analysis (DPA), Simple power analysis (SPA), Modular exponentiation, Physical cryptanalysis
15	Jared C. Smolens, Brian T. Gold, Jangwoo Kim, Babak Falsafi, James C. Hoe, Andreas Nowatzyk	Fingerprinting: bounding soft-error detection latency and bandwidth.	ASPLOS	2004	DBLP DOI BibTeX RDF	dual modular redundancy (DMR), error detection, soft errors, backwards error recovery (BER)
15	Daniel Neagu, Vasile Palade	A neuro-fuzzy approach for functional genomics data interpretation and analysis.	Neural Comput. Appl.	2003	DBLP DOI BibTeX RDF	Neuro-fuzzy, Modular neural networks, Gene expression data analysis
15	Johan Wallén	Linear Approximations of Addition Modulo 2n.	FSE	2003	DBLP DOI BibTeX RDF	correlation, linear cryptanalysis, Linear approximations, modular addition
15	Dan G. Waddington, Ramesh Viswanathan	Interaction points: exploiting operating system mechanisms for inter-component communications.	ACM SIGOPS Oper. Syst. Rev.	2002	DBLP DOI BibTeX RDF	component engineering, interaction points, operating-system level communications, real-time, modular, embedded, network services
15	Nils Gura, Hans Eberle, Sheueling Chang Shantz	Generic implementations of elliptic curve cryptography using partial reduction.	CCS	2002	DBLP DOI BibTeX RDF	elliptic curve cryptography, modular reduction
15	K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou	Using Data Groups to Specify and Check Side Effects.	PLDI	2002	DBLP DOI BibTeX RDF	alias confinement, data groups, frame conditions, modifies lists, modular soundness, owner exclusion, pivot uniqueness, verification, side effects
15	Nick Halper, Stefan Schlechtweg, Thomas Strothotte	Creating non-photorealistic images the designer's way.	NPAR	2002	DBLP DOI BibTeX RDF	design, user interfaces, non-photorealistic rendering, sketch interface, creative process, modular system
15	Don Coppersmith	Finding Small Solutions to Small Degree Polynomials.	CaLC	2001	DBLP DOI BibTeX RDF	Modular polynomials, lattice reduction
15	Hanae Nozaki, Masahiko Motoyama, Atsushi Shimbo, Shin-ichi Kawamura	Implementation of RSA Algorithm Based on RNS Montgomery Multiplication.	CHES	2001	DBLP DOI BibTeX RDF	RSA cryptography, residue number systems, Montgomery multiplication, modular exponentiation
15	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Complexity and Fast Algorithms for Multiexponentiations.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	cryptography, Modular exponentiation, complex arithmetic
15	Dietrich Paulus, Christopher Drexler, Michael Reinhold, Matthias Zobel, Joachim Denzler	Active Computer Vision System.	CAMP	2000	DBLP DOI BibTeX RDF	active computer vision, data-driven active vision, autonomous mobile service robot, image segmentation, object-oriented programming, active vision, image understanding, modular architecture
15	Virginio Cantoni, Alfredo Petrosino	2-D Object Recognition by Structured Neural Networks in a Pyramidal Architecture.	CAMP	2000	DBLP DOI BibTeX RDF	structured neural networks, pyramidal architecture, hierarchical modular structure, pattern recognition, object recognition, object recognition, SIMD machine, image correlation
15	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
15	Michael J. Liebelt, Cheng-Chew Lim	A method for determining whether asynchronous circuits are self-checking.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	low-power electronics, TSC, low noise properties, semi-modular asynchronous circuit, output stuck-at-faults, low power, fault diagnosis, logic testing, integrated circuit testing, design for testability, asynchronous circuits, testability, totally self-checking, integrated circuit noise
15	Paola Magillo, V. Bertocci	Managing Large Terrain Data Sets with a Multiresolution Structure.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	large terrain data sets, modular multiresolution terrain model, very large databases, large databases, main memory
15	Li-Hsing Yen	Probabilistic analysis of causal message ordering.	RTCSA	2000	DBLP DOI BibTeX RDF	causal message ordering, potential causality, unpredictable message delays, unbounded message delays, bounded message delays, deferred sending, delays, message passing, causality, probabilistic analysis, uniform distribution, exponential distribution, exponential distribution, modular decomposition
15	Jorge Pais, Carlos A. Pinto-Ferreira	The n-dimensional projective approach as a tool for spatial reasoning.	ICTAI	2000	DBLP DOI BibTeX RDF	n-dimensional projective approach, hierarchical modular architecture, spatial backtracking, multiple physical properties, Euclidean space, agent cognitive activities, alternative solutions, performance, reliability, reliability, software agents, flexibility, software performance evaluation, spatial reasoning, spatial reasoning, error recovery, backtracking, cognitive systems
15	Abby A. Ilumoka	Efficient prediction of interconnect crosstalk using neural networks.	ICTAI	2000	DBLP DOI BibTeX RDF	interconnect crosstalk prediction, deep submicron downscaling, wirecells, modular artificial neural networks, multiparadigm prototyping system, equicoupling contours, isocouples, transconductance amplifier, neural networks, delays, delay, finite element method, neural nets, crosstalk, experimental results, circuit CAD, finite element analysis, circuit simulation, circuit simulator, integrated circuit interconnections, wafer-scale integration, wafer scale integration
15	B. J. Phillips, N. Burgess	Implementing 1, 024-Bit RSA Exponentiation on a 32-Bit Processor Core.	ASAP	2000	DBLP DOI BibTeX RDF	Smart Card, RSA, Public Key Cryptography, Sliding Windows, Modular Exponentiation
15	Kenji Nakayama, Akihiro Hirano, Aki Kanbe	A Structure Trainable Neural Network with Embedded Gating Units and Its Learning Algorithm.	IJCNN (3)	2000	DBLP DOI BibTeX RDF	Pattern mapping, Gate units, Structure learning, Modular neural networks, Multilayer neural networks
15	Yijun Yu, Erik H. D'Hollander	Partitioning Loops with Variable Dependence Distances.	ICPP	2000	DBLP DOI BibTeX RDF	dependence equation, pseudo distance matrix, uni-modular transformation, iteration space partitioning 1, loop parallelization, distance vector
15	Tosiyasu L. Kunii, Masayuki Hisada	Overcoming Software Complexity by Constructing Abstraction Hierarchies - The Principles and Applications.	ICECCS	2000	DBLP DOI BibTeX RDF	sustainable social infrastructure, incrementally modular hierarchies, rapid prototyping tool, validation tool, abstracted Java program structures, Java, test case, software complexity, Java language, abstraction hierarchies, program construct, cellular modeling
15	William G. Howerton, Michael G. Hinchey	Using the Right Tool for the Job.	ICECCS	2000	DBLP DOI BibTeX RDF	integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development
15	Il-Seok Oh, Jin-Seon Lee, Ching Y. Suen	Analysis of Class Separation and Combination of Class-Dependent Features for Handwriting Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	class separation, class-dependent feature combination, Handwriting recognition, modular neural network, nonparametric method
15	Christian Ronse, Henk J. A. M. Heijmans	A Lattice-Theoretical Framework for Annular Filters in Morphological Image Processing.	Appl. Algebra Eng. Commun. Comput.	1998	DBLP DOI BibTeX RDF	Idempotent operators, Annular filters, Image processing, Mathematical morphology, Dilation, Erosion, Modular lattice
15	Clive Rosen, D. Simper, J. I. Bostock	An augmented induction for HND computer studies students through an early integrated, inter-disciplinary assignment.	ITiCSE	1998	DBLP DOI BibTeX RDF	modular integration, problem solving, induction, progression rates
15	Daniel V. Bailey, Christof Paar	Optimal Extension Fields for Fast Arithmetic in Public-Key Algorithms.	CRYPTO	1998	DBLP DOI BibTeX RDF	fast arithmetic, pseudo-Mersenne primes, OEF, binomials, cryptographic implementation, finite fields, elliptic curves, hyperelliptic curves, modular reduction, Optimal Extension Fields
15	Matthew S. Brown, Michael F. McNitt-Gray, Jonathan G. Goldin, Denise R. Aberle	An extensible knowledge-based architecture for segmenting computed tomography images.	ICIP (3)	1997	DBLP DOI BibTeX RDF	extensible knowledge-based architecture, image processing engine, X-ray attenuation, anatomical structures, low-level segmentation routines, model objects, image data representation, frame-based semantic network, lung segmentation, thoracic CT, knowledge representation, maintenance, shape, image matching, size, feature space, inference engine, computerised tomography, blackboard, high-level model, relative position, computed tomography images, modular architecture, anatomical model
15	Kostas Kontogiannis	Evaluation Experiments on the Detection of Programming Patterns Using Software Metrics.	WCRE	1997	DBLP DOI BibTeX RDF	evaluation experiments, programming pattern detection, code fragment cloning, control flow related metrics, similar code fragments, fast matching, variable names, information retrieval approach, code fragment retrieval, software metrics, software metrics, software systems, code cloning, signature matching, redundant code, modular systems, maintenance costs
15	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Algorithms for Multi-Exponentiation Based on Complex Arithmetic.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	multi-exponentiation algorithms, binary-like complex arithmetic, multiple modular exponentiation operations, performance, cryptographic protocols, digital arithmetic
15	Vassil S. Dimitrov, Graham A. Jullien, William C. Miller	Theory and applications for a double-base number system.	IEEE Symposium on Computer Arithmetic	1997	DBLP DOI BibTeX RDF	basic arithmetic operations, index calculus, logarithmic-like arithmetic, hardware reductions, lookup table size, inner product computation, modular exponentiation computation, cryptography, digital signal processing, number theory, sparse representation, double-base number system, geometric interpretation
15	Giorgio C. Buttazzo, Fabio Conticelli, Gerardo Lamastra, Giuseppe Lipari	Robot control in hard real-time environment.	RTCSA	1997	DBLP DOI BibTeX RDF	hard real-time environment, modular design approach, high-level processes, elementary sensory-motor activities, hierarchical control system, hard real-time kernel, predictable scheduling, software engineering, software architecture, robot control, real-time constraints
15	Sien-An Ong, Kari Tiensyrjä, Lech Józwiak	Interactive codesign for real-time embedded control systems: task graph generation from SA/VHDL models.	EUROMICRO	1997	DBLP DOI BibTeX RDF	interactive codesign, real-time embedded control systems, task graph generation, InCo, textual functional specification method, linear control structures, static behavioral analysis, graphical functional specification method, high level synthesis, finite-state machines, VHDL, modular design, hierarchical decomposition, hardware software partitioning, cost-efficient
15	Hong Quang Nguyen, Christian Bac, Guy Bernard	Integrating QoS management in a micro-kernel based UNIX operating system.	EUROMICRO	1997	DBLP DOI BibTeX RDF	micro-kernel based UNIX operating system, modular UNIX, Chorus/MiX, video, Unix, distributed applications, file system, Quality of Service guarantees, CPU, QoS management, continuous media, distributed operating system, Quality of Service requirements, digital audio, system resources
15	Robert C. Burnett	A Trade-off Method between Cost and Reliability.	SCCC	1997	DBLP DOI BibTeX RDF	cost/reliability trade-off method, software module development cost estimation, target reliability level, modular software system design phase, operational reliability, software testing phase, fault estimation, project management, software reliability, requirement specification, subroutines, decomposition technique, historical data
15	Johan Verfaillie, Didier Haspeslagh	A general purpose design-for-test methodology at the analog-digital boundary of mixed-signal VLSI.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	mixed-signal DFT, mixed-signal boundary scan, modular mixed-signal test
15	Fang-Chang Lin, Jane Yung-jen Hsu	Cost-balanced cooperation protocol in multi-agent robotic systems.	ICPADS	1996	DBLP DOI BibTeX RDF	cost-balanced cooperation protocol, multi-agent robotic systems, cost-balanced strategy, Object-Sorting Task, subjective optimal decision, distributed modular agent architecture, help-based cooperation protocol, performance evaluation, computational complexity, artificial intelligence, protocols, mobile robots, cooperative systems
15	Neil C. Audsley, Andy J. Wellings	Analysing APEX applications.	RTSS	1996	DBLP DOI BibTeX RDF	APEX applications, civil aircraft, Integrated Modular Avionics, standard operating system interface, two-level scheduling scheme, statically generated cyclic schedule, release jitter, real time systems, response times, operating systems (computers), fixed priority scheduling
15	Jean-Claude Bajard, Laurent-Stéphane Didier, Jean-Michel Muller	A New Euclidean Division Algorithm For Residue Number Systems.	ASAP	1996	DBLP DOI BibTeX RDF	Euclidean division algorithm, large moduli, very large integers, high-radix division method, parallel computer, computational geometry, digital arithmetic, residue number systems, residue number systems, floating point arithmetic, floating-point arithmetic, modular arithmetic, special-purpose architecture
15	Yen-Jen Lee, Horng-Juing Lee, Wei-hsiu Ma, David Hung-Chang Du	A Systematic Approach to Design the Network-Based Learning Environment for Home and Office.	LCN	1996	DBLP DOI BibTeX RDF	home working, network-based learning environment, asynchronous education, synchronous education, user registration, course material storage, multiple delivery, end-user viewing tools, lecture model, lecture materials, lecture presentation, lecture interaction, synchronization specification, strong-weak networked hyperlink, distributed network environment, object-oriented modular design, timeline-based presentation synchronization, event-driven presentation synchronization, browsing tools, home, content creation, telecommuting, office, media objects
15	Konstantin Keutner, Erwin Trischler	Efficient sensitization of multi-bit-paths for testing embedded modules in synchronous sequential circuits.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	Modular testing, multi-bit-path sensitization, test pattern assembly
15	Christopher P. Fuhrman, Sailesh Chutani, Henri J. Nussbaumer	Efficient NMRCD scheme for fault tolerance in responsive systems.	RTCSA	1995	DBLP DOI BibTeX RDF	responsive systems, NMRCD scheme, fault tolerance, real-time systems, reliability, fault tolerant computing, redundancy, reliability model, N-Modular Redundancy
15	Manju V. Hegde, Morteza Naraghi-Pour, Y. Li	The deflecting multicast switch.	ICCCN	1995	DBLP DOI BibTeX RDF	deflecting multicast switch, multicast switching paradigm, replication functions, routing functions, low connection complexity, modular implementation, self-replication algorithm, self-routing algorithm, minimal control overhead, cell sequence maintenance, buffer delays, uniform traffic patterns, numerical results, analytical results, ATM, upper bound, distributed control, telecommunication network routing, cell loss probability
15	Ajay J. Daga, William P. Birmingham	A symbolic-simulation approach to the timing verification of interacting FSMs.	ICCD	1995	DBLP DOI BibTeX RDF	symbolic-simulation approach, interacting FSMs, timing verifier, complex sequential circuit verification, combinational paths, inherently modular nature, symbolic simulation verification methodology, formal verification, logic testing, finite state machines, finite state machines, sequential circuits, circuit analysis computing, timing verification
15	Nadime Zacharia, Janusz Rajski, Jerzy Tyszer	Decompression of test data using variable-length seed LFSRs.	VTS	1995	DBLP DOI BibTeX RDF	test data decompression, variable-length seed LFSRs, deterministic test vectors, scan circuits, multiple polynomial LFSR, encoding efficiency, logic testing, built-in self test, integrated circuit testing, encoding, automatic testing, polynomials, linear feedback shift register, shift registers, modular design, digital integrated circuits
15	Rajesh Yadav, Rajashekar Reddy, Salim Hariri	A Multithreaded Message Passing Environment for ATM LAN/WAN .	HPDC	1995	DBLP DOI BibTeX RDF	multithreaded message passing environment, ATM WAN, high performance distributed computing environment, redundant data copying, multithreaded message passing system, NYNET communication system, NYNET, ATM wide area network testbed, ATM application programmer interface, multithreaded environment, protocols, asynchronous transfer mode, message passing, local area networks, wide area networks, quality of service requirements, networking technology, protocol processing, modular approach, ATM LAN
15	Anoop Singhal, Chi-Yuan Lo	Object oriented data modeling for VLSI/CAD.	VLSI Design	1995	DBLP DOI BibTeX RDF	design data manager, integrated CAD system, modular program architecture, VLSI, object-oriented methods, integrated circuit design, circuit CAD, object oriented data modeling, VLSI CAD
15	Egon Börger, Giuseppe Del Castillo	A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.	ICECCS	1995	DBLP DOI BibTeX RDF	real-life processor, APE100 Reverse Engineering, modular structuring, microprocessor zCPU, APE100 massively parallel machine, provably correct composition, formal specification, formal method, reverse engineering, parallel architectures
15	Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan	An object-oriented modeling of real-time robotic assembly system.	ICECCS	1995	DBLP DOI BibTeX RDF	maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering
15	H. Isil Bozma, James S. Duncan	A Game-Theoretic Approach to Integration of Modules.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	modules integration, intelligent sensor system, multiobjective decision making, image processing, artificial intelligence, game theory, game theory, image analysis, sensor fusion, image sensors, noncooperative game, modular systems
15	John Plaice, William W. Wadge	A New Approach to Version Control.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	hierarchically structured entities, variant structure principle, algebraic version language, numbered series, lattice least upper bound, systematic framework, divergent variants, LEMUR, modular C programs, world semantics, programming environment, programming environments, formal languages, configuration management, version control, formal logic, join operation, subversions, intensional logic
15	Martín Abadi, Leslie Lamport	Composing Specifications.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrent programming, compositionality, safety properties, liveness properties, modular specification
15	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification
15	Ruud M. Bolle, Andrea Califano, Rick Kjeldsen	A Complete and Extendable Approach to Visual Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	uniform parallel architecture, concurrent transforms, modular recognition architecture, stacked parameter transforms, constraint satisfaction networks, partial features, primitive features, feature assemblies, quadrics of revolution, planar intersection curves, pattern recognition, parallel processing, feature extraction, picture processing, flexibility, information integration, extensibility, 3D object recognition, depth map, visual recognition, planar surfaces
15	Paul Havlak, Ken Kennedy	An Implementation of Interprocedural Bounded Regular Section Analysis.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
15	Brigitte Plateau, Karim Atif	Stochastic Automata Network For Modeling Parallel Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost
15	Paul D. Ezhilchelvan, Isi Mitrani, Santosh K. Shrivastava	A Performance Evaluation Study of Pipeline TMR Systems.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	pipeline TMR systems, concurrent replicated processing, processor failure rates, performance evaluation, performance evaluation, distributed system, distributed processing, redundancy, computer simulations, majority voting, triple modular redundant
15	Daniel Hoffman	On Criteria for Module Interfaces.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	module interfaces, modular software development, software engineering
15	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
15	Bernhard Josko	Verifying the Correctness of AADL Modules Using Model Checking.	REX Workshop	1989	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, computer architecture, expressiveness, modular specification
15	Paul D. Ezhilchelvan, Santosh K. Shrivastava, Alan Tully	Constructing Replicated Systems Using Processors with Point-to-Point Communication Links.	ISCA	1989	DBLP DOI BibTeX RDF	replicated processing, sequencing algorithm, fault tolerance, majority voting, N-modular redundancy