|
|
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 |
11 | Kisung Seo, Zhun Fan, Jianjun Hu, Erik D. Goodman, Ronald C. Rosenberg |
Dense and Switched Modular Primitives for Bond Graph Model Design. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Giorgio Calarco, Carla Raffaelli |
An Open Modular Router with QoS Capabilities. |
HSNMC |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Frédéric Besson, Thomas P. Jensen |
Modular Class Analysis with DATALOG. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Francesco Logozzo |
Class-Level Modular Analysis for Object Oriented Languages. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Jesung Kim, Insup Lee 0001 |
Modular Code Generation from Hybrid Automata based on Data Dependency. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Massimo Conti, Paolo Crippa, Francesco Fedecostunte, Simone Orcioni, F. Ricciardi, Claudio Turchetti, Loris Vendrame |
A modular test structure for CMOS mismatch characterization. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Zeynep Toprak Deniz, Yusuf Leblebici |
Design and realization of a modular 200 MSample/s 12-bit pipelined A/D converter block using deep-submicron digital CMOS technology. |
ISCAS (1) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Andrew Mason, Navid Yazdi, J. Zhang, Z. Sainudeen |
A modular sensor microsystem utilizing a universal interface circuit. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | P. V. Ananda Mohan |
Fast implementations of Montgomery's modular multiplication algorithm. |
ISCAS (4) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Josep Pegueroles, Wang Bin, Miguel Soriano, Francisco Rico-Novella |
Group Rekeying Algorithm Using Pseudo-random Functions and Modular Reduction. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Kapur, Paliath Narendran, Lida Wang |
An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Qiang Xu 0001, Nicola Nicolici |
On Reducing Wrapper Boundary Register Cells in Modular SOC Testing. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Bernhard Reus |
Modular Semantics and Logics of Classes. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Katsuhiko Takahashi, Daisuke Nishiwaki |
A class-modular GLVQ ensemble with outlier learning for handwritten digit recognition. |
ICDAR |
2003 |
DBLP DOI BibTeX RDF |
|
11 | G. Shukovich |
Application of Genetic Algorithms and Systems of Generating Graphs for Creation of Modular Neural Networks. |
Program. Comput. Softw. |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal |
A Versatile and Modular Consensus Protoco. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia |
A Modular Checker for Multithreaded Programs. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
11 | John Yiannis Cotronis |
Modular MPI Components and the Composition of Grid Applications. |
PDP |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Joanna Bryson |
The Behavior-Oriented Design of Modular Agent Intelligence. |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Ludger Fiege, Gero Mühl, Felix C. Gärtner |
A modular approach to build structured event-based systems. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
event-based cooperation, formal specification, publish-subscribe, notification services |
11 | Jochen Wickel, Pablo Alvarado, Peter Dörfler, Thomas Krüger, Karl-Friedrich Kraiss |
Axiom - A Modular Visual Object Retrieval System. |
KI |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Takashi Fukuda, Keiichi Komatsu |
An Application of Siegel Modular Functions to Kronecker's Limit Formula. |
ANTS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Haruhisa Kurokawa, Akiya Kamimura, Eiichi Yoshida, Kohji Tomita, Satoshi Murata, Shigeru Kokaji |
Self-reconfigurable modular robot (M-TRAN) and its motion design. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Guilin Yang, Weihai Chen, Edwin Hui Leong Ho |
Design and kinematic analysis of a modular hybrid parallel-serial manipulator. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul Kwiatkowski |
Forwarding in Attribute Grammars for Modular Language Design. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Patrick Cousot, Radhia Cousot |
Modular Static Program Analysis. |
CC |
2002 |
DBLP DOI BibTeX RDF |
|
11 | David Wangerin, Chris DeCoro, Luís Miguel Campos, Hugo Coyote, Isaac D. Scherson |
A Modular Client-Server Discrete Event Simulator for Networked Computer. |
Annual Simulation Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Aneesh Koorapaty, Lawrence T. Pileggi |
Modular, Fabric-Specific Synthesis for Programmable Architectures. |
FPL |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Paul Boufflet, Piotr Breitkopf, Alain Rassineux, Pierre Villon |
A Modular Design for a Parallel Multifrontal Mesh Generator. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu |
Optimal Allocation of Testing Resources for Modular Software Systems. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Sacki Agelis, Sofia Jacobsson, Magnus Jonsson, Arne Alping, Per Ligander |
Modular Interconnection System for Optical PCB and Backplane Communication. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Zack J. Butler, Robert Fitch, Daniela Rus |
Experiments in Distributed Control for Modular Robots. |
ISER |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Ying Zhang, Kimon Roufas, Craig Eldershaw, Mark Yim, David Duff |
Sensor Computations in Modular Self Reconfigurable Robots. |
ISER |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Wei-Ngan Chin, Zhenjiang Hu |
Towards a Modular Program Derivation via Fusion and Tupling. |
GPCE |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Feliciano Manzano Casas, Luis A. García |
OCOA: An Open, Modular, Ontology Based Autonomous Robotic Agent Architecture. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Sanghee Lee, Myungjin Kim, Keun-Bae Kim |
Modular and efficient architecture for H.263 video codec VLSI. |
ISCAS (5) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Claude Bajard, Laurent Imbert, Christophe Nègre |
Modular Multiplication in GF(pk) Using Lagrange Representation. |
INDOCRYPT |
2002 |
DBLP DOI BibTeX RDF |
cryptography, Finite fields, multiplication, fast implementation |
11 | Erik Jan Marinissen, Vikram Iyengar, Krishnendu Chakrabarty |
A Set of Benchmarks fo Modular Testing of SOCs. |
ITC |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Irfan Gültekin, Ahmet Arslan |
Modular-Fuzzy Cooperation Algorithm for Multi-agent Systems. |
ADVIS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Simon J. E. Taylor, Rajeev Sudra |
Modular HLA RTI Services: The GRIDS Approach. |
DS-RT |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer 0001, Peter D. Mosses |
Mapping Modular SOS to Rewriting Logic. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Michael Marte |
A Modular Approach to Proving Confluence. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Susanne Boll |
Modular Content Personalization Service Architecture for E-Commerce Applications. |
WECWIS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Eddie Kohler, Robert Tappan Morris, Benjie Chen |
Programming language optimizations for modular router configurations. |
ASPLOS |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Paul Parkinson, Franco Gasperoni |
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Michael H. Freedman |
Quantum Computation and the Localization of Modular Functors. |
Found. Comput. Math. |
2001 |
DBLP DOI BibTeX RDF |
AMS Classification, Primary 57R56, Secondary 68Q05, 81Q70, 82B10, 94B99, 20F36 |
11 | Mohammad A. Al-Hashimi, Huay-min H. Pu, Nohpill Park, Fabrizio Lombardi |
Dependability under Malicious Agreement in N-modular Redundancy-on-Demand Systems. |
NCA |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo |
A New Kernel Approach for Modular Real-Time Systems Development. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Antonio S. Cofiño, José Manuel Gutiérrez |
Optimal Modular Feedforward Neural Nets Based on Functional Network Architectures. |
IWANN (1) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Alexandre R. J. François, Gérard G. Medioni |
A Modular Software Architecture for Real-Time Video Processing. |
ICVS |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ewgenij Gawrilow, Michael Joswig |
Polymake: an approach to modular software design in computational geometry. |
SCG |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Claude Bajard, Laurent-Stéphane Didier, Peter Kornerup |
Modular Multiplication and Base Extensions in Residue Number Systems. |
IEEE Symposium on Computer Arithmetic |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Scott Lenser, James Bruce, Manuela M. Veloso |
A Modular Hierarchical Behavior-Based Architecture. |
RoboCup |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Horst F. Wedde, Mario Lischka |
Modular authorization. |
SACMAT |
2001 |
DBLP DOI BibTeX RDF |
modularity, authorization, role-based access control, conflicts, composability, violations |
11 | Jun Rekimoto, Brygg Ullmer, Haruo Oba |
DataTiles: a modular platform for mixed physical and graphical interactions. |
CHI |
2001 |
DBLP DOI BibTeX RDF |
graphical user interfaces, interaction techniques, tangible user interfaces, visual language, radio-frequency identification tags |
11 | Uwe Egly, Stephan Schmitt |
Deriving Modular Programs from Short Proofs. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Wenting Tang, Ludmila Cherkasova, Lance Russell, Matt W. Mutka |
Modular TCP Handoff Design in STREAMS-Based TCP/IP Implementation. |
ICN (2) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Rainer Steinwandt |
Loopholes in Two Public Key Cryptosystems Using the Modular Group. |
Public Key Cryptography |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Klaus Hering, Gudula Rünger, Sven Trautmann |
Modular Construction of Model Partitioning Processes for Parallel Logic Simulation. |
ICPP Workshops |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mototsugu Nishioka, Hisayoshi Satoh, Kouichi Sakurai |
Design and Analysis of Fast Provably Secure Public-Key Cryptosystems Based on a Modular Squaring. |
ICISC |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Bok-Min Goi, M. U. Siddiqi, Hean-Teik Chuah |
Incremental Hash Function Based on Pair Chaining & Modular Arithmetic Combining. |
INDOCRYPT |
2001 |
DBLP DOI BibTeX RDF |
Incremental Cryptography, Cryptography, Hash Function |
11 | Randal P. Goldberg, Dumitru Mazilu, Russell H. Taylor, Dan Stoianovici |
A Modular Robotic System for Ultrasound Image Acquisition. |
MICCAI |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Noam D. Elkies |
Excellent codes from modular curves. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Fabrizio Lombardi, Nohpill Park, Mohammad A. Al-Hashimi, Huay-min H. Pu |
Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Qing Ma, Bao-Liang Lu, Masaki Murata, Michinori Ichikawa, Hitoshi Isahara |
On-Line Error Detection of Annotated Corpus Using Modular Neural Networks. |
ICANN |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Bao-Liang Lu, Jonghan Shin, Michinori Ichikawa |
Massively Parallel Classification of EEG Signals Using Min-Max Modular Neural Networks. |
ICANN |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Gabriel de Dietrich |
A Modular Algorithm for Automatic Slice Positioning in Tubular Organs. |
MIAR |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Santanu Chattopadhyay, Shelly Adhikari, Sabyasachi Sengupta, Mahua Pal |
Highly regular, modular, and cascadable design of cellular automata-based pattern classifier. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Fabian Wagmister |
Modular visions: Referents, context and strategies for database open media works. |
AI Soc. |
2000 |
DBLP DOI BibTeX RDF |
Aleatory uncertainties, Communication and politics, Digital media art, Ernesto Che Guevara, Multimedia search engines, Revolutions in art, Aesthetics, Database design, Latin America |
11 | Philip W. L. Fong, Robert D. Cameron |
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking |
11 | Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy |
Resource Scheduling in Dependable Integrated Modular Avionics. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Baldoni, Jean-Michel Hélary, Michel Raynal |
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Arbitrary Failures, Fault Tolerance, Asynchronous Systems, Consensus Problem |
11 | Wim Vanhoof |
Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Heinrich Hußmann, Birgit Demuth, Frank Finger |
Modular Architecture for a Toolset Supporting OCL. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hyunjung Shin, Hyoungjoo Lee, Sungzoon Cho |
Observational Learning with Modular Networks. |
IDEAL |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Michel Raczinski, Stéphane Sladek |
The Modular Architecture of SYNTHUP, FPFA Based PCI Board for Real-Time Sound Synthesis and Digital Signal Processing. |
FPL |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Alexandre R. J. François, Gérard G. Medioni |
A modular middleware flow scheduling framework (poster session). |
ACM Multimedia |
2000 |
DBLP DOI BibTeX RDF |
multimedia middleware, synchronization, dataflow programming |
11 | Florian Kammüller |
Modular Reasoning in Isabelle. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Christos Andrea Antoniou, T. Jeff Reynolds |
Modular neural networks exploit multiple front-ends to improve speech recognition systems. |
KES |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Robin Green |
What you installed is what you see: help navigation in modular software products. |
SIGDOC |
2000 |
DBLP BibTeX RDF |
|
11 | Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim 0001 |
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics. |
IEEE Real Time Technology and Applications Symposium |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Gasser Auda, Mohamed S. Kamel |
A Modular Neural Network for Vague Classification. |
Rough Sets and Current Trends in Computing |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Catarina Silva 0001, Manuel M. Crisóstomo, Bernardete Ribeiro |
MONODA: A Neural Modular Architecture for Obstacle Avoidance without Knowledge of the Environment. |
IJCNN (6) |
2000 |
DBLP DOI BibTeX RDF |
Neural networks, mobile robotics, modularity |
11 | Marcelino Lázaro, Ignacio Santamaría, Carlos Pantaleón, Cesar Navarro, Antonio Tazón, Tomás Fernández Ibáñez |
A Modular Neural Network for Global Modeling of Microwave Transistors. |
IJCNN (4) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Pentti O. A. Haikonen |
A Modular Neural System for Machine Cognition. |
IJCNN (1) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Karl J. Lieberherr, David H. Lorenz, Mira Mezini |
Building modular object-oriented systems with reusable collaborations (tutorial session). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Gurdip Singh, Jun Wu |
Modular Object-Oriented Design of Distributed Protocols. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
Distributed systems, Protocols, Synchronization, Composition |
11 | Ken Mai, Tim Paaske, Nuwan Jayasena, Ron Ho, William J. Dally, Mark Horowitz |
Smart Memories: a modular reconfigurable architecture. |
ISCA |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Agathe Merceron, G. Michele Pinna |
Refinement and Modular Verification with Observers. |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Bao-Liang Lu, Masami Ito |
Task decomposition and module combination based on class relations: a modular neural network for pattern classification. |
IEEE Trans. Neural Networks |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Claudio de la Riva, Javier Tuya, José Ramón de Diego |
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
11 | William Power, Ray J. Frank, John Done, Neil Davey |
A Modular Attractor Model of Semantic Access. |
IWANN (1) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer |
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. |
AGTIVE |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Tom Pfeifer, Radu Popescu-Zeletin |
A Modular Location-Aware Service and Application Platform. |
ISCC |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Robert Tappan Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek |
The Click modular router. |
SOSP |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Rauber, Philipp Tomsich |
An Architecture for Modular On-Line Analytical Processing Systems: Supporting Distributed and Parallel Query Processing Using Cooperating CORBA Objects. |
DEXA Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Pascal Paillier |
Low-Cost Double-Size Modular Exponentiation or How to Stretch Your Cryptoprocessor. |
Public Key Cryptography |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Che-Han Wu, Ming-Der Shieh, Chien-Hsing Wu 0002, Ming-Hwa Sheu, Jia-Lin Sheu |
A VLSI architecture of fast high-radix modular multiplication for RSA cryptosystem. |
ISCAS (1) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Billy K. H. Wong, Henry Shu-Hung Chung |
Modular graphing technique for small-signal low-frequency characterizations of PWM DC/DC regulators. |
ISCAS (5) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Andrea Alimonda, Salvatore Carta, Luigi Raffo |
A modular digital VLSI architecture for stereo depth estimation in industrial applications. |
ISCAS (6) |
1999 |
DBLP DOI BibTeX RDF |
|
|
|