|
|
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 |
18 | Pen-Yuang Chang, Jong-Chuang Tsay |
An Approach to Designing Modular Extensible Linear Arrays for Regular Algorithms. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
conflict-free mapping, modular extensible, optimal spacetime mapping, regular algorithm, unimodular matrix, VLSI, systolic array, data dependency, linear array, Algorithm transformation |
18 | Mildred E. McGuire, Lee Anne Center, Gregory D. Henderson, Lori Ely, James M. Moran |
Combining Training and Customer Documentation into Modular, Reusable Information. |
SIGDOC |
1998 |
DBLP DOI BibTeX RDF |
infoware, components, training, modular, reusable, single-source |
18 | M. G. Parker, Mohammed Benaissa |
Modular Arithmetic Using Low Order Redundant Bases. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
residue and polynomial number systems, Modular arithmetic, redundant number systems, number theoretic transforms |
18 | Colin D. Walter |
Space/Time Trade-Offs for Higher Radix Modular Multiplication Using Repeated Addition. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
higher radix, optimal speed, cryptography, RSA, Computer arithmetic, modular multiplication, redundant number systems |
18 | Thomas H. Einstein |
Mercury Computer Systems' modular heterogeneous RACE(R) multicomputer. |
Heterogeneous Computing Workshop |
1997 |
DBLP DOI BibTeX RDF |
Mercury Computer Systems, modular heterogeneous RACE multicomputer, heterogeneous multicomputer, Analog Devices, SHARC 21060, Apple PowerPC 603p, optimal processor, physical processing density, heterogeneity, distributed memory systems, programmability, IBM, hardware cost, Motorola |
18 | Hervé Brönnimann, Ioannis Z. Emiris, Victor Y. Pan, Sylvain Pion |
Computing Exact Geometric Predicates Using Modular Arithmetic with Single Precision. |
SCG |
1997 |
DBLP DOI BibTeX RDF |
exact arithmetic, modular computations, single precision, computational geometry, robustness, residue number systems |
18 | Issei Fujishiro, Yuriko Takeshima, Yoshihiko Ichikawa, Kyoko Nakamura |
GADGET: goal-oriented application design guidance for modular visualization environments. |
IEEE Visualization |
1997 |
DBLP DOI BibTeX RDF |
Modular Visualization Environments, dataflow paradigm, taxonomy of visualization techniques, visineers' heuristics and expertise, object-oriented design, knowledge base, visualization systems |
18 | Martin Bichler, Stefan Nusser |
Modular design of complex Web-applications with W3DT. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
W3DT, complex Web applications, World Wide Web Design Technique, Web-based hypermedia applications, computer based design environment, working prototype, distributed Web sites, locally distributed systems, unified organization-wide model, single-server based Web-sites, large organization-wide systems, hypermedia, collaborative design, modeling technique, modular design, graphical notation, submodels |
18 | Manuel Valencia-Barrero, Manuel J. Bellido, José L. Huertas, Antonio J. Acosta 0001, Santiago Sánchez-Solano |
Modular Asynchronous Arbiter Insensitive to Metastability. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
Q-flop resolver, Asynchronous circuits, arbitration, modular design, metastability |
18 | V. Visvanathan, S. Ramanathan |
A modular systolic architecture for delayed least mean squares adaptive filtering. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
modular systolic architecture, delayed least mean squares adaptive filtering, coefficient adaptation, input sampling periods, output latency, convergence behavior, systolization technique, maximum sampling rate, multiply-accumulate processor modules, systolic arrays, pipeline processing, adaptive filters, convergence of numerical methods, least mean squares methods |
18 | Stanislaw J. Piestrak |
Design of Residue Generators and Multioperand Modular Adders Using Carry-Save Adders. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
residue generators, multioperand modular adders, arithmetic error detecting codes, binary-to-residue number system, residue generator, digital arithmetic, adders, Chinese remainder theorem, residue number system, arithmetic codes, residue arithmetic, carry-save adders |
18 | Jin-yi Cai, Wolfgang H. J. Fuchs, Dexter Kozen, Zicheng Liu 0001 |
Efficient Average-Case Algorithms for the Modular Group |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
finitely generated subgroups, average-case algorithms, modular group, mathematical sciences, average polynomial-time algorithms, bounded membership, unbounded membership |
18 | Divyakant Agrawal, Soumitra Sengupta |
Modular Synchronization in Distributed, Multiversion Databases: Version Control and Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
modular synchronisation, multiversion databases, multiversion protocols, proving the correctness, protocols, distributed databases, distributed databases, concurrency control, concurrency control, modularity, synchronisation, extensibility, configuration management, version control, two-phase locking, time-stamp, read-only transactions |
18 | M. Sultan Alam, Rami G. Melhem |
An Efficient Modular Spare Allocation Scheme and Its Application to Fault Tolerant Binary Hypercubes. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
modular spare allocation scheme, fault tolerant binary hypercubes, fault tolerant basicblocks, primary nodes, spare nodes, hardware switches, fault tolerant computing, multiprocessing systems, hypercube networks |
18 | Marco A. Casanova, António L. Furtado 0001, Luiz Tucherman |
A Software Tool for Modular Database Design. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
consistency preservation, logical database design, module constructors, abstract data types, integrity constraints, encapsulation, modular design |
18 | Krzysztof Sapiecha, R. Jarocki |
Modular Architecture for High Performance Implementatin of the FFT Algorithm. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
high performance implementation, FRR algorithm, VLSI-oriented architecture, single butterfly computation, VLSI, built-in self-test, computer architecture, fast Fourier transforms, processing elements, modular architecture, computerised signal processing |
18 | Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko |
Modular Verification of Petri Nets: The Temporal Logic Approach. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
modular system design, verification, Petri nets, specification, temporal logic, computer architecture |
18 | Kwang-Ya Fang, Anthony S. Wojcik |
Modular Decomposition of Combinational Multiple-Valued Circuits. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
combinatorial multiple-values circuits, ternary functions, optimization, many-valued logics, multiplexers, combinatorial circuits, logic functions, modular decomposition |
18 | Lui Sha, John P. Lehoczky, E. Douglas Jensen |
Modular Concurrency Control and Failure Recovery. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery |
18 | Antonis M. Paschalis, Dimitris Nikolos, Constantine Halatsis |
Efficient Modular Design of TSC Checkers for M-out-of-2M Codes. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
half-adder, VLSI MOS implementation, logic design, trees, codes, codes, adders, modular design, totally self-checking checkers, full-adder |
18 | A. S. Mahmudul Hassan, Vinod K. Agarwal |
A Fault-Tolerant Modular Architecture for Binary Trees. |
IEEE Trans. Computers |
1986 |
DBLP DOI BibTeX RDF |
HX tree, link ratio, fault tolerant, reliability, modular, reconfiguration, redundant, Binary tree |
18 | I. V. Ramakrishnan, Peter J. Varman |
Modular Matrix Multiplication on a Linear Array. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
parallel processing, VLSI, modular, matrix multiplication, Array processors, linear array |
18 | Israel Koren, Stephen Y. H. Su |
Reliability Analysis of N-Modular Redundancy Systems with Intermittent and Permanent Faults. |
IEEE Trans. Computers |
1979 |
DBLP DOI BibTeX RDF |
reliability, Digital system, intermittent fault, permanent fault, modular redundancy |
18 | Eduard Cerny |
Controllability and Fault Observability in Modular Combinational Circuits. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
modular circuits, fault detection, combinational networks, characteristic functions, Boolean equations |
18 | Richard A. Thompson, F. Gail Gray |
Universal Modular Trees: A Design Procedure. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
universal modular array, single feedback realization, Definite, shift register |
18 | Carlo H. Séquin, Alvin M. Despain, David A. Patterson 0001 |
Communication In X-TREE, A Modular Multiprocessor System. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Message format, Modular computer, Single-chip processor, Communication, Multiprocessor, Computer network, Routing algorithm, Switching network, Message routing, Address space |
18 | René David |
Modular Design of Asynchronous Circuits Defined by Graphs. |
IEEE Trans. Computers |
1977 |
DBLP DOI BibTeX RDF |
description by graphs, modular networks, synthesis from graphs, synthesis without assignment, universal cell CUSA, Asynchronous circuits |
17 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Dakai Zhu 0001, Rami G. Melhem, Daniel Mossé |
Energy efficient redundant configurations for real-time parallel reliable servers. |
Real Time Syst. |
2009 |
DBLP DOI BibTeX RDF |
Parallel servers, Fault tolerance, Energy management, Transient faults |
17 | Chia-Long Wu |
Fast Parallel Montgomery Binary Exponentiation Algorithm Using Canonical- Signed-Digit Recoding Technique. |
ICA3PP |
2009 |
DBLP DOI BibTeX RDF |
Montgomery reduction algorithm, cryptography, complexity analysis, number theory, algorithm design |
17 | Faezeh Ensan, Weichang Du |
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Zhaozhong Ni, Dachuan Yu, Zhong Shao |
Using XCAP to Certify Realistic Systems Code: Machine Context Management. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Binh-Minh Bui-Xuan, Michel Habib, Vincent Limouzy, Fabien de Montgolfier |
Homogeneity vs. Adjacency: Generalising Some Graph Decomposition Algorithms. |
WG |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001 |
Minimization, Learning, and Conformance Testing of Boolean Programs. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ambrose Chu, Mihai Sima |
Reconfigurable RSA Cryptography for Embedded Devices. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Robert I. McKay, Tuan Hao Hoang, Daryl Leslie Essam, Nguyen Xuan Hoai |
Developmental Evaluation in Genetic Programming: The Preliminary Results. |
EuroGP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Reisinger, Kenneth O. Stanley, Risto Miikkulainen |
Evolving Reusable Neural Modules. |
GECCO (2) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Sheng-Chai Chi, In-Jou Lin, Min-Chuan Yan |
An Evolutionary Clustering Method for Part Family Formation with Multiple Process Plans. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Kyo-Min Ku, Kyeoung Ju Ha, Wi Hyun Yoo, Kee-Young Yoo |
Parallel Montgomery Multiplication and Squaring over GF(2m) Based on Cellular Automata. |
ICCSA (4) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Luiza de Macedo Mourelle, Nadia Nedjah |
Efficient Cryptographic Hardware Using the Co-Design Methodology. |
ITCC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | John Moses |
A Consideration of the Impact of Interactions with Module Effects on the Direct Measurement of Subjective Software Attributes. |
IEEE METRICS |
2001 |
DBLP DOI BibTeX RDF |
expert agreement, ordinal scale, 3-D multinomial models, interactions with module length, Bayesian inference, maintainability, cohesion, consistent measurement |
17 | John W. Lockwood, Naji Naufel, Jonathan S. Turner, David E. Taylor |
Reprogrammable network packet processing on the field programmable port extender (FPX). |
FPGA |
2001 |
DBLP DOI BibTeX RDF |
Internet, FPGA, routing, network, ATM, modularity, reconfiguration, processing, IP, hardware, packet |
17 | Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses |
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Shailesh Kumar, Joydeep Ghosh, Melba M. Crawford |
A Hierarchical Multiclassifier System for Hyperspectral Data Analysis. |
Multiple Classifier Systems |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jan Camenisch, Markus Michels |
Proving in Zero-Knowledge that a Number Is the Product of Two Safe Primes. |
EUROCRYPT |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jyh-Huei Guo, Chin-Liang Wang, Hung-Chih Hu |
Design and implementation of an RSA public-key cryptosystem. |
ISCAS (1) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jen-Shiun Chiang, Jian-Kao Chen |
An efficient VLSI architecture for RSA public-key cryptosystem. |
ISCAS (1) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Eiter, Georg Gottlob, Helmut Veith |
Generalized Quantifiers in Logic Programs. |
ESSLLI |
1997 |
DBLP DOI BibTeX RDF |
|
17 | David Naccache |
A Montgomery-Suitable Fiat-Shamir-like Authenication Scheme. |
EUROCRYPT |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Gwenaël Delaval, Hervé Marchand, Éric Rutten |
Contracts for modular discrete controller synthesis. |
LCTES |
2010 |
DBLP DOI BibTeX RDF |
adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming |
16 | Oscar García Morchon, Klaus Wehrle |
Modular context-aware access control for medical sensor networks. |
SACMAT |
2010 |
DBLP DOI BibTeX RDF |
security, access control, medical sensor network |
16 | Kazuki Iida, Junki Ikeuchi, Toshiaki Uchiyama, Kenji Suzuki 0002 |
AirTiles: modular devices to create a flexible sensing space. |
SIGGRAPH Emerging Technologies |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Fábio Protti, Maise Dantas da Silva, Jayme Luiz Szwarcfiter |
Applying Modular Decomposition to Parameterized Cluster Editing Problems. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Edge modification problems, Bicluster graphs, NP-complete problems, Fixed-parameter tractability, Cluster graphs |
16 | Robert Fitch, Ritesh Lal |
Experiments with a zigbee wireless communication system for self-reconfiguring modular robots. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Masahiro Shimizu, Akio Ishiguro |
An amoeboid modular robot that exhibits real-time adaptive reconfiguration. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Qiquan Quan, Shugen Ma |
A modular crawler-driven robot: Mechanical design and preliminary experiments. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Yisheng Guan, Li Jiang, Xianmin Zhang, Hong Zhang 0011, Xuefeng Zhou |
Development of novel robots with modular methodology. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ionut Mihai Constantin Olaru, Sébastien Krut, François Pierrot |
Novel mechanical design of biped robot SHERPA using 2 DOF cable differential modular joints. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Moses, Gregory S. Chirikjian |
Simple components for a reconfigurable modular robotic system. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Chih-Han Yu, Radhika Nagpal |
Engineering self-adaptive modular robotics: A bio-inspired approach. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog |
Modular Verification of Recursive Programs. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Mauro Jaskelioff |
Modular Monad Transformers. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Bruno C. d. S. Oliveira |
Modular Visitor Components. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Lothar Thiele, Nikolay Stoimenov |
Modular performance analysis of cyclic dataflow graphs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus |
16 | Carl Eastlund, Matthias Felleisen |
Making induction manifest in modular ACL2. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
theorem provers, acl2, module systems |
16 | Akshaya Kumar Mishra, Paul W. Fieguth, David A. Clausi |
A Robust Modular Wavelet Network Based Symbol Classifier. |
ICIAR |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Luc Beuchat, Jean-Michel Muller |
Automatic Generation of Modular Multipliers for FPGA Applications. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo E. Kaihara, Naofumi Takagi |
Bipartite Modular Multiplication Method. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
Algorithms, Computer arithmetic |
16 | Saurabh Srivastava 0001, Michael Hicks 0001, Jeffrey S. Foster, Patrick Jenkins |
Modular Information Hiding and Type-Safe Linking for C. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Information hiding, Modules, packages, Code design, Coding Tools and Techniques |
16 | Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet |
Clock-directed modular code generation for synchronous data-flow languages. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages |
16 | Himanshu Jain, Edmund M. Clarke, Orna Grumberg |
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Seung-kook Yun, Daniela Rus |
Self assembly of modular manipulators with active and passive modules. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Masahiro Shimizu, Takuma Kato, Max Lungarella, Akio Ishiguro |
Adaptive reconfiguration of a modular robot through heterogeneous inter-module connections. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Michael DeRosa, Seth Copen Goldstein, Peter Lee 0001, Padmanabhan Pillai, Jason Campbell |
Programming modular robots with locally distributed predicates. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Roland Groz, Keqin Li 0002, Alexandre Petrenko, Muzammil Shahbaz |
Modular System Verification by Inference, Testing and Reachability Analysis. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Seung-kook Yun, Daniela Rus |
Optimal distributed planning for self assembly of modular manipulators. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Zoltán Nagy 0002, Raymond Oung, Jake J. Abbott, Bradley J. Nelson |
Experimental investigation of magnetic self-assembly for swallowable modular robots. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Yan Meng, Kerry Johnson, Brian Simms, Matthew Conforth |
A generic architecture of modular embedded system for miniature mobile robots. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Lyder, Ricardo Franco Mendoza Garcia, Kasper Støy |
Mechanical design of odin, an extendable heterogeneous deformable modular robot. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Gábor Paller, Heikki Kokkinen |
Modular, service-oriented API for peer-to-peer middleware. |
MOBILWARE |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Pham Ngoc Hung, Takuya Katayama |
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Lassina Dembélé, Steve Donnelly |
Computing Hilbert Modular Forms over Fields with Nontrivial Class Group. |
ANTS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Paul E. Gunnells, Dan Yasaki |
Hecke Operators and Hilbert Modular Forms. |
ANTS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kiran S. Kedlaya, Christopher Umans |
Fast Modular Composition in any Characteristic. |
FOCS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Rafal Stankiewicz, Andrzej Jajszczyk |
Modular Model Based Performance Evaluation of a DiffServ Network Supporting Assured Forwarding PHB. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marc Tedder, Derek G. Corneil, Michel Habib, Christophe Paul |
Simpler Linear-Time Modular Decomposition Via Recursive Factorizing Permutations. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Mirko Bordignon, Lars Lindegaard Mikkelsen, Ulrik Pagh Schultz |
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots. |
SIMPAR |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Lars Bauer, Muhammad Shafique 0001, Jörg Henkel |
A computation- and communication- infrastructure for modular special instructions in a dynamically reconfigurable processor. |
FPL |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Paul J. White, Mark Yim |
Reliable External Actuation for Extending Reachable Robotic Modular Self-Reconfiguration. |
ISER |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Marcin Gabryel, Leszek Rutkowski |
Evolutionary Methods for Designing Neuro-fuzzy Modular Systems Combined by Bagging Algorithm. |
ICAISC |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Lublinerman, Stavros Tripakis |
Modular Code Generation from Triggered and Timed Block Diagrams. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
Modularity, Code generation, Block diagrams |
16 | Rohit Chadha, Carl A. Gunter, José Meseguer 0001, Ravinder Shankesi, Mahesh Viswanathan 0001 |
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Chue Poh Tan, Chen Change Loy, Weng-Kin Lai, Chee Peng Lim |
Robust modular ARTMAP for multi-class shape recognition. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Oscar Castillo 0001, Patricia Melin |
Computational intelligence software: Type-2 Fuzzy Logic and Modular Neural Networks. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
16 | V. Scott Gordon 0001, Jeb Crouson |
Self-splitting modular neural network - domain partitioning at boundaries of trained regions. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Peter-Paul de Wolf, Sarah Giessing |
How to Make the T-ARGUS Modular Method Applicable to Linked Tables. |
Privacy in Statistical Databases |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Youcef Hammal |
A modular state exploration and compatibility checking of UML dynamic diagrams. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Franco Cicirelli, Angelo Furfaro, Libero Nigro |
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. |
Real Time Syst. |
2007 |
DBLP DOI BibTeX RDF |
Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks |
16 | Dengguo Feng, Weidong Chen |
Modular approach to the design and analysis of password-based security protocols. |
Sci. China Ser. F Inf. Sci. |
2007 |
DBLP DOI BibTeX RDF |
weak computational indistinguishability, random oracle model (ROM), provable security, security protocols, standard model |
16 | Sung-Jun Yoon, Hong-Yeop Song |
Existence of Modular Sonar Sequences of Twin-Prime Product Length. |
SSC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 18100 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|