|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7000 occurrences of 3406 keywords
|
|
|
Results
Found 18100 publication records. Showing 18100 according to the selection in the facets
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 |
|
|