Search results for "modular"

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