|
|
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 | Robert C. B. Cooper, K. G. Hamilton |
Preserving Abstraction in Concurrent Programming. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction |
15 | Elie Georges Hayeck |
User-computer interaction employing block mode data transfer. |
ACM Southeast Regional Conference |
1982 |
DBLP DOI BibTeX RDF |
Video display terminal, block mode, data deletion, data display, form, data update, patient record, modular approach, data entry |
15 | Matthew M. Geller |
Test Data as an Aid in Proving Program Correctness. |
POPL |
1976 |
DBLP DOI BibTeX RDF |
Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs |
15 | William H. Payne, John R. Rabung, T. P. Bogyo |
Coding the Lehmer pseudo-random number generator. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
prime factorization, primitive roots, uniform frequency function, uniform probability density, simulation, random number, modular arithmetic, pseudo-random number |
14 | Benedikt Jooß, Dieter Schramm |
Modular Test Kit - A Modular Approach for Efficient and Function-Oriented Testing. |
J. Electron. Test. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Michael Rogenmoser, Yvan Tortorella, Davide Rossi, Francesco Conti 0001, Luca Benini |
Hybrid Modular Redundancy: Exploring Modular Redundancy Approaches in RISC-V Multi-Core Computing Clusters for Reliable Processing in Space. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ashwin S. Kumar, Gaurav Shankar, Manjunath Sakthivel, Rajeevlochana G. Chittawadigi |
Modular Serial-Chain Robot with Plug-and-Play Architecture for Effective Teaching and Learning: A methodology to assemble a physical prototype of a serial-chain robot using modular components is presented in this paper. This helps in the effective learning and teaching of concepts related to kinematics of serial-chain robots. |
AIR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Anawin Opasatian, Makoto Ikeda |
Lookup Table Modular Reduction: A Low-Latency Modular Reduction for Fast ECC Processor. |
COOL CHIPS |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Tuomo Rainio, Tero Tapio Niskanen |
IIOO IS NOT HERE - Building and exhibiting media art installation with novel modular tangible programming interface: Building and exhibiting media art installation with novel modular tangible programming interface. |
TEI |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jinglun Li, Shigemasa Takai |
Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications. |
IEEE Control. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tomasz Praczyk |
Using Hill Climb Modular Assembler Encoding and Differential Evolution to evolve modular neuro-controllers of an autonomous underwater vehicle acting as a Magnetic Anomaly Detector. |
Appl. Soft Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sujata, Suman K. Mitra |
Modular FER: A Modular Facial Expression Recognition from Image Sequence Based on Two Dimensional (2D) Taylor Expansion. |
SN Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Satyanarayana Vollala, Natarajan Ramasubramanian, Utkarsh Tiwari |
Energy-Efficient Modular Exponential Techniques for Public-Key Cryptography - Efficient Modular Exponential Techniques |
|
2021 |
DOI RDF |
|
14 | Sudhanshu Ranjan, Sakshi Gupta, Ekta Singla |
Development of Modular Library for Rapid Prototyping of Planar Hybrid Linkages using Computer Aided Design: Design of a modular library using CAD for prototyping of different planer hybrid linkages via additive manufacturing techniques. |
AIR |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Julita Corbalán, Marco D'Amico |
Modular Workload Format: Extending SWF for Modular Systems. |
JSSPP |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Eleanor Davies |
Modular reasoning about combining modular compiler phases. |
|
2021 |
RDF |
|
14 | Xiaoshu Zan, Zhikai Jiang, Kai Ni 0003, Wenyuan Zhang, Yi Gong, Ning Wu |
Modular Battery Management for SRM Drives in Hybrid Vehicles Based on a Novel Modular Converter. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Laurent-Stéphane Didier, Fangan-Yssouf Dosso, Pascal Véron |
Efficient modular operations using the adapted modular number system. |
J. Cryptogr. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chao Zhang, Pingan Zhu, Yangqiao Lin, Zhongdong Jiao, Jun Zou 0002 |
Modular Soft Robotics: Modular Units, Connection Mechanisms, and Applications. |
Adv. Intell. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Chao Zhang, Pingan Zhu, Yangqiao Lin, Zhongdong Jiao, Jun Zou 0002 |
Modular Soft Robotics: Modular Units, Connection Mechanisms, and Applications. |
Adv. Intell. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Christian Carmona, Geoff K. Nicholls |
Semi-Modular Inference: enhanced learning in multi-modular models by tempering the influence of components. |
AISTATS |
2020 |
DBLP BibTeX RDF |
|
14 | Eduard Kamburjan |
Modular Verification of a Modular Specification: Behavioral Types as Program Logics. |
|
2020 |
RDF |
|
14 | Ahmed Darwish 0003, Mohamed A. Elgenedy, Stephen J. Finney, Barry W. Williams, Jim R. McDonald |
A Step-Up Modular High-Voltage Pulse Generator Based on Isolated Input-Parallel/Output-Series Voltage-Boosting Modules and Modular Multilevel Submodules. |
IEEE Trans. Ind. Electron. |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Ashraf Bani Ahmad, Chia Ai Ooi, Dahaman Ishak, Jiashen Teh |
State-of-Charge Balancing Control for ON/OFF-Line Internal Cells Using Hybrid Modular Multi-Level Converter and Parallel Modular Dual L-Bridge in a Grid-Scale Battery Energy Storage System. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Laurent-Stéphane Didier, Fangan-Yssouf Dosso, Pascal Véron |
Efficient and secure modular operations using the Adapted Modular Number System. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
14 | Robin Nolte, Thomas Schneider 0002 |
How Modular Are Modular Ontologies? Logic-Based Metrics for Ontologies with Imports. |
Description Logics |
2019 |
DBLP BibTeX RDF |
|
14 | Masaki Watanabe, Minoru Watanabe |
Full-hardware triple modular and penta-modular redundancies using a high frequency majority voting operation. |
APCCAS |
2019 |
DBLP DOI BibTeX RDF |
|
14 | Gang Peng 0003, Jifeng Mu |
Do modular products lead to modular organisations? Evidence from open source software development. |
Int. J. Prod. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Jun Xu 0022, Santanu Sarkar 0001, Lei Hu, Zhangjie Huang, Liqiang Peng |
Solving a class of modular polynomial equations and its relation to modular inversion hidden number problem and inversive congruential generator. |
Des. Codes Cryptogr. |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Nikolay I. Chervyakov, Pavel Alekseevich Lyakhov, Mikhail G. Babenko, Irina N. Lavrinenko, Anton V. Lavrinenko, A. S. Nazarov |
The architecture of a fault-tolerant modular neurocomputer based on modular number projections. |
Neurocomputing |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Janthakal Rajeshwari, Kwadiki Karibasappa, Madigondanahalli Thimmaiah Gopalkrishna |
Adaboost modular tensor locality preservative projection: face detection in video using Adaboost modular-based tensor locality preservative projections. |
IET Comput. Vis. |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Yongnan Li, Limin Xiao |
Molecular Computation Based on Tile Assembly Model: Modular-Multiplication and Modular-Square over Finite Field GF(2N). |
HPCC/SmartCity/DSS |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Urooj Fatima, Rolv Bræk |
Modular Solutions to Common Design Problems Using Activities and the Interface-Modular Method. |
SAM |
2016 |
DBLP DOI BibTeX RDF |
|
14 | Igor E. Shparlinski |
Close values of shifted modular inversions and the decisional modular inversion hidden number problem. |
Adv. Math. Commun. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rémi Douence |
Composition non modulaire modulaire. (Modular non-modular composition). |
|
2015 |
RDF |
|
14 | Markus Heilemann, Steve J. Culley |
Capability audit for modular system development assessing important factors for establishing and maintaining common modular system architectures. |
ISSE |
2015 |
DBLP DOI BibTeX RDF |
|
14 | William A. F. Scotti, Nicole Beatriz Portilla, Max Hering de Queiroz, José Eduardo Ribeiro Cury |
Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system. |
CASE |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Xu 0022, Lei Hu, Zhangjie Huang, Liqiang Peng |
Finding Small Solutions of a Class of Simultaneous Modular Equations and Applications to Modular Inversion Hidden Number Problem and Inversive Congruential Generator. |
IACR Cryptol. ePrint Arch. |
2014 |
DBLP BibTeX RDF |
|
14 | Tao Wu, Shuguo Li, Litian Liu |
Fast, compact and symmetric modular exponentiation architecture by common-multiplicand Montgomery modular multiplications. |
Integr. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Ralph Schäfermeier, Adrian Paschke |
Towards a Unified Approach to Modular Ontology Development Using the Aspect-Oriented Paradigm. |
WoMO |
2013 |
DBLP BibTeX RDF |
|
14 | Mahmoud Houshmand, Omid Fatahi Valilai |
LAYMOD: a layered and modular platform for CAx product data integration based on the modular architecture of the standard for exchange of product data. |
Int. J. Comput. Integr. Manuf. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sarra Ben Abbès, Andreas Scheuermann, Thomas Meilender, Mathieu d'Aquin |
Characterizing Modular Ontologies. |
WoMO |
2012 |
DBLP BibTeX RDF |
|
14 | Christoph Lange 0002, Till Mossakowski, Oliver Kutz |
LoLa: A Modular Ontology of Logics, Languages, and Translations. |
WoMO |
2012 |
DBLP BibTeX RDF |
|
14 | Fernando Herrero-Carrón, Francisco B. Rodríguez, Pablo Varona |
Flexible Entrainment in a Bio-inspired Modular Oscillator for Modular Robot Locomotion. |
IWANN (2) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Abdalhossein Rezai, Parviz Keshavarzi |
High-performance modular exponentiation algorithm by using a new modified modular multiplication algorithm and common-multiplicand-multiplication method. |
WorldCIS |
2011 |
DBLP BibTeX RDF |
|
14 | José F. Morales 0001, Manuel V. Hermenegildo, Rémy Haemmerlé |
Modular Extensions for Modular (Logic) Languages. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Diana V. Ramírez-Deantes |
Modular and Field-Sensitive Termination Analysis of Java Bytecode = Análisis de Terminación Modular y Sensible a los Campos de Código de Byte Java. |
|
2011 |
RDF |
|
14 | Joana Hois |
Modeling the Diversity of Spatial Information by Using Modular Ontologies and Their Combinations. |
WoMO |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Julia Dmitrieva, Fons J. Verbeek |
Modular Approach for a New Ontology. |
WoMO |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The Modular Structure of an Ontology: Atomic Decomposition and Module Count. |
WoMO |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Bijan Alizadeh, Masahiro Fujita |
Modular Datapath Optimization and Verification Based on Modular-HED. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Cesar Giacomini Penteado |
Modular multicore processor architecture, flexible, securi and fault tolerant, to embedded cyber-physical systems (Arquitetura modular de processador multicore, flexível, segura e tolerante a falhas, para sistemas embarcados ciberfísicos). |
|
2010 |
RDF |
|
14 | Faezeh Ensan, Weichang Du |
A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies. |
WoMO |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Kia Teymourian, Gökhan Coskun, Adrian Paschke |
Modular Upper-Level Ontologies for Semantic Complex Event Processing. |
WoMO |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider 0002 |
The modular structure of an ontology: an empirical study. |
WoMO |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Pokrywczynski, Grant Malcolm |
Towards a Functional Approach to Modular Ontologies using Institutions. |
WoMO |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Alejo, José Martínez Sotoca, Rosa Maria Valdovinos, Gustavo A. Casañ |
The Multi-Class Imbalance Problem: Cost Functions with Modular and Non-Modular Neural Networks. |
ISNN (4) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jen-Ho Yang, Chin-Chen Chang 0001 |
Efficient residue number system iterative modular multiplication algorithm for fast modular exponentiation. |
IET Comput. Digit. Tech. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | David E. Lightfoot, Clemens A. Szyperski (eds.) |
Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Heiner Stuckenschmidt |
Implementing Modular Ontologies with Distributed Description Logics. |
WoMO |
2006 |
DBLP BibTeX RDF |
|
14 | Klaus Lüttich, Claudio Masolo, Stefano Borgo |
Development of Modular Ontologies in CASL. |
WoMO |
2006 |
DBLP BibTeX RDF |
|
14 | Christian Wimmer, Hanspeter Mössenböck |
Automatic Object Colocation Based on Read Barriers. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pietu Pohjalainen |
Object-Oriented Language Processing. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pascal Costanza, Robert Hirschfeld, Wolfgang De Meuter |
Efficient Layer Activation for Switching Context-Dependent Behavior. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ulrike Glavitsch, Thomas M. Frey |
A Case Study in Concurrent Programming with Active Objects. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Davide Ancona, Giovanni Lagorio, Elena Zucca |
Flexible Type-Safe Linking of Components for Java-Like Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Philipp Haller, Martin Odersky |
Event-Based Programming Without Inversion of Control. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Joachim Hans Fröhlich, Manuel Schwarzinger |
Improve Component-Based Programs with Connectors. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ralph Sommerer |
Oberon Script: A Lightweight Compiler and Runtime System for the Web. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Burgstaller, Bernhard Scholz, Johann Blieberger |
Symbolic Analysis of Imperative Programming Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Lang Hames, Bernhard Scholz |
Nearly Optimal Register Allocation with PBQP. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Nadia Belblidia, Mourad Debbabi |
Towards a Formal Semantics for AspectJ Weaving. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | R. Nigel Horspool, David J. Pereira, Bernhard Scholz |
Fast Profile-Based Partial Redundancy Elimination. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Bo Chen, Zhoujun Li 0001, Huowang Chen |
A New Component-Oriented Programming Language with the First-Class Connector. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Erik Ernst |
Reconciling Virtual Classes with Genericity. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Hervé Paulino, Luís M. B. Lopes |
A Mobile Agent Service-Oriented Scripting Language Encoded on a Process Calculus. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Christian Heinlein |
Implicit and Dynamic Parameters in C++. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jürg Gutknecht |
The Dining Philosophers Problem Revisited. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Franz Puntigam |
Internal and External Token-Based Synchronization in Object-Oriented Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Oliver Lampl, Elmar Stellnberger, László Böszörményi |
Programming Language Concepts for Multimedia Application Development. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Reinhard Wolfinger, Deepak Dhungana, Herbert Prähofer, Hanspeter Mössenböck |
A Component Plug-In Architecture for the .NET Platform. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Luc Bläser |
A Component Language for Structured Parallel Programming. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Adrian Pop, Peter Fritzson |
MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Felix Friedrich, Jürg Gutknecht |
Array-Structured Object Types for Mathematical Programming. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Steve Cook |
Separating Concerns with Domain Specific Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Noemi C. dos Santos, Sulamita Klein, Jayme Luiz Szwarcfiter |
A representation for the modular-pairs of a P4-reducible graph by modular decomposition. |
Electron. Notes Discret. Math. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Tetsuya Taira, Nobuyuki Yamasaki |
Development of Modular Humanoid Robot Based on Functionally Distributed Modular Robot Architecture. |
J. Robotics Mechatronics |
2005 |
DBLP DOI BibTeX RDF |
|
14 | James Blow, Andrew Cox, Paul Liddell |
Modular Certification of Integrated Modular Systems. |
SSS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sulamita Klein, Noemi C. dos Santos, Jayme Luiz Szwarcfiter |
A representation for the modular-pairs of a cograph by modular decomposition. |
Electron. Notes Discret. Math. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ismet Yildiz |
On extension of the modular transformations over the modular group by reflection. |
Appl. Math. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kok Seng Chua, Patrick Solé |
Jacobi identities, modular lattices, and modular towers. |
Eur. J. Comb. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Eric William Endsley, Dawn M. Tilbury |
Modular verification of modular finite state machines. |
CDC |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ahmet Isik |
Jacobi modular forms on subgroups of the modular group. |
Appl. Math. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Keon-Jik Lee, Kee-Won Kim, Won-Ho Lee, Young-Jun Heo, Kee-Young Yoo |
Design of a Linear Systolic Modular Multiplier/Squarer for the Fast Modular Exponentiation. |
Int. J. Comput. Their Appl. |
2003 |
DBLP BibTeX RDF |
|
14 | László Böszörményi, Peter Schojer (eds.) |
Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck |
LL(1) Conflict Resolution in a Recursive Descent Compiler Generator. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Paul Reed |
An Oberon Linker for an Imperfect World - More Notes on Building Your Own Tools. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Ralph Göckelmann, Stefan Frenz, Michael Schöttner, Peter Schulthess |
Compiler Support for Reference Tracking in a Type-Safe DSM. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Hong Zhu 0002, David E. Lightfoot |
Caste: A Step beyond Object Orientation. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Karl Blümlinger, Christof Dallermassl, Heimo Haub, Philipp Zambelli |
Controlling Access to Distributed Object Frameworks. |
JMLC |
2003 |
DBLP DOI BibTeX RDF |
|
|
|